Glazier.React.Widget

Documentation

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

Minimal complete definition

mkPlan, window, gadget

Associated Types

type CommandOf w :: *

The pure model for state and rendering

type ActionOf w :: *

type ModelOf w :: *

type PlanOf w :: *

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)

Associated Types

type CommandOf (Widget c a m p) :: *

type ActionOf (Widget c a m p) :: *

type ModelOf (Widget c a m p) :: *

type PlanOf (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)))

type family DesignOf w where ...

Equations

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

type family FrameOf w where ...

Equations

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

type family SuperModelOf w where ...

Equations

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

data Widget c a m p

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)

Associated Types

type CommandOf (Widget c a m p) :: *

type ActionOf (Widget c a m p) :: *

type ModelOf (Widget c a m p) :: *

type PlanOf (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)))

type CommandOf (Widget c a m p)

type CommandOf (Widget c a m p) = c

type ActionOf (Widget c a m p)

type ActionOf (Widget c a m p) = a

type ModelOf (Widget c a m p)

type ModelOf (Widget c a m p) = m

type PlanOf (Widget c a m p)

type PlanOf (Widget c a m p) = p

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