Safe Haskell	Safe-Inferred
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) ⇒ BuiltinsInfo uni fun → VarsInfo tyname name uni ann → Term tyname name uni fun ann → IntMap Size
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

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

Monoid Size
Instance details Defined in PlutusCore.Size Methods mempty ∷ Size Source # mappend ∷ Size → Size → Size Source # mconcat ∷ [Size] → Size Source #
Semigroup Size
Instance details Defined in PlutusCore.Size Methods (<>) ∷ Size → Size → Size Source # sconcat ∷ NonEmpty Size → Size Source # stimes ∷ Integral b ⇒ b → Size → Size Source #
Num Size
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 #
Show Size
Instance details Defined in PlutusCore.Size Methods showsPrec ∷ Int → Size → ShowS Source # show ∷ Size → String Source # showList ∷ [Size] → ShowS Source #
Eq Size
Instance details Defined in PlutusCore.Size Methods (==) ∷ Size → Size → Bool Source # (/=) ∷ Size → Size → Bool Source #
Ord Size
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 #
Pretty Size
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) ⇒ 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.