Module type Deriving_monad.Monad_state_type
module type Monad_state_type = sig..end
include Deriving_monad.MonadUtilsSig
type state
val get : state m
val put : state -> unit m
val runState :
'a m ->
state ->
'a * state
Warning: Reason support is experimental. We are looking for beta-tester and contributors.
module type Monad_state_type = sig..end
include Deriving_monad.MonadUtilsSig
type state
val get : state m
val put : state -> unit m
val runState :
'a m ->
state ->
'a * state