plutus-core
Safe HaskellNone
LanguageHaskell2010

PlutusCore.Evaluation.Machine.ExMemory

Synopsis

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 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExMemory = D1 ('MetaData "ExMemory" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "ExMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

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.60.0.0-LXFqBsoUlXsJIEqLytHte7" '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 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExCPU = D1 ('MetaData "ExCPU" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

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.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

dividedBy :: SatInt -> Natural -> SatInt #