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 :: forall (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 :: (forall (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 => (forall (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 :: forall (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) parseJSONList :: Value -> Parser [CekMachineCostsBase Identity] omittedField :: Maybe (CekMachineCostsBase Identity)
ToJSON (CekMachineCostsBase Identity) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods toJSON :: CekMachineCostsBase Identity -> Value toEncoding :: CekMachineCostsBase Identity -> Encoding toJSONList :: [CekMachineCostsBase Identity] -> Value toEncodingList :: [CekMachineCostsBase Identity] -> Encoding omitField :: CekMachineCostsBase Identity -> Bool
ToJSON (CekMachineCostsBase Maybe) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods toJSON :: CekMachineCostsBase Maybe -> Value toEncoding :: CekMachineCostsBase Maybe -> Encoding toJSONList :: [CekMachineCostsBase Maybe] -> Value toEncodingList :: [CekMachineCostsBase Maybe] -> Encoding omitField :: CekMachineCostsBase Maybe -> Bool
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) wNoThunks :: Context -> CekMachineCostsBase f -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (CekMachineCostsBase f) -> String
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.45.0.0-4MxwoS2cXGc67A4wnNpcs5" '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 #