Documentation
class LocalState sg sl whereSource
LocalState a a |
class DynamicState sg whereSource
getDynamic :: sg -> DynamicSource
putDynamic :: Dynamic -> sg -> sgSource
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