Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Evaluation.Machine.ExBudget

Synopsis

data ExBudget = ExBudget {
- exBudgetCPU :: ExCPU
- exBudgetMemory :: ExMemory
}
minusExBudget :: ExBudget -> ExBudget -> ExBudget
class ExBudgetBuiltin fun exBudgetCat where
- exBudgetBuiltin :: fun -> exBudgetCat
newtype ExRestrictingBudget = ExRestrictingBudget {
- unExRestrictingBudget :: ExBudget
}
data LowerInitialCharacter
largeBudget :: ExRestrictingBudget
enormousBudget :: ExRestrictingBudget

Documentation

data ExBudget Source #

Constructors

ExBudget
Fields exBudgetCPU :: ExCPU exBudgetMemory :: ExMemory

Instances

Instances details

FromJSON ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods parseJSON :: Value -> Parser ExBudget parseJSONList :: Value -> Parser [ExBudget] omittedField :: Maybe ExBudget
ToJSON ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods toJSON :: ExBudget -> Value toEncoding :: ExBudget -> Encoding toJSONList :: [ExBudget] -> Value toEncodingList :: [ExBudget] -> Encoding omitField :: ExBudget -> Bool
Monoid ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods mempty :: ExBudget Source # mappend :: ExBudget -> ExBudget -> ExBudget Source # mconcat :: [ExBudget] -> ExBudget Source #
Semigroup ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods (<>) :: ExBudget -> ExBudget -> ExBudget Source # sconcat :: NonEmpty ExBudget -> ExBudget Source # stimes :: Integral b => b -> ExBudget -> ExBudget Source #
Generic ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Associated Types type Rep ExBudget :: Type -> Type Source # Methods from :: ExBudget -> Rep ExBudget x Source # to :: Rep ExBudget x -> ExBudget Source #
Show ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods showsPrec :: Int -> ExBudget -> ShowS Source # show :: ExBudget -> String Source # showList :: [ExBudget] -> ShowS Source #
NFData ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods rnf :: ExBudget -> () Source #
Eq ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods (==) :: ExBudget -> ExBudget -> Bool Source # (/=) :: ExBudget -> ExBudget -> Bool Source #
NoThunks ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods noThunks :: Context -> ExBudget -> IO (Maybe ThunkInfo) wNoThunks :: Context -> ExBudget -> IO (Maybe ThunkInfo) showTypeOf :: Proxy ExBudget -> String
Pretty ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty :: ExBudget -> Doc ann # prettyList :: [ExBudget] -> Doc ann #
Serialise ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods encode :: ExBudget -> Encoding decode :: Decoder s ExBudget encodeList :: [ExBudget] -> Encoding decodeList :: Decoder s [ExBudget]
PrettyBy config ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods prettyBy :: config -> ExBudget -> Doc ann # prettyListBy :: config -> [ExBudget] -> Doc ann #
Lift ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods lift :: Quote m => ExBudget -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ExBudget -> Code m ExBudget Source #
type Rep ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget type Rep ExBudget = D1 ('MetaData "ExBudget" "PlutusCore.Evaluation.Machine.ExBudget" "plutus-core-1.45.0.0-4MxwoS2cXGc67A4wnNpcs5" 'False) (C1 ('MetaCons "ExBudget" 'PrefixI 'True) (S1 ('MetaSel ('Just "exBudgetCPU") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExCPU) :*: S1 ('MetaSel ('Just "exBudgetMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExMemory)))

minusExBudget :: ExBudget -> ExBudget -> ExBudget Source #

Subract one ExBudget from another. Does not guarantee that the result is positive.

class ExBudgetBuiltin fun exBudgetCat where Source #

A class for injecting a Builtin into an exBudgetCat. We need it, because the constant application machinery calls spendBudget before reducing a constant application and we want to be general over exBudgetCat there, but still track the built-in functions category, hence the ad hoc polymorphism.

Methods

exBudgetBuiltin :: fun -> exBudgetCat Source #

Instances

Instances details

ExBudgetBuiltin fun () Source #	A dummy `ExBudgetBuiltin` instance to be used in monads where we don't care about costing.
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods exBudgetBuiltin :: fun -> () Source #
ExBudgetBuiltin fun (ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods exBudgetBuiltin :: fun -> ExBudgetCategory fun Source #

newtype ExRestrictingBudget Source #

Constructors

ExRestrictingBudget
Fields unExRestrictingBudget :: ExBudget

Instances

Instances details

Monoid ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods mempty :: ExRestrictingBudget Source # mappend :: ExRestrictingBudget -> ExRestrictingBudget -> ExRestrictingBudget Source # mconcat :: [ExRestrictingBudget] -> ExRestrictingBudget Source #
Semigroup ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods (<>) :: ExRestrictingBudget -> ExRestrictingBudget -> ExRestrictingBudget Source # sconcat :: NonEmpty ExRestrictingBudget -> ExRestrictingBudget Source # stimes :: Integral b => b -> ExRestrictingBudget -> ExRestrictingBudget Source #
Show ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods showsPrec :: Int -> ExRestrictingBudget -> ShowS Source # show :: ExRestrictingBudget -> String Source # showList :: [ExRestrictingBudget] -> ShowS Source #
NFData ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods rnf :: ExRestrictingBudget -> () Source #
Eq ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods (==) :: ExRestrictingBudget -> ExRestrictingBudget -> Bool Source # (/=) :: ExRestrictingBudget -> ExRestrictingBudget -> Bool Source #
Pretty ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty :: ExRestrictingBudget -> Doc ann # prettyList :: [ExRestrictingBudget] -> Doc ann #
PrettyBy config ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods prettyBy :: config -> ExRestrictingBudget -> Doc ann # prettyListBy :: config -> [ExRestrictingBudget] -> Doc ann #

data LowerInitialCharacter Source #

This is used elsewhere to convert cost models into JSON objects where the names of the fields are exactly the same as the names of the builtins.

Instances

Instances details

StringModifier LowerInitialCharacter Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods getStringModifier :: String -> String

largeBudget :: ExRestrictingBudget Source #

When we want to just evaluate the program that is intended to run out of budget we use the Restricting mode with this big budget designed to make the CEK machine terminate in a fraction of a second on the reference machine.

enormousBudget :: ExRestrictingBudget Source #

When we want to just evaluate the program we use the Restricting mode with an enormous budget, so that evaluation costs of on-chain budgeting are reflected accurately in benchmarks.