Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
The core functional representation for binders
- data Binder a
- = NullBinder a
- | LiteralBinder a (Literal (Binder a))
- | VarBinder a Ident
- | ConstructorBinder a (Qualified ProperName) (Qualified ProperName) [Binder a]
- | NamedBinder a Ident (Binder a)
Documentation
Data type for binders
NullBinder a | Wildcard binder |
LiteralBinder a (Literal (Binder a)) | A binder which matches a literal value |
VarBinder a Ident | A binder which binds an identifier |
ConstructorBinder a (Qualified ProperName) (Qualified ProperName) [Binder a] | A binder which matches a data constructor (type name, constructor name, binders) |
NamedBinder a Ident (Binder a) | A binder which binds its input to an identifier |