plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusCore.Evaluation.Machine.ExMemory

Synopsis

Documentation

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

Num ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Ord ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Generic ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExMemory :: Type -> Type Source #

Semigroup ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Monoid ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

ToJSON ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

FromJSON ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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

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

Lift ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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

Ord ExCPU Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExCPU Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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

Monoid ExCPU Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

ToJSON ExCPU Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

FromJSON ExCPU Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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 #

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

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-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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

ExMemoryUsage Char Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

ExMemoryUsage Int Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

ExMemoryUsage Integer Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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

ExMemoryUsage Text Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

ExMemoryUsage SatInt Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

ExMemoryUsage Data Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

ExMemoryUsage Unique Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

ExMemoryUsage ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

ExMemoryUsage DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

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

(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