Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type Gadget cmd p s = ReaderT (Entity p s) (ContT () (State (DList cmd)))
- toGadget :: (Entity p s -> (a -> State (DList cmd) ()) -> State (DList cmd) ()) -> Gadget cmd p s a
- runGadget :: Gadget cmd p s a -> Entity p s -> (a -> State (DList cmd) ()) -> State (DList cmd) ()
- gadgetWith :: Subject s -> Gadget cmd s s a -> ContT () (State (DList cmd)) a
- evalGadget :: Gadget cmd p s () -> Entity p s -> State (DList cmd) ()
Documentation
type Gadget cmd p s = ReaderT (Entity p s) (ContT () (State (DList cmd))) Source #
The s
state can be magnified with magnifiedEntity
toGadget :: (Entity p s -> (a -> State (DList cmd) ()) -> State (DList cmd) ()) -> Gadget cmd p s a Source #