plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Synopsis

Documentation

type CekMachineCosts = CekMachineCostsBase Identity Source #

Costs for evaluating AST nodes. Times should be specified in picoseconds, memory sizes in bytes.

data CekMachineCostsBase f Source #

Constructors

CekMachineCostsBase 

Fields

Instances

Instances details
ConstraintsB CekMachineCostsBase Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Associated Types

type AllB c CekMachineCostsBase

Methods

baddDicts ∷ ∀ (c ∷ k → Constraint) (f ∷ k → Type). AllB c CekMachineCostsBaseCekMachineCostsBase f → CekMachineCostsBase (Product (Dict c) f)

FunctorB CekMachineCostsBase Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Methods

bmap ∷ (∀ (a ∷ k). f a → g a) → CekMachineCostsBase f → CekMachineCostsBase g

TraversableB CekMachineCostsBase Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Methods

btraverseApplicative e ⇒ (∀ (a ∷ k). f a → e (g a)) → CekMachineCostsBase f → e (CekMachineCostsBase g)

AllBF (LiftTypeConstraint) f CekMachineCostsBaseLift (CekMachineCostsBase f ∷ Type) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Methods

liftQuote m ⇒ CekMachineCostsBase f → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ CekMachineCostsBase f → Code m (CekMachineCostsBase f) Source #

FromJSON (CekMachineCostsBase Identity) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

ToJSON (CekMachineCostsBase Identity) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

ToJSON (CekMachineCostsBase Maybe) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Generic (CekMachineCostsBase f) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Associated Types

type Rep (CekMachineCostsBase f) ∷ TypeType Source #

AllBF Show f CekMachineCostsBaseShow (CekMachineCostsBase f) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

AllBF NFData f CekMachineCostsBaseNFData (CekMachineCostsBase f) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Methods

rnfCekMachineCostsBase f → () Source #

AllBF Eq f CekMachineCostsBaseEq (CekMachineCostsBase f) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

AllBF NoThunks f CekMachineCostsBase ⇒ NoThunks (CekMachineCostsBase f) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Methods

noThunks ∷ Context → CekMachineCostsBase f → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → CekMachineCostsBase f → IO (Maybe ThunkInfo)

showTypeOfProxy (CekMachineCostsBase f) → String

type AllB (c ∷ TypeConstraint) CekMachineCostsBase Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

type AllB (c ∷ TypeConstraint) CekMachineCostsBase = GAll 0 c (GAllRepB CekMachineCostsBase)
type Rep (CekMachineCostsBase f) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

type Rep (CekMachineCostsBase f) = D1 ('MetaData "CekMachineCostsBase" "UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "CekMachineCostsBase" 'PrefixI 'True) (((S1 ('MetaSel ('Just "cekStartupCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ExBudget)) :*: S1 ('MetaSel ('Just "cekVarCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ExBudget))) :*: (S1 ('MetaSel ('Just "cekConstCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ExBudget)) :*: (S1 ('MetaSel ('Just "cekLamCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ExBudget)) :*: S1 ('MetaSel ('Just "cekDelayCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ExBudget))))) :*: ((S1 ('MetaSel ('Just "cekForceCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ExBudget)) :*: S1 ('MetaSel ('Just "cekApplyCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ExBudget))) :*: (S1 ('MetaSel ('Just "cekBuiltinCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ExBudget)) :*: (S1 ('MetaSel ('Just "cekConstrCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ExBudget)) :*: S1 ('MetaSel ('Just "cekCaseCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ExBudget)))))))

cekMachineCostsPrefix ∷ Text Source #

The prefix of the field names in the CekMachineCosts type, used for extracting the CekMachineCosts component of the ledger's cost model parameters. See Note [Cost model parameters] in CostModelInterface.