Module `Generic.Proc`

module Val : sig ... end: This module is intended to be used with a yet-unfinished PPX. I recommend avoiding this module until let%sub is finished.

module Computation : sig ... end

val sub : ('a, 'incr, 'event) Computation.t -> f:('a Val.t -> ('b, 'incr, 'event) Computation.t) -> ('b, 'incr, 'event) Computation.t
val return : 'a Val.t -> ('a, _, _) Computation.t
val apply : ('a, 'b, 'incr, 'event) t -> 'a Val.t -> ('b, 'incr, 'event) Computation.t
val apply_unit : (unit, 'b, 'incr, 'event) t -> ('b, 'incr, 'event) Computation.t
val proc : ('a Val.t -> ('b, 'incr, 'event) Computation.t) -> ('a, 'b, 'incr, 'event) t
val if_ : bool Val.t -> then_:('a, 'incr, 'event) Computation.t -> else_:('a, 'incr, 'event) Computation.t -> ('a, 'incr, 'event) Computation.t
val enum : (module Enum with type t = 'a) -> match_:'a Val.t -> with_:('a -> ('b, 'incr, 'event) Computation.t) -> ('b, 'incr, 'event) Computation.t