Ocamlnet 3 Reference Manual : Uq_engines.Operators

# 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`