Module Cf_seq.SC


module SC: sig .. end
The module containing the sequence and accumulate functions for the state-continuation monad.

val sequence : ('a, 'b, unit) Cf_scmonad.t Cf_seq.t -> ('a, 'b, unit) Cf_scmonad.t
Use sequence z to compose a monad that binds all of the monads in the sequence z in the order specified. Returns the unit value.
val accumulate : ('a, 'b, 'c) Cf_scmonad.t Cf_seq.t -> ('a, 'b, 'c list) Cf_scmonad.t
Use accumulate z to compose a monad that binds all of the monads in the sequence z in the order specified, accumulating all of the values returned into a list.