plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusIR.Analysis.RetainedSize

Synopsis

Documentation

data RetainedSize Source #

Constructors

Retains Size 
NotARetainer 

Instances

Instances details
Show RetainedSize Source # 
Instance details

Defined in PlutusIR.Analysis.RetainedSize

Pretty RetainedSize Source # 
Instance details

Defined in PlutusIR.Analysis.RetainedSize

Methods

prettyRetainedSizeDoc ann #

prettyList ∷ [RetainedSize] → Doc ann #

newtype Size Source #

Constructors

Size 

Fields

Instances

Instances details
Monoid Size 
Instance details

Defined in PlutusCore.Size

Methods

memptySize Source #

mappendSizeSizeSize Source #

mconcat ∷ [Size] → Size Source #

Semigroup Size 
Instance details

Defined in PlutusCore.Size

Methods

(<>)SizeSizeSize Source #

sconcatNonEmpty SizeSize Source #

stimesIntegral b ⇒ b → SizeSize Source #

Num Size 
Instance details

Defined in PlutusCore.Size

Methods

(+)SizeSizeSize Source #

(-)SizeSizeSize Source #

(*)SizeSizeSize Source #

negateSizeSize Source #

absSizeSize Source #

signumSizeSize Source #

fromIntegerIntegerSize Source #

Show Size 
Instance details

Defined in PlutusCore.Size

Methods

showsPrecIntSizeShowS Source #

showSizeString Source #

showList ∷ [Size] → ShowS Source #

Eq Size 
Instance details

Defined in PlutusCore.Size

Methods

(==)SizeSizeBool Source #

(/=)SizeSizeBool Source #

Ord Size 
Instance details

Defined in PlutusCore.Size

Methods

compareSizeSizeOrdering Source #

(<)SizeSizeBool Source #

(<=)SizeSizeBool Source #

(>)SizeSizeBool Source #

(>=)SizeSizeBool Source #

maxSizeSizeSize Source #

minSizeSizeSize Source #

Pretty Size 
Instance details

Defined in PlutusCore.Size

Methods

prettySizeDoc ann #

prettyList ∷ [Size] → Doc ann #

termRetentionMap ∷ (HasUnique tyname TypeUnique, HasUnique name TermUnique, ToBuiltinMeaning uni fun) ⇒ BuiltinsInfo uni fun → VarsInfo tyname name uni ann → Term tyname name uni fun ann → IntMap Size Source #

Compute the retention map of a term.

annotateWithRetainedSize ∷ (HasUnique name TermUnique, HasUnique tyname TypeUnique, ToBuiltinMeaning uni fun) ⇒ BuiltinsInfo uni fun → Term tyname name uni fun ann → Term tyname name uni fun RetainedSize Source #

Annotate each part of every Binding in a term with the size that it retains.