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 #
ToJSON ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods toJSON :: ExMemory -> Value Source # toEncoding :: ExMemory -> Encoding Source # toJSONList :: [ ExMemory ] -> Value Source # toEncodingList :: [ ExMemory ] -> Encoding Source #
FromJSON ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods parseJSON :: Value -> Parser ExMemory Source # parseJSONList :: Value -> Parser [ ExMemory ] Source #
NFData ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods rnf :: ExMemory -> () Source #
ToField ExMemory Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.EmitterMode Methods toField :: ExMemory -> Field 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 #
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 Source # prettyListBy :: config -> [ ExMemory ] -> Doc ann 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.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods toJSON :: ExCPU -> Value Source # toEncoding :: ExCPU -> Encoding Source # toJSONList :: [ ExCPU ] -> Value Source # toEncodingList :: [ ExCPU ] -> Encoding Source #
FromJSON ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods parseJSON :: Value -> Parser ExCPU Source # parseJSONList :: Value -> Parser [ ExCPU ] Source #
NFData ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods rnf :: ExCPU -> () Source #
ToField ExCPU Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.EmitterMode Methods toField :: ExCPU -> Field 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 #
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 Source # prettyListBy :: config -> [ ExCPU ] -> Doc ann 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.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #