Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class HasPlan c pln | c -> pln where
- class HasModel c mdl | c -> mdl where
- data Design mdl pln = Design {}
- class HasDesign c mdl pln | c -> mdl pln where
- type Frame mdl pln = MVar (Design mdl pln)
- class HasFrame c mdl pln | c -> mdl pln where
- data SuperModel mdl pln = SuperModel {}
- class (HasDesign c mdl pln, HasFrame c mdl pln) => HasSuperModel c mdl pln | c -> mdl pln where
Documentation
A record of Model and Plan
Generic (Design mdl pln) Source # | |
(Disposing pln, Disposing mdl) => Disposing (Design mdl pln) Source # | All designs should be disposable to make it easier for cleanup of callbacks. |
HasModel (Design mdl pln) mdl Source # | |
HasPlan (Design mdl pln) pln Source # | |
HasFrame (Frame mdl pln) mdl pln Source # | |
HasDesign (Design mdl pln) mdl pln Source # | |
type Rep (Design mdl pln) Source # | |
type Frame mdl pln = MVar (Design mdl pln) Source #
Frame is a Mvar of Design. React rendering callback uses this MVar for rendering.
data SuperModel mdl pln Source #
A record of Design and Frame.
Generic (SuperModel mdl pln) Source # | |
Disposing (Design mdl pln) => Disposing (SuperModel mdl pln) Source # | Undecidableinstances! But this is safe because Design is definitely smaller than SuperModel |
HasModel (SuperModel mdl pln) mdl Source # | |
HasPlan (SuperModel mdl pln) pln Source # | |
HasSuperModel (SuperModel mdl pln) mdl pln Source # | |
HasFrame (SuperModel mdl pln) mdl pln Source # | |
HasDesign (SuperModel mdl pln) mdl pln Source # | |
type Rep (SuperModel mdl pln) Source # | |
class (HasDesign c mdl pln, HasFrame c mdl pln) => HasSuperModel c mdl pln | c -> mdl pln where Source #
superModel :: Lens' c (SuperModel mdl pln) Source #
HasSuperModel (SuperModel mdl pln) mdl pln Source # | |