Idris2Doc : Control.Monad.State

Control.Monad.State

Reexports

import public Control.Monad.Identity
import public Control.Monad.Trans
import public Control.Monad.State.Interface as Control.Monad.State
import public Control.Monad.State.State as Control.Monad.State