hets -- a heterogenous Specification (CASL) tool setContentsIndex
Common.Lib.State
Portability portable
Stability experimental
Maintainer hets@tzi.de
Description
State type from Control.Monad.State without State Monad
Synopsis
newtype State s a = State {
runState :: (s -> (a, s))
}
get :: State s s
put :: s -> State s ()
modify :: (s -> s) -> State s ()
gets :: (s -> a) -> State s a
evalState :: State s a -> s -> a
execState :: State s a -> s -> s
mapState :: ((a, s) -> (b, s)) -> State s a -> State s b
withState :: (s -> s) -> State s a -> State s a
Produced by Haddock version 0.6