package bonsai

  1. Overview
  2. Docs
package bonsai
Legend:
Library
Module
Module type
Parameter
Class
Class type
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