state-0.0.2: Data.State

Data.State

Documentation

class LocalState sg sl whereSource

Methods

getState :: sg -> slSource

putState :: sl -> sg -> sgSource

Instances

class DynamicState sg whereSource

Methods

getDynamic :: sg -> DynamicSource

putDynamic :: Dynamic -> sg -> sgSource

class ZeroState sl whereSource

Methods

zeroState :: slSource

get :: (MonadState sg m, LocalState sg sl) => m slSource

put :: (MonadState sg m, LocalState sg sl) => sl -> m ()Source

fetch :: (ArrowState sg a, LocalState sg sl) => a e slSource

store :: (ArrowApply a, ArrowState sg a, LocalState sg sl) => a sl ()Source