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