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

NITTA.UIBackend.ViewHelper

Contents

Orphan instances

Description

We can not autogenerate ToJSON implementation for some types, so we add helper types for doing that automatically. Why do we need to generate ToJSON automatically? We don't want to achieve consistency between client and server manually.

Synopsis

module NITTA.UIBackend.ViewHelperCls
module NITTA.Model.Problems.ViewHelper
data FView = FView {
- fvFun :: Text
- fvHistory :: [Text]
}
class Viewable t v | t -> v where
- view :: t -> v
viewNodeTree :: (Enum b, Num b, NextTick u b) => Tree (TargetSystem u tag1 v1 x1 t1) tag2 v2 x2 t2 -> IO (TreeView ShortNodeView)
data TreeView a
data ShortNodeView
data NodeView tag v x t
newtype StepInfoView = StepInfoView Text
type VarValTimeJSON v x t = (VarValTime v x t, ToJSONKey v, ToJSON v, ToJSON x, ToJSON t)

Documentation

module NITTA.UIBackend.ViewHelperCls

module NITTA.Model.Problems.ViewHelper

data FView Source #

Helper for JSON serialization

Constructors

FView
Fields fvFun :: Text fvHistory :: [Text]

Instances

Instances details

ToJSON FView Source #

Instance details

Defined in NITTA.Intermediate.Types

Methods

toJSON :: FView -> Value #

toEncoding :: FView -> Encoding #

toJSONList :: [FView] -> Value #

toEncodingList :: [FView] -> Encoding #

omitField :: FView -> Bool #

Generic FView Source #

Instance details

Defined in NITTA.Intermediate.Types

Associated Types

type Rep FView

Instance details

Defined in NITTA.Intermediate.Types

type Rep FView = D1 ('MetaData "FView" "NITTA.Intermediate.Types" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'False) (C1 ('MetaCons "FView" 'PrefixI 'True) (S1 ('MetaSel ('Just "fvFun") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "fvHistory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

Methods

from :: FView -> Rep FView x #

to :: Rep FView x -> FView #

Show FView Source #

Instance details

Defined in NITTA.Intermediate.Types

Methods

showsPrec :: Int -> FView -> ShowS #

show :: FView -> String #

showList :: [FView] -> ShowS #

Viewable (F v x) FView Source #

Instance details

Defined in NITTA.Intermediate.Types

Methods

view :: F v x -> FView Source #

type Rep FView Source #

Instance details

Defined in NITTA.Intermediate.Types

type Rep FView = D1 ('MetaData "FView" "NITTA.Intermediate.Types" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'False) (C1 ('MetaCons "FView" 'PrefixI 'True) (S1 ('MetaSel ('Just "fvFun") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "fvHistory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

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 #

viewNodeTree :: (Enum b, Num b, NextTick u b) => Tree (TargetSystem u tag1 v1 x1 t1) tag2 v2 x2 t2 -> IO (TreeView ShortNodeView) Source #

data TreeView a Source #

Instances

Instances details

ToJSON a => ToJSON (TreeView a) Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Methods

toJSON :: TreeView a -> Value #

toEncoding :: TreeView a -> Encoding #

toJSONList :: [TreeView a] -> Value #

toEncodingList :: [TreeView a] -> Encoding #

omitField :: TreeView a -> Bool #

Generic (TreeView a) Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Associated Types

type Rep (TreeView a)

Instance details

Defined in NITTA.UIBackend.ViewHelper

type Rep (TreeView a) = D1 ('MetaData "TreeView" "NITTA.UIBackend.ViewHelper" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'False) (C1 ('MetaCons "TreeNodeView" 'PrefixI 'True) (S1 ('MetaSel ('Just "rootLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "subForest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TreeView a])))

Methods

from :: TreeView a -> Rep (TreeView a) x #

to :: Rep (TreeView a) x -> TreeView a #

Show a => Show (TreeView a) Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Methods

showsPrec :: Int -> TreeView a -> ShowS #

show :: TreeView a -> String #

showList :: [TreeView a] -> ShowS #

ToSample (TreeView ShortNodeView) Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Methods

toSamples :: Proxy (TreeView ShortNodeView) -> [(Text, TreeView ShortNodeView)] #

type Rep (TreeView a) Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

type Rep (TreeView a) = D1 ('MetaData "TreeView" "NITTA.UIBackend.ViewHelper" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'False) (C1 ('MetaCons "TreeNodeView" 'PrefixI 'True) (S1 ('MetaSel ('Just "rootLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "subForest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TreeView a])))

data ShortNodeView Source #

Instances

Instances details

ToJSON ShortNodeView Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Methods

toJSON :: ShortNodeView -> Value #

toEncoding :: ShortNodeView -> Encoding #

toJSONList :: [ShortNodeView] -> Value #

toEncodingList :: [ShortNodeView] -> Encoding #

omitField :: ShortNodeView -> Bool #

Generic ShortNodeView Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Associated Types

type Rep ShortNodeView

Instance details

Defined in NITTA.UIBackend.ViewHelper

type Rep ShortNodeView = D1 ('MetaData "ShortNodeView" "NITTA.UIBackend.ViewHelper" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'False) (C1 ('MetaCons "ShortNodeView" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "isTerminal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "isFinish") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :*: ((S1 ('MetaSel ('Just "isProcessed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "duration") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "score") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Float) :*: S1 ('MetaSel ('Just "decsionType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

Methods

from :: ShortNodeView -> Rep ShortNodeView x #

to :: Rep ShortNodeView x -> ShortNodeView #

Show ShortNodeView Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Methods

showsPrec :: Int -> ShortNodeView -> ShowS #

show :: ShortNodeView -> String #

showList :: [ShortNodeView] -> ShowS #

ToSample (TreeView ShortNodeView) Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Methods

toSamples :: Proxy (TreeView ShortNodeView) -> [(Text, TreeView ShortNodeView)] #

type Rep ShortNodeView Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

type Rep ShortNodeView = D1 ('MetaData "ShortNodeView" "NITTA.UIBackend.ViewHelper" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'False) (C1 ('MetaCons "ShortNodeView" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "isTerminal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "isFinish") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :*: ((S1 ('MetaSel ('Just "isProcessed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "duration") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "score") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Float) :*: S1 ('MetaSel ('Just "decsionType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

data NodeView tag v x t Source #

Instances

Instances details

(VarValTimeJSON v x t, ToJSON tag) => ToJSON (NodeView tag v x t) Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Methods

toJSON :: NodeView tag v x t -> Value #

toEncoding :: NodeView tag v x t -> Encoding #

toJSONList :: [NodeView tag v x t] -> Value #

toEncodingList :: [NodeView tag v x t] -> Encoding #

omitField :: NodeView tag v x t -> Bool #

Generic (NodeView tag v x t) Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Associated Types

type Rep (NodeView tag v x t)

Instance details

Defined in NITTA.UIBackend.ViewHelper

Methods

from :: NodeView tag v x t -> Rep (NodeView tag v x t) x0 #

to :: Rep (NodeView tag v x t) x0 -> NodeView tag v x t #

ToSample (NodeView tag v x t) Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Methods

toSamples :: Proxy (NodeView tag v x t) -> [(Text, NodeView tag v x t)] #

(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 #

type Rep (NodeView tag v x t) Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

newtype StepInfoView Source #

Constructors

StepInfoView Text

Instances

Instances details

ToJSON StepInfoView Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Methods

toJSON :: StepInfoView -> Value #

toEncoding :: StepInfoView -> Encoding #

toJSONList :: [StepInfoView] -> Value #

toEncodingList :: [StepInfoView] -> Encoding #

omitField :: StepInfoView -> Bool #

Generic StepInfoView Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

Associated Types

type Rep StepInfoView
Instance details Defined in NITTA.UIBackend.ViewHelper type Rep StepInfoView = D1 ('MetaData "StepInfoView" "NITTA.UIBackend.ViewHelper" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'True) (C1 ('MetaCons "StepInfoView" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: StepInfoView -> Rep StepInfoView x #

to :: Rep StepInfoView x -> StepInfoView #

Time t => ToSample (Process t StepInfoView) Source #

Instance details

Defined in NITTA.UIBackend.REST

Methods

toSamples :: Proxy (Process t StepInfoView) -> [(Text, Process t StepInfoView)] #

(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 #

(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 #

type Rep StepInfoView Source #

Instance details

Defined in NITTA.UIBackend.ViewHelper

type Rep StepInfoView = D1 ('MetaData "StepInfoView" "NITTA.UIBackend.ViewHelper" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'True) (C1 ('MetaCons "StepInfoView" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

type VarValTimeJSON v x t = (VarValTime v x t, ToJSONKey v, ToJSON v, ToJSON x, ToJSON t) Source #

Orphan instances

ToJSON TreeInfo Source #
Instance details Methods toJSON :: TreeInfo -> Value # toEncoding :: TreeInfo -> Encoding # toJSONList :: [TreeInfo] -> Value # toEncodingList :: [TreeInfo] -> Encoding # omitField :: TreeInfo -> Bool #
ToSample TreeInfo Source #
Instance details Methods toSamples :: Proxy TreeInfo -> [(Text, TreeInfo)] #
ToSample Integer Source #
Instance details Methods toSamples :: Proxy Integer -> [(Text, Integer)] #
(ToJSONKey v, ToJSON v, ToJSON x) => ToJSON (TestbenchReport v x) Source #
Instance details Methods toJSON :: TestbenchReport v x -> Value # toEncoding :: TestbenchReport v x -> Encoding # toJSONList :: [TestbenchReport v x] -> Value # toEncodingList :: [TestbenchReport v x] -> Encoding # omitField :: TestbenchReport v x -> Bool #
ToSample (TestbenchReport String Int) Source #
Instance details Methods toSamples :: Proxy (TestbenchReport String Int) -> [(Text, TestbenchReport String Int)] #
(Var v, Time t) => Viewable (Process t (StepInfo v x t)) (Process t StepInfoView) Source #
Instance details Methods view :: Process t (StepInfo v x t) -> Process t StepInfoView Source #
(Var v, Time t) => Viewable (StepInfo v x t) StepInfoView Source #
Instance details 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 Methods view :: DefTree tag v x t -> NodeView tag v x t Source #