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

NITTA.Synthesis.Steps.ConstantFolding

Description

 

Documentation

data ConstantFoldingMetrics Source #

Constructors

ConstantFoldingMetrics 

Instances

Instances details
ToJSON ConstantFoldingMetrics Source # 
Instance details

Defined in NITTA.Synthesis.Steps.ConstantFolding

Methods

toJSON :: ConstantFoldingMetrics -> Value #

toEncoding :: ConstantFoldingMetrics -> Encoding #

toJSONList :: [ConstantFoldingMetrics] -> Value #

toEncodingList :: [ConstantFoldingMetrics] -> Encoding #

omitField :: ConstantFoldingMetrics -> Bool #

Generic ConstantFoldingMetrics Source # 
Instance details

Defined in NITTA.Synthesis.Steps.ConstantFolding

Associated Types

type Rep ConstantFoldingMetrics 
Instance details

Defined in NITTA.Synthesis.Steps.ConstantFolding

type Rep ConstantFoldingMetrics = D1 ('MetaData "ConstantFoldingMetrics" "NITTA.Synthesis.Steps.ConstantFolding" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'False) (C1 ('MetaCons "ConstantFoldingMetrics" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ConstantFoldingMetrics -> Rep ConstantFoldingMetrics x #

to :: Rep ConstantFoldingMetrics x -> ConstantFoldingMetrics #

(UnitTag tag, VarValTime v x t) => SynthesisDecisionCls (SynthesisState (TargetSystem (BusNetwork tag v x t) tag v x t) tag v x t) (TargetSystem (BusNetwork tag v x t) tag v x t) (ConstantFolding v x) (ConstantFolding v x) ConstantFoldingMetrics Source # 
Instance details

Defined in NITTA.Synthesis.Steps.ConstantFolding

Methods

decisions :: SynthesisState (TargetSystem (BusNetwork tag v x t) tag v x t) tag v x t -> ConstantFolding v x -> [(ConstantFolding v x, TargetSystem (BusNetwork tag v x t) tag v x t)] Source #

parameters :: SynthesisState (TargetSystem (BusNetwork tag v x t) tag v x t) tag v x t -> ConstantFolding v x -> ConstantFolding v x -> ConstantFoldingMetrics Source #

estimate :: SynthesisState (TargetSystem (BusNetwork tag v x t) tag v x t) tag v x t -> ConstantFolding v x -> ConstantFolding v x -> ConstantFoldingMetrics -> Float Source #

type Rep ConstantFoldingMetrics Source # 
Instance details

Defined in NITTA.Synthesis.Steps.ConstantFolding

type Rep ConstantFoldingMetrics = D1 ('MetaData "ConstantFoldingMetrics" "NITTA.Synthesis.Steps.ConstantFolding" "nitta-0.0.0.1-2dQF5ldSkqNJVFHdZuKzaq" 'False) (C1 ('MetaCons "ConstantFoldingMetrics" 'PrefixI 'False) (U1 :: Type -> Type))

Orphan instances

(UnitTag tag, VarValTime v x t) => SynthesisDecisionCls (SynthesisState (TargetSystem (BusNetwork tag v x t) tag v x t) tag v x t) (TargetSystem (BusNetwork tag v x t) tag v x t) (ConstantFolding v x) (ConstantFolding v x) ConstantFoldingMetrics Source # 
Instance details

Methods

decisions :: SynthesisState (TargetSystem (BusNetwork tag v x t) tag v x t) tag v x t -> ConstantFolding v x -> [(ConstantFolding v x, TargetSystem (BusNetwork tag v x t) tag v x t)] Source #

parameters :: SynthesisState (TargetSystem (BusNetwork tag v x t) tag v x t) tag v x t -> ConstantFolding v x -> ConstantFolding v x -> ConstantFoldingMetrics Source #

estimate :: SynthesisState (TargetSystem (BusNetwork tag v x t) tag v x t) tag v x t -> ConstantFolding v x -> ConstantFolding v x -> ConstantFoldingMetrics -> Float Source #