Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Evaluation.Machine.ExMemory

Synopsis

type CostingInteger = SatInt #

newtype ExMemory #

Counts size in machine words.

Constructors

ExMemory CostingInteger

Instances

Instances details

Decoder s [ExMemory] #
PrettyBy config ExMemory #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy :: config -> ExMemory -> Doc ann # prettyListBy :: config -> [ExMemory] -> Doc ann #
Lift ExMemory #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods lift :: Quote m => ExMemory -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ExMemory -> Code m ExMemory #
type Rep ExMemory #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory type Rep ExMemory = D1 ('MetaData "ExMemory" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.60.0.0-inplace" 'True) (C1 ('MetaCons "ExMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype ExCPU #

Counts CPU units in picoseconds: maximum value for SatInt is 2^63 ps, or appproximately 106 days.

Constructors

ExCPU CostingInteger

Instances

Instances details

SatInt by a natural number. If the natural number is zero, return maxBound; if we're at the maximum or minimum value then leave the input unaltered. This should never throw.