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

PlutusIR.Analysis.RetainedSize

Synopsis

Documentation

newtype Size Source #

Constructors

Size 

Fields

Instances

Instances details
Eq Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

(==) :: Size -> Size -> Bool Source #

(/=) :: Size -> Size -> Bool Source #

Num Size Source # 
Instance details

Defined in PlutusCore.Size

Ord Size Source # 
Instance details

Defined in PlutusCore.Size

Show Size Source # 
Instance details

Defined in PlutusCore.Size

Semigroup Size Source # 
Instance details

Defined in PlutusCore.Size

Monoid Size Source # 
Instance details

Defined in PlutusCore.Size

Pretty Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

pretty :: Size -> Doc ann Source #

prettyList :: [Size] -> Doc ann Source #

termRetentionMap :: (HasUnique tyname TypeUnique, HasUnique name TermUnique, ToBuiltinMeaning uni fun) => 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) => 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.