Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class (Disposing (ModelOf w), Disposing (PlanOf w)) => IsWidget w where
- type family DesignOf w where ...
- type family FrameOf w where ...
- type family SuperModelOf w where ...
- data Widget c a m p = Widget (Frame m p -> F (Maker a) p) (WindowT (Design m p) (ReactMlT Identity) ()) (GadgetT a (SuperModel m p) Identity (DList c))
- mkSuperModel :: IsWidget w => w -> ModelOf w -> F (Maker (ActionOf w)) (SuperModel (ModelOf w) (PlanOf w))
Documentation
class (Disposing (ModelOf w), Disposing (PlanOf w)) => IsWidget w where Source #
type family SuperModelOf w where ... Source #
SuperModelOf w = SuperModel (ModelOf w) (PlanOf w) |