Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
S
is the signature that application builders have to provide.
Prelude printed at the beginning of main.ml
.
It should put in scope:
run
function of type 'a t -> 'a
return
function of type 'a -> 'a t
>>=
operator of type 'a t -> ('a -> 'b t) -> 'b t
val create : Functoria.job Functoria.impl list -> Functoria.job Functoria.impl
create jobs
is the top-level job in the custom DSL which will execute the given list of job
.