Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Evaluation.Machine.ExMemory

Synopsis

type CostingInteger = SatInt
newtype ExMemory = ExMemory CostingInteger
newtype ExCPU = ExCPU CostingInteger
dividedBy ∷ SatInt → Natural → SatInt

Documentation

type CostingInteger = SatInt Source #

newtype ExMemory Source #

Counts size in machine words.

Constructors

ExMemory CostingInteger

Instances

Instances details

FromJSON ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods parseJSON ∷ Value → Parser ExMemory parseJSONList ∷ Value → Parser [ExMemory] omittedField ∷ Maybe ExMemory
ToJSON ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods toJSON ∷ ExMemory → Value toEncoding ∷ ExMemory → Encoding toJSONList ∷ [ExMemory] → Value toEncodingList ∷ [ExMemory] → Encoding omitField ∷ ExMemory → Bool
Monoid ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods mempty ∷ ExMemory Source # mappend ∷ ExMemory → ExMemory → ExMemory Source # mconcat ∷ [ExMemory] → ExMemory Source #
Semigroup ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (<>) ∷ ExMemory → ExMemory → ExMemory Source # sconcat ∷ NonEmpty ExMemory → ExMemory Source # stimes ∷ Integral b ⇒ b → ExMemory → ExMemory Source #
Bounded ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods minBound ∷ ExMemory Source # maxBound ∷ ExMemory Source #
Generic ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Associated Types type Rep ExMemory ∷ Type → Type Source # Methods from ∷ ExMemory → Rep ExMemory x Source # to ∷ Rep ExMemory x → ExMemory Source #
Num ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (+) ∷ ExMemory → ExMemory → ExMemory Source # (-) ∷ ExMemory → ExMemory → ExMemory Source # (*) ∷ ExMemory → ExMemory → ExMemory Source # negate ∷ ExMemory → ExMemory Source # abs ∷ ExMemory → ExMemory Source # signum ∷ ExMemory → ExMemory Source # fromInteger ∷ Integer → ExMemory Source #
Read ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods readsPrec ∷ Int → ReadS ExMemory Source # readList ∷ ReadS [ExMemory] Source # readPrec ∷ ReadPrec ExMemory Source # readListPrec ∷ ReadPrec [ExMemory] Source #
Show ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods showsPrec ∷ Int → ExMemory → ShowS Source # show ∷ ExMemory → String Source # showList ∷ [ExMemory] → ShowS Source #
ToField ExMemory
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.EmitterMode Methods toField ∷ ExMemory → Field
NFData ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods rnf ∷ ExMemory → () Source #
Eq ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (==) ∷ ExMemory → ExMemory → Bool Source # (/=) ∷ ExMemory → ExMemory → Bool Source #
Ord ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods compare ∷ ExMemory → ExMemory → Ordering Source # (<) ∷ ExMemory → ExMemory → Bool Source # (<=) ∷ ExMemory → ExMemory → Bool Source # (>) ∷ ExMemory → ExMemory → Bool Source # (>=) ∷ ExMemory → ExMemory → Bool Source # max ∷ ExMemory → ExMemory → ExMemory Source # min ∷ ExMemory → ExMemory → ExMemory Source #
NoThunks ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods noThunks ∷ Context → ExMemory → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ExMemory → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ExMemory → String Source #
Pretty ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty ∷ ExMemory → Doc ann Source # prettyList ∷ [ExMemory] → Doc ann Source #
Serialise ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods encode ∷ ExMemory → Encoding Source # decode ∷ Decoder s ExMemory Source # encodeList ∷ [ExMemory] → Encoding Source # decodeList ∷ Decoder s [ExMemory] Source #
PrettyBy config ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy ∷ config → ExMemory → Doc ann Source # prettyListBy ∷ config → [ExMemory] → Doc ann Source #
Lift ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods lift ∷ Quote m ⇒ ExMemory → m Exp Source # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ ExMemory → Code m ExMemory Source #
type Rep ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory type Rep ExMemory = D1 ('MetaData "ExMemory" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.54.0.0-inplace" 'True) (C1 ('MetaCons "ExMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype ExCPU Source #

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

Constructors

ExCPU CostingInteger

Instances

Instances details

FromJSON ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods parseJSON ∷ Value → Parser ExCPU parseJSONList ∷ Value → Parser [ExCPU] omittedField ∷ Maybe ExCPU
ToJSON ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods toJSON ∷ ExCPU → Value toEncoding ∷ ExCPU → Encoding toJSONList ∷ [ExCPU] → Value toEncodingList ∷ [ExCPU] → Encoding omitField ∷ ExCPU → Bool
Monoid ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods mempty ∷ ExCPU Source # mappend ∷ ExCPU → ExCPU → ExCPU Source # mconcat ∷ [ExCPU] → ExCPU Source #
Semigroup ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (<>) ∷ ExCPU → ExCPU → ExCPU Source # sconcat ∷ NonEmpty ExCPU → ExCPU Source # stimes ∷ Integral b ⇒ b → ExCPU → ExCPU Source #
Bounded ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods minBound ∷ ExCPU Source # maxBound ∷ ExCPU Source #
Generic ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Associated Types type Rep ExCPU ∷ Type → Type Source # Methods from ∷ ExCPU → Rep ExCPU x Source # to ∷ Rep ExCPU x → ExCPU Source #
Num ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (+) ∷ ExCPU → ExCPU → ExCPU Source # (-) ∷ ExCPU → ExCPU → ExCPU Source # (*) ∷ ExCPU → ExCPU → ExCPU Source # negate ∷ ExCPU → ExCPU Source # abs ∷ ExCPU → ExCPU Source # signum ∷ ExCPU → ExCPU Source # fromInteger ∷ Integer → ExCPU Source #
Read ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods readsPrec ∷ Int → ReadS ExCPU Source # readList ∷ ReadS [ExCPU] Source # readPrec ∷ ReadPrec ExCPU Source # readListPrec ∷ ReadPrec [ExCPU] Source #
Show ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods showsPrec ∷ Int → ExCPU → ShowS Source # show ∷ ExCPU → String Source # showList ∷ [ExCPU] → ShowS Source #
ToField ExCPU
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.EmitterMode Methods toField ∷ ExCPU → Field
NFData ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods rnf ∷ ExCPU → () Source #
Eq ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (==) ∷ ExCPU → ExCPU → Bool Source # (/=) ∷ ExCPU → ExCPU → Bool Source #
Ord ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods compare ∷ ExCPU → ExCPU → Ordering Source # (<) ∷ ExCPU → ExCPU → Bool Source # (<=) ∷ ExCPU → ExCPU → Bool Source # (>) ∷ ExCPU → ExCPU → Bool Source # (>=) ∷ ExCPU → ExCPU → Bool Source # max ∷ ExCPU → ExCPU → ExCPU Source # min ∷ ExCPU → ExCPU → ExCPU Source #
NoThunks ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods noThunks ∷ Context → ExCPU → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ExCPU → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ExCPU → String Source #
Pretty ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty ∷ ExCPU → Doc ann Source # prettyList ∷ [ExCPU] → Doc ann Source #
Serialise ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods encode ∷ ExCPU → Encoding Source # decode ∷ Decoder s ExCPU Source # encodeList ∷ [ExCPU] → Encoding Source # decodeList ∷ Decoder s [ExCPU] Source #
PrettyBy config ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy ∷ config → ExCPU → Doc ann Source # prettyListBy ∷ config → [ExCPU] → Doc ann Source #
Lift ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods lift ∷ Quote m ⇒ ExCPU → m Exp Source # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ ExCPU → Code m ExCPU Source #
type Rep ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory type Rep ExCPU = D1 ('MetaData "ExCPU" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.54.0.0-inplace" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

dividedBy ∷ SatInt → Natural → SatInt Source #

Divide a 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.