Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype Size = Size {}
- kindSize ∷ Kind a → Size
- typeSize ∷ Type tyname uni ann → Size
- tyVarDeclSize ∷ TyVarDecl tyname ann → Size
- termSize ∷ Term tyname name uni fun ann → Size
- varDeclSize ∷ VarDecl tyname name uni ann → Size
- programSize ∷ Program tyname name uni fun ann → Size
- serialisedSize ∷ Flat a ⇒ a → Integer
Documentation
kindSize ∷ Kind a → Size Source #
Count the number of AST nodes in a kind.
>>>
kindSize $ Type ()
Size {unSize = 1}>>>
kindSize $ KindArrow () (KindArrow () (Type ()) (Type ())) (Type ())
Size {unSize = 5}
tyVarDeclSize ∷ TyVarDecl tyname ann → Size Source #
varDeclSize ∷ VarDecl tyname name uni ann → Size Source #
programSize ∷ Program tyname name uni fun ann → Size Source #
Count the number of AST nodes in a program.
serialisedSize ∷ Flat a ⇒ a → Integer Source #
Compute the size of the serializabled form of a value.