nitta-0.0.0.1: Tool for Hard Real-Time CGRA Processors
Copyright(c) Ilya Burakov 2023
LicenseBSD3
Maintaineraleksandr.penskoi@gmail.com
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

NITTA.Synthesis.MlBackend.Client

Description

 

Documentation

data ScoringInput tag v x t Source #

Constructors

ScoringInput 

Fields

Instances

Instances details
(VarValTimeJSON v x t, ToJSON tag) => ToJSON (ScoringInput tag v x t) Source # 
Instance details

Defined in NITTA.Synthesis.MlBackend.Client

Methods

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

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

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

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

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

Generic (ScoringInput tag v x t) Source # 
Instance details

Defined in NITTA.Synthesis.MlBackend.Client

Associated Types

type Rep (ScoringInput tag v x t) 
Instance details

Defined in NITTA.Synthesis.MlBackend.Client

type Rep (ScoringInput tag v x t) = D1 ('MetaData "ScoringInput" "NITTA.Synthesis.MlBackend.Client" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'False) (C1 ('MetaCons "ScoringInput" 'PrefixI 'True) (S1 ('MetaSel ('Just "scoringTarget") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScoringTarget) :*: S1 ('MetaSel ('Just "nodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [NodeView tag v x t])))

Methods

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

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

type Rep (ScoringInput tag v x t) Source # 
Instance details

Defined in NITTA.Synthesis.MlBackend.Client

type Rep (ScoringInput tag v x t) = D1 ('MetaData "ScoringInput" "NITTA.Synthesis.MlBackend.Client" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'False) (C1 ('MetaCons "ScoringInput" 'PrefixI 'True) (S1 ('MetaSel ('Just "scoringTarget") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScoringTarget) :*: S1 ('MetaSel ('Just "nodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [NodeView tag v x t])))

data ScoringTarget Source #

Constructors

ScoringTargetSid Sid 
ScoringTargetAll 

Instances

Instances details
ToJSON ScoringTarget Source # 
Instance details

Defined in NITTA.Synthesis.MlBackend.Client

Methods

toJSON :: ScoringTarget -> Value #

toEncoding :: ScoringTarget -> Encoding #

toJSONList :: [ScoringTarget] -> Value #

toEncodingList :: [ScoringTarget] -> Encoding #

omitField :: ScoringTarget -> Bool #

predictScoresIO :: forall {m} {v} {x} {t} {a} {tag}. (IsString v, Suffix v, Hashable v, Val x, Bounded t, ToJSONKey v, MonadThrow m, ToString v, ToString a, MonadIO m, Typeable v, Typeable t, Show t, Default t, Integral t, Ord v, ToJSON v, ToJSON t, ToJSON tag) => Text -> a -> [ScoringInput tag v x t] -> m [[Float]] Source #