Control/Monad/X/State.hs

   1 module Control.Monad.X.State (State, runState, runStateS, module T) where
   2
   3 import Control.Monad.X.Identity
   4 import qualified Control.Monad.X.StateT as S
   5 import Control.Monad.X.Trans as T
   6
   7 type State s  = S.StateT s Identity
   8
   9 runState      :: s -> State s a -> a
  10 runState s m  = runIdentity (S.runState s m)
  11
  12 runStateS     :: s -> State s a -> (a,s)
  13 runStateS s m = runIdentity (S.runStateS s m)
  14