Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Synopsis

type CekMachineCosts = CekMachineCostsBase Identity
data CekMachineCostsBase f = CekMachineCostsBase {
- cekStartupCost ∷ f ExBudget
- cekVarCost ∷ f ExBudget
- cekConstCost ∷ f ExBudget
- cekLamCost ∷ f ExBudget
- cekDelayCost ∷ f ExBudget
- cekForceCost ∷ f ExBudget
- cekApplyCost ∷ f ExBudget
- cekBuiltinCost ∷ f ExBudget
- cekConstrCost ∷ f ExBudget
- cekCaseCost ∷ f ExBudget
}
cekMachineCostsPrefix ∷ Text
unitCekMachineCosts ∷ CekMachineCosts

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

cekStartupCost ∷ f ExBudget
cekVarCost ∷ f ExBudget
cekConstCost ∷ f ExBudget
cekLamCost ∷ f ExBudget
cekDelayCost ∷ f ExBudget
cekForceCost ∷ f ExBudget
cekApplyCost ∷ f ExBudget
cekBuiltinCost ∷ f ExBudget
Just the cost of evaluating a Builtin node, not the builtin itself. There's no entry for Error since we'll be exiting anyway; also, what would happen if calling Error caused the budget to be exceeded?
cekConstrCost ∷ f ExBudget
cekCaseCost ∷ f ExBudget

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 CekMachineCostsBase ⇒ CekMachineCostsBase 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 btraverse ∷ Applicative e ⇒ (∀ (a ∷ k). f a → e (g a)) → CekMachineCostsBase f → e (CekMachineCostsBase g) #
AllBF (Lift ∷ Type → Constraint) f CekMachineCostsBase ⇒ Lift (CekMachineCostsBase f ∷ Type) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods lift ∷ Quote m ⇒ CekMachineCostsBase f → m Exp Source # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ CekMachineCostsBase f → Code m (CekMachineCostsBase f) Source #
FromJSON (CekMachineCostsBase Identity) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods parseJSON ∷ Value → Parser (CekMachineCostsBase Identity) Source # parseJSONList ∷ Value → Parser [CekMachineCostsBase Identity] Source # omittedField ∷ Maybe (CekMachineCostsBase Identity) Source #
ToJSON (CekMachineCostsBase Identity) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods toJSON ∷ CekMachineCostsBase Identity → Value Source # toEncoding ∷ CekMachineCostsBase Identity → Encoding Source # toJSONList ∷ [CekMachineCostsBase Identity] → Value Source # toEncodingList ∷ [CekMachineCostsBase Identity] → Encoding Source # omitField ∷ CekMachineCostsBase Identity → Bool Source #
ToJSON (CekMachineCostsBase Maybe) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods toJSON ∷ CekMachineCostsBase Maybe → Value Source # toEncoding ∷ CekMachineCostsBase Maybe → Encoding Source # toJSONList ∷ [CekMachineCostsBase Maybe] → Value Source # toEncodingList ∷ [CekMachineCostsBase Maybe] → Encoding Source # omitField ∷ CekMachineCostsBase Maybe → Bool Source #
Generic (CekMachineCostsBase f) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Associated Types type Rep (CekMachineCostsBase f) ∷ Type → Type Source # Methods from ∷ CekMachineCostsBase f → Rep (CekMachineCostsBase f) x Source # to ∷ Rep (CekMachineCostsBase f) x → CekMachineCostsBase f Source #
AllBF Show f CekMachineCostsBase ⇒ Show (CekMachineCostsBase f) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods showsPrec ∷ Int → CekMachineCostsBase f → ShowS Source # show ∷ CekMachineCostsBase f → String Source # showList ∷ [CekMachineCostsBase f] → ShowS Source #
AllBF NFData f CekMachineCostsBase ⇒ NFData (CekMachineCostsBase f) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods rnf ∷ CekMachineCostsBase f → () Source #
AllBF Eq f CekMachineCostsBase ⇒ Eq (CekMachineCostsBase f) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods (==) ∷ CekMachineCostsBase f → CekMachineCostsBase f → Bool Source # (/=) ∷ CekMachineCostsBase f → CekMachineCostsBase f → Bool Source #
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) Source # wNoThunks ∷ Context → CekMachineCostsBase f → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CekMachineCostsBase f) → String Source #
type AllB (c ∷ Type → Constraint) CekMachineCostsBase Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts type AllB (c ∷ Type → Constraint) 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.38.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.

unitCekMachineCosts ∷ CekMachineCosts Source #