purescript-0.6.4: PureScript Programming Language Compiler

Safe HaskellSafe-Inferred
LanguageHaskell98

Language.PureScript.CoreFn.Binders

Description

The core functional representation for binders

Synopsis

Documentation

data Binder a Source

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

Instances

Data a => Data (Binder a) 
Show a => Show (Binder a) 
Typeable (* -> *) Binder