IdrisDoc
: Control.Monad.State
Index
Control.Monad.State
ST
:
(
runStateT
:
stateType
->
m
(
a
,
stateType
)
) ->
StateT
stateType
m
a