| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | Haskell2010 | 
PlutusCore.AstSize
Synopsis
- newtype AstSize = AstSize {}
- kindAstSize ∷ Kind a → AstSize
- typeAstSize ∷ Type tyname uni ann → AstSize
- tyVarDeclAstSize ∷ TyVarDecl tyname ann → AstSize
- termAstSize ∷ Term tyname name uni fun ann → AstSize
- varDeclAstSize ∷ VarDecl tyname name uni ann → AstSize
- programAstSize ∷ Program tyname name uni fun ann → AstSize
- serialisedAstSize ∷ Flat a ⇒ a → Integer
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 ∷ 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.
varDeclAstSize ∷ VarDecl tyname name uni ann → AstSize Source #
programAstSize ∷ Program tyname name uni fun ann → AstSize Source #
Count the number of AST nodes in a program.
serialisedAstSize ∷ Flat a ⇒ a → Integer Source #
Compute the size of the serializabled form of a value.