Idris2/libs/base/Control/Monad/State.idr

module Control.Monad.State

import public Control.Monad.Identity -- left here for compatibility
import public Control.Monad.Trans -- left here for compatibility
import public Control.Monad.State.Interface as Control.Monad.State
import public Control.Monad.State.State as Control.Monad.State
Add libraries 2020-05-18 15:59:07 +03:00			`module Control.Monad.State`

moved transformer impls to their own directory 2021-01-19 13:53:23 +03:00			`import public Control.Monad.Identity -- left here for compatibility`
			`import public Control.Monad.Trans -- left here for compatibility`
			`import public Control.Monad.State.Interface as Control.Monad.State`
			`import public Control.Monad.State.State as Control.Monad.State`