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

NITTA.Synthesis.Steps.ConstantFolding

Contents

Orphan instances

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 #
Generic ConstantFoldingMetrics Source #
Instance details Defined in NITTA.Synthesis.Steps.ConstantFolding Associated Types type Rep ConstantFoldingMetrics :: 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-Bv1VcjPxpSzB9i0NGusGVn" '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 #