Safe Haskell	None
Language	Haskell2010

PlutusIR.Analysis.RetainedSize

Synopsis

data RetainedSize
- = Retains Size
- | NotARetainer
newtype Size = Size {
- unSize :: Integer
}
termRetentionMap :: ( HasUnique tyname TypeUnique , HasUnique name TermUnique , ToBuiltinMeaning uni fun) => Term tyname name uni fun ann -> IntMap Size
annotateWithRetainedSize :: ( HasUnique name TermUnique , HasUnique tyname TypeUnique , ToBuiltinMeaning uni fun) => Term tyname name uni fun ann -> Term tyname name uni fun RetainedSize

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 Source # prettyList :: [ RetainedSize ] -> Doc ann Source #

newtype Size Source #

Constructors

Size
Fields unSize :: Integer

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 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.