Module Uq_engines.Operators

module Operators: sig .. end

Handy operators: ++, >>, and eps_e

The most important operators. This module should be opened.

val (++) : 'a #Uq_engines.engine ->
       ('a -> 'b #Uq_engines.engine) -> 'b Uq_engines.engine

Another name for seq_engine. Use this operator to run engines in sequence:

	    e1 ++ (fun r1 -> e2) ++ (fun r2 -> e3) ++ ...

Here rK is the result of engine eK.

val (>>) : 'a #Uq_engines.engine ->
       ('a Uq_engines.final_state -> 'b Uq_engines.final_state) ->
       'b Uq_engines.engine

Another name for fmap_engine. Use this operator to map the final value of an engine:

	    e >> (function `Done x -> ... | `Error e -> ... | `Aborted -> ...)

val eps_e : 'a Uq_engines.engine_state -> Unixqueue.event_system -> 'a Uq_engines.engine

Same as epsilon_engine

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge