Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.Analysis.RetainedSize

Synopsis

data RetainedSize
- = Retains AstSize
- | NotARetainer
newtype AstSize = AstSize {
- unAstSize ∷ 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 AstSize
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 AstSize
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 AstSize Source #

Constructors

AstSize
Fields unAstSize ∷ Integer

Instances

Instances details

Monoid AstSize
Instance details Defined in PlutusCore.AstSize Methods mempty ∷ AstSize Source # mappend ∷ AstSize → AstSize → AstSize Source # mconcat ∷ [AstSize] → AstSize Source #
Semigroup AstSize
Instance details Defined in PlutusCore.AstSize Methods (<>) ∷ AstSize → AstSize → AstSize Source # sconcat ∷ NonEmpty AstSize → AstSize Source # stimes ∷ Integral b ⇒ b → AstSize → AstSize Source #
Num AstSize
Instance details Defined in PlutusCore.AstSize Methods (+) ∷ AstSize → AstSize → AstSize Source # (-) ∷ AstSize → AstSize → AstSize Source # (*) ∷ AstSize → AstSize → AstSize Source # negate ∷ AstSize → AstSize Source # abs ∷ AstSize → AstSize Source # signum ∷ AstSize → AstSize Source # fromInteger ∷ Integer → AstSize Source #
Show AstSize
Instance details Defined in PlutusCore.AstSize Methods showsPrec ∷ Int → AstSize → ShowS Source # show ∷ AstSize → String Source # showList ∷ [AstSize] → ShowS Source #
Eq AstSize
Instance details Defined in PlutusCore.AstSize Methods (==) ∷ AstSize → AstSize → Bool Source # (/=) ∷ AstSize → AstSize → Bool Source #
Ord AstSize
Instance details Defined in PlutusCore.AstSize Methods compare ∷ AstSize → AstSize → Ordering Source # (<) ∷ AstSize → AstSize → Bool Source # (<=) ∷ AstSize → AstSize → Bool Source # (>) ∷ AstSize → AstSize → Bool Source # (>=) ∷ AstSize → AstSize → Bool Source # max ∷ AstSize → AstSize → AstSize Source # min ∷ AstSize → AstSize → AstSize Source #
Pretty AstSize
Instance details Defined in PlutusCore.AstSize Methods pretty ∷ AstSize → Doc ann Source # prettyList ∷ [AstSize] → Doc ann Source #
PrettyBy config AstSize
Instance details Defined in PlutusCore.AstSize Methods prettyBy ∷ config → AstSize → Doc ann Source # prettyListBy ∷ config → [AstSize] → 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 AstSize 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.