Functor Deriving_monad.Monad_state
module Monad_state : functor (S : sig type stateend) ->
Monad_state_typewith type state = S.state
Parameters :
S | : | sig type state end |
include Deriving_monad.MonadUtilsSig
type state
val get : state m
val put : state -> unit m
val runState :
'a m ->
state ->
'a * state