| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Analysis.RetainedSize
Synopsis
- data RetainedSize
- newtype AstSize = AstSize {
- unAstSize :: ToBuiltinMeaning uni fun) => BuiltinsInfo uni fun -> Term tyname name uni fun ann -> Term tyname name uni fun RetainedSize #
Annotate each part of every
Bindingin a term with the size that it retains.
- unAstSize :: ToBuiltinMeaning uni fun) => BuiltinsInfo uni fun -> Term tyname name uni fun ann -> Term tyname name uni fun RetainedSize #