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.