plutus-core-1.0.0.1: Language library for Plutus Core
Safe HaskellNone
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

Methods

showsPrec :: Int -> RetainedSize -> ShowS Source #

show :: RetainedSize -> String Source #

showList :: [RetainedSize] -> ShowS Source #

Pretty RetainedSize Source # 
Instance details

Defined in PlutusIR.Analysis.RetainedSize

Methods

pretty :: RetainedSize -> Doc ann #

prettyList :: [RetainedSize] -> Doc ann #

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

Methods

(+) :: Size -> Size -> Size Source #

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

(*) :: Size -> Size -> Size Source #

negate :: Size -> Size Source #

abs :: Size -> Size Source #

signum :: Size -> Size Source #

fromInteger :: Integer -> Size Source #

Ord Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

compare :: Size -> Size -> Ordering Source #

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

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

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

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

max :: Size -> Size -> Size Source #

min :: Size -> Size -> Size Source #

Show Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

showsPrec :: Int -> Size -> ShowS Source #

show :: Size -> String Source #

showList :: [Size] -> ShowS Source #

Semigroup Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

(<>) :: Size -> Size -> Size Source #

sconcat :: NonEmpty Size -> Size Source #

stimes :: Integral b => b -> Size -> Size Source #

Monoid Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

mempty :: Size Source #

mappend :: Size -> Size -> Size Source #

mconcat :: [Size] -> Size Source #

Pretty Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

pretty :: Size -> Doc ann #

prettyList :: [Size] -> Doc ann #

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.