Module Cf_seq.SC

module SC: sig .. end

The module containing the sequence and accumulate functions for the state-continuation monad.


val sequence : ('s, 'x, unit) Cf_scmonad.t Cf_seq.t -> ('s, 'x, 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 : ('s, 'x, 'a) Cf_scmonad.t Cf_seq.t -> ('s, 'x, 'a 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.