Language.PureScript.AST.Binders

Case binders

Documentation

data Binder

Data type for binders

Constructors

NullBinder

Wildcard binder

LiteralBinder (Literal Binder)

A binder which matches a literal

VarBinder Ident

A binder which binds an identifier

ConstructorBinder (Qualified (ProperName ConstructorName)) [Binder]

A binder which matches a data constructor

OpBinder (Qualified (OpName ValueOpName))

A operator alias binder. During the rebracketing phase of desugaring, this data constructor will be removed.

BinaryNoParensBinder Binder Binder Binder

Binary operator application. During the rebracketing phase of desugaring, this data constructor will be removed.

ParensInBinder Binder

Explicit parentheses. During the rebracketing phase of desugaring, this data constructor will be removed.

Note: although it seems this constructor is not used, it _is_ useful, since it prevents certain traversals from matching.

NamedBinder Ident Binder

A binder which binds its input to an identifier

PositionedBinder SourceSpan [Comment] Binder

A binder with source position information

TypedBinder Type Binder

A binder with a type annotation

Instances

Eq Binder

Methods

(==) :: Binder -> Binder -> Bool

(/=) :: Binder -> Binder -> Bool

Ord Binder

Methods

compare :: Binder -> Binder -> Ordering

(<) :: Binder -> Binder -> Bool

(<=) :: Binder -> Binder -> Bool

(>) :: Binder -> Binder -> Bool

(>=) :: Binder -> Binder -> Bool

max :: Binder -> Binder -> Binder

min :: Binder -> Binder -> Binder

Show Binder

Methods

showsPrec :: Int -> Binder -> ShowS

show :: Binder -> String

showList :: [Binder] -> ShowS

binderNames :: Binder -> [Ident]

Collect all names introduced in binders in an expression

isIrrefutable :: Binder -> Bool