Language.PureScript.CoreFn.Binders

The core functional representation for binders

Documentation

data Binder a

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 TypeName)) (Qualified (ProperName ConstructorName)) [Binder a]

A binder which matches a data constructor

NamedBinder a Ident (Binder a)

A binder which binds its input to an identifier

Instances

Functor Binder

Read a => Read (Binder a)

Show a => Show (Binder a)

extractBinderAnn :: Binder a -> a