| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.PureScript.CoreFn.Binders
Description
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
Constructors
| 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 |