-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Data.State
--   
--   Data.State
@package state
@version 0.0.2

module Data.State
class LocalState sg sl
getState :: (LocalState sg sl) => sg -> sl
putState :: (LocalState sg sl) => sl -> sg -> sg
class DynamicState sg
getDynamic :: (DynamicState sg) => sg -> Dynamic
putDynamic :: (DynamicState sg) => Dynamic -> sg -> sg
class ZeroState sl
zeroState :: (ZeroState sl) => sl
get :: (MonadState sg m, LocalState sg sl) => m sl
put :: (MonadState sg m, LocalState sg sl) => sl -> m ()
fetch :: (ArrowState sg a, LocalState sg sl) => a e sl
store :: (ArrowApply a, ArrowState sg a, LocalState sg sl) => a sl ()
instance LocalState a a