| Safe Haskell | None |
|---|
Haxl.Core.StateStore
- class Typeable1 f => StateKey f where
- data State f
- data StateStore
- stateGet :: forall r. StateKey r => StateStore -> Maybe (State r)
- stateSet :: forall f. StateKey f => State f -> StateStore -> StateStore
- stateEmpty :: StateStore
Documentation
class Typeable1 f => StateKey f Source
StateKey maps one type to another type. A type that is an
instance of StateKey can store and retrieve information from a
StateStore.
data StateStore Source
The StateStore maps a StateKey to the State for that type.
stateGet :: forall r. StateKey r => StateStore -> Maybe (State r)Source
Retrieves a State from the StateStore container.
stateSet :: forall f. StateKey f => State f -> StateStore -> StateStoreSource
Inserts a State in the StateStore container.
stateEmpty :: StateStoreSource
A StateStore with no entries.