Glazier.React.Widget

Documentation

type family CommandOf w where ...

Equations

CommandOf (Widget c a m p) = c

type family ActionOf w where ...

Equations

ActionOf (Widget c a m p) = a

type family ModelOf w where ...

Equations

ModelOf (Widget c a m p) = m

type family PlanOf w where ...

Equations

PlanOf (Widget c a m p) = p

type family DesignOf w where ...

Undecidable instances! But this is safe because 'ModelOf w' and 'PlanOf w' is guaranteed to be smaller than closed type family 'DesignOf w'.

Equations

DesignOf w = Design (ModelOf w) (PlanOf w)

type family FrameOf w where ...

Undecidable instances! But this is safe because 'ModelOf w' and 'PlanOf w' is guaranteed to be smaller than closed type family 'FrameOf w'.

Equations

FrameOf w = Frame (ModelOf w) (PlanOf w)

type family SuperModelOf w where ...

Undecidable instances! But this is safe because 'ModelOf w' and 'PlanOf w' is guaranteed to be smaller than closed type family 'SuperModelOf w'.

Equations

SuperModelOf w = SuperModel (ModelOf w) (PlanOf w)

data Widget c a m p

Record of functions for a widget. Contains everything you need to make the model, render, and run the event processing.

Constructors

Widget (Frame m p -> F (Maker a) p) (WindowT (Design m p) (ReactMlT Identity) ()) (GadgetT a (SuperModel m p) Identity (DList c))

Instances

(Disposing m, Disposing p) => IsWidget (Widget c a m p)

Methods

mkPlan :: Widget c a m p -> Frame (ModelOf (Widget c a m p)) (PlanOf (Widget c a m p)) -> F (Maker (ActionOf (Widget c a m p))) (PlanOf (Widget c a m p))

window :: Widget c a m p -> WindowT (Design (ModelOf (Widget c a m p)) (PlanOf (Widget c a m p))) (ReactMlT Identity) ()

gadget :: Widget c a m p -> GadgetT (ActionOf (Widget c a m p)) (SuperModel (ModelOf (Widget c a m p)) (PlanOf (Widget c a m p))) Identity (DList (CommandOf (Widget c a m p)))

class (Disposing (ModelOf w), Disposing (PlanOf w)) => IsWidget w where

This typeclass is convenient as it carries the 'Disposing Model' and 'Disposing Plan' constraints and allows treating 'Widget c a m p' as a type w

Minimal complete definition

mkPlan, window, gadget

Methods

mkPlan :: w -> Frame (ModelOf w) (PlanOf w) -> F (Maker (ActionOf w)) (PlanOf w)

window :: w -> WindowT (Design (ModelOf w) (PlanOf w)) (ReactMlT Identity) ()

gadget :: w -> GadgetT (ActionOf w) (SuperModel (ModelOf w) (PlanOf w)) Identity (DList (CommandOf w))

Instances

(Disposing m, Disposing p) => IsWidget (Widget c a m p)

Methods

mkPlan :: Widget c a m p -> Frame (ModelOf (Widget c a m p)) (PlanOf (Widget c a m p)) -> F (Maker (ActionOf (Widget c a m p))) (PlanOf (Widget c a m p))

window :: Widget c a m p -> WindowT (Design (ModelOf (Widget c a m p)) (PlanOf (Widget c a m p))) (ReactMlT Identity) ()

gadget :: Widget c a m p -> GadgetT (ActionOf (Widget c a m p)) (SuperModel (ModelOf (Widget c a m p)) (PlanOf (Widget c a m p))) Identity (DList (CommandOf (Widget c a m p)))

mkSuperModel :: IsWidget w => w -> ModelOf w -> F (Maker (ActionOf w)) (SuperModel (ModelOf w) (PlanOf w))