| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.AstSize
Synopsis
- newtype AstSize = AstSize {}
- kindAstSize ∷ Kind a → AstSize
- typeAstSize ∷ ∀ tyname (uni ∷ Type → Type) ann. Type tyname uni ann → AstSize
- tyVarDeclAstSize ∷ TyVarDecl tyname ann → AstSize
- termAstSize ∷ Term tyname name uni fun ann → AstSize
- termAstSizeErased ∷ Term tyname name uni fun ann → AstSize
- varDeclAstSize ∷ ∀ tyname name (uni ∷ Type → Type) ann. VarDecl tyname name uni ann → AstSize
Documentation
kindAstSize ∷ Kind a → AstSize Source #
Count the number of AST nodes in a kind.
>>>kindAstSize $ Type ()AstSize {unAstSize = 1}>>>kindAstSize $ KindArrow () (KindArrow () (Type ()) (Type ())) (Type ())AstSize {unAstSize = 5}
typeAstSize ∷ ∀ tyname (uni ∷ Type → Type) ann. Type tyname uni ann → AstSize Source #
Count the number of AST nodes in a type.
tyVarDeclAstSize ∷ TyVarDecl tyname ann → AstSize Source #
termAstSize ∷ Term tyname name uni fun ann → AstSize Source #
Count the number of AST nodes in a term.
termAstSizeErased ∷ Term tyname name uni fun ann → AstSize Source #
Count the number of AST nodes in a term, ignoring type and kind nodes.