Safe Haskell	None
Language	Haskell2010

PlutusCore.Evaluation.Machine.ExMemory

Synopsis

type CostingInteger = SatInt
newtype ExMemory = ExMemory CostingInteger
newtype ExCPU = ExCPU CostingInteger
class ExMemoryUsage a where
- memoryUsage :: a -> ExMemory

Documentation

type CostingInteger = SatInt Source #

newtype ExMemory Source #

Counts size in machine words.

Constructors

ExMemory CostingInteger

Instances

Instances details

Eq ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (==) :: ExMemory -> ExMemory -> Bool Source # (/=) :: ExMemory -> ExMemory -> Bool 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 #
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 #
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 #
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 #
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 #
Monoid ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods mempty :: ExMemory Source # mappend :: ExMemory -> ExMemory -> ExMemory Source # mconcat :: [ExMemory] -> ExMemory Source #
NFData ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods rnf :: ExMemory -> () Source #
FromJSON ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods parseJSON :: Value -> Parser ExMemory parseJSONList :: Value -> Parser [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
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
ToField ExMemory
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.EmitterMode Methods toField :: ExMemory -> Field
Pretty ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty :: ExMemory -> Doc ann # prettyList :: [ExMemory] -> Doc ann #
ExMemoryUsage ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: ExMemory -> ExMemory Source #
Lift ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods lift :: ExMemory -> Q Exp Source # liftTyped :: ExMemory -> Q (TExp ExMemory) Source #
PrettyBy config ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy :: config -> ExMemory -> Doc ann # prettyListBy :: config -> [ExMemory] -> Doc ann #
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.0.0.1-6wMiyL0yerXJu56t8zBoKx" '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

Eq ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (==) :: ExCPU -> ExCPU -> Bool Source # (/=) :: ExCPU -> ExCPU -> Bool 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 #
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 #
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 #
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 #
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 #
Monoid ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods mempty :: ExCPU Source # mappend :: ExCPU -> ExCPU -> ExCPU Source # mconcat :: [ExCPU] -> ExCPU Source #
NFData ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods rnf :: ExCPU -> () Source #
FromJSON ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods parseJSON :: Value -> Parser ExCPU parseJSONList :: Value -> Parser [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
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
ToField ExCPU
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.EmitterMode Methods toField :: ExCPU -> Field
Pretty ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty :: ExCPU -> Doc ann # prettyList :: [ExCPU] -> Doc ann #
Lift ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods lift :: ExCPU -> Q Exp Source # liftTyped :: ExCPU -> Q (TExp ExCPU) Source #
PrettyBy config ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy :: config -> ExCPU -> Doc ann # prettyListBy :: config -> [ExCPU] -> Doc ann #
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.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

class ExMemoryUsage a where Source #

Methods

memoryUsage Source #

Arguments

:: a
-> ExMemory	How much memory does `a` use?

Instances

Instances details

ExMemoryUsage Bool Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Bool -> ExMemory Source #
ExMemoryUsage Char Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Char -> ExMemory Source #
ExMemoryUsage Int Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Int -> ExMemory Source #
ExMemoryUsage Integer Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Integer -> ExMemory Source #
ExMemoryUsage () Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: () -> ExMemory Source #
ExMemoryUsage ByteString Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: ByteString -> ExMemory Source #
ExMemoryUsage Text Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Text -> ExMemory Source #
ExMemoryUsage SatInt Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: SatInt -> ExMemory Source #
ExMemoryUsage Data Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Data -> ExMemory Source #
ExMemoryUsage Unique Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Unique -> ExMemory Source #
ExMemoryUsage ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: ExMemory -> ExMemory Source #
ExMemoryUsage DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods memoryUsage :: DefaultFun -> ExMemory Source #
ExMemoryUsage a => ExMemoryUsage [a] Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: [a] -> ExMemory Source #
ExMemoryUsage (SomeTypeIn uni) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: SomeTypeIn uni -> ExMemory Source #
(ExMemoryUsage a, ExMemoryUsage b) => ExMemoryUsage (a, b) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: (a, b) -> ExMemory Source #
(Closed uni, Everywhere uni ExMemoryUsage) => ExMemoryUsage (Some (ValueOf uni)) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Some (ValueOf uni) -> ExMemory Source #