Copyright	(c) Aleksandr Penskoi 2021
License	BSD3
Maintainer	aleksandr.penskoi@gmail.com
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

NITTA.UIBackend.ViewHelperCls

Description

Synopsis

class Viewable t v | t -> v where
- view :: t -> v

Documentation

class Viewable t v | t -> v where Source #

Type class of helpers required for autogeneration of ToJSON and typescript types.

Methods

view :: t -> v Source #

Instances

Instances details

Time t => Viewable (Interval t) IntervalView Source #
Instance details Defined in NITTA.Model.Problems.ViewHelper Methods view :: Interval t -> IntervalView Source #
UnitTag tag => Viewable (Allocation tag) DecisionView Source #
Instance details Defined in NITTA.Model.Problems.ViewHelper Methods view :: Allocation tag -> DecisionView Source #
Viewable (F v x) FView Source #
Instance details Defined in NITTA.Intermediate.Types Methods view :: F v x -> FView Source #
(Var v, Val x) => Viewable (BreakLoop v x) DecisionView Source #
Instance details Defined in NITTA.Model.Problems.ViewHelper Methods view :: BreakLoop v x -> DecisionView Source #
Viewable (ConstantFolding v x) DecisionView Source #
Instance details Defined in NITTA.Model.Problems.ViewHelper Methods view :: ConstantFolding v x -> DecisionView Source #
Viewable (OptimizeAccum v x) DecisionView Source #
Instance details Defined in NITTA.Model.Problems.ViewHelper Methods view :: OptimizeAccum v x -> DecisionView Source #
Viewable (OptimizeLogicalUnit v x) DecisionView Source #
Instance details Defined in NITTA.Model.Problems.ViewHelper Methods view :: OptimizeLogicalUnit v x -> DecisionView Source #
Var v => Viewable (ResolveDeadlock v x) DecisionView Source #
Instance details Defined in NITTA.Model.Problems.ViewHelper Methods view :: ResolveDeadlock v x -> DecisionView Source #
(Var v, Time t) => Viewable (Process t (StepInfo v x t)) (Process t StepInfoView) Source #
Instance details Defined in NITTA.UIBackend.ViewHelper Methods view :: Process t (StepInfo v x t) -> Process t StepInfoView Source #
UnitTag tag => Viewable (Bind tag v x) DecisionView Source #
Instance details Defined in NITTA.Model.Problems.ViewHelper Methods view :: Bind tag v x -> DecisionView Source #
(UnitTag tag, Var v, Time t) => Viewable (DataflowSt tag v (Interval t)) DecisionView Source #
Instance details Defined in NITTA.Model.Problems.ViewHelper Methods view :: DataflowSt tag v (Interval t) -> DecisionView Source #
(Var v, Time t) => Viewable (StepInfo v x t) StepInfoView Source #
Instance details Defined in NITTA.UIBackend.ViewHelper Methods view :: StepInfo v x t -> StepInfoView Source #
(UnitTag tag, VarValTimeJSON v x t) => Viewable (DefTree tag v x t) (NodeView tag v x t) Source #
Instance details Defined in NITTA.UIBackend.ViewHelper Methods view :: DefTree tag v x t -> NodeView tag v x t Source #