Module State.Make_foldable

Parameters

module M : Core_kernel.Monad.S

Signature

val fold_chronological_until : ( 'merge, 'base ) t -> init:'accum -> f_merge: ( 'accum -> 'merge Merge.t -> ( 'accum, 'final ) Core_kernel.Container.Continue_or_stop.t M.t ) -> f_base: ( 'accum -> 'base Base.t -> ( 'accum, 'final ) Core_kernel.Container.Continue_or_stop.t M.t ) -> finish:( 'accum -> 'final M.t ) -> 'final M.t

Effectfully fold chronologically. See fold_chronological