Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Evaluation.Machine.ExMemory

Synopsis

type CostingInteger = SatInt
newtype ExMemory = ExMemory CostingInteger
newtype ExCPU = ExCPU CostingInteger

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) wNoThunks :: Context -> ExMemory -> IO (Maybe ThunkInfo) showTypeOf :: Proxy ExMemory -> String
Pretty ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty :: ExMemory -> Doc ann # prettyList :: [ExMemory] -> Doc ann #
Serialise ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods encode :: ExMemory -> Encoding decode :: Decoder s ExMemory encodeList :: [ExMemory] -> Encoding decodeList :: Decoder s [ExMemory]
PrettyBy config ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy :: config -> ExMemory -> Doc ann # prettyListBy :: config -> [ExMemory] -> Doc ann #
Lift ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods lift :: Quote m => ExMemory -> m Exp Source # liftTyped :: forall (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.36.0.0-7ehJj5tIPqoJIiiivXkX9N" '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) wNoThunks :: Context -> ExCPU -> IO (Maybe ThunkInfo) showTypeOf :: Proxy ExCPU -> String
Pretty ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty :: ExCPU -> Doc ann # prettyList :: [ExCPU] -> Doc ann #
Serialise ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods encode :: ExCPU -> Encoding decode :: Decoder s ExCPU encodeList :: [ExCPU] -> Encoding decodeList :: Decoder s [ExCPU]
PrettyBy config ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy :: config -> ExCPU -> Doc ann # prettyListBy :: config -> [ExCPU] -> Doc ann #
Lift ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods lift :: Quote m => ExCPU -> m Exp Source # liftTyped :: forall (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.36.0.0-7ehJj5tIPqoJIiiivXkX9N" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))