module S: sig .. end
The module containing the sequence and accumulate functions for the
state monad.
val sequence : ('x, unit) Cf_smonad.t Cf_seq.t -> ('x, unit) Cf_smonad.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 : ('x, 'a) Cf_smonad.t Cf_seq.t -> ('x, 'a list) Cf_smonad.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.