IdrisDoc: Control.Monad.State

Control.Monad.State

ST : (runStateT : stateType -> m (a, stateType)) -> StateT stateType m a