Language.PureScript.AST.Binders

Case binders

Documentation

data Binder

Data type for binders

Constructors

NullBinder

Wildcard binder

LiteralBinder SourceSpan (Literal Binder)

A binder which matches a literal

VarBinder SourceSpan Ident

A binder which binds an identifier

ConstructorBinder SourceSpan (Qualified (ProperName 'ConstructorName)) [Binder]

A binder which matches a data constructor

OpBinder SourceSpan (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 SourceSpan Ident Binder

A binder which binds its input to an identifier

PositionedBinder SourceSpan [Comment] Binder

A binder with source position information

TypedBinder SourceType Binder

A binder with a type annotation

Instances

Generic Binder

Defined in Language.PureScript.AST.Binders

Associated Types

type Rep Binder :: Type -> Type

Methods

from :: Binder -> Rep Binder x

to :: Rep Binder x -> Binder

Show Binder

Defined in Language.PureScript.AST.Binders

Methods

showsPrec :: Int -> Binder -> ShowS

show :: Binder -> String

showList :: [Binder] -> ShowS

NFData Binder

Defined in Language.PureScript.AST.Binders

Methods

rnf :: Binder -> ()

Eq Binder

Defined in Language.PureScript.AST.Binders

Methods

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

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

Ord Binder

Defined in Language.PureScript.AST.Binders

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

type Rep Binder

Defined in Language.PureScript.AST.Binders

type Rep Binder = D1 ('MetaData "Binder" "Language.PureScript.AST.Binders" "purescript-0.15.14-JcflwnDm1Hv5HxS5CV5TJ2" 'False) (((C1 ('MetaCons "NullBinder" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LiteralBinder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Literal Binder)))) :+: (C1 ('MetaCons "VarBinder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: (C1 ('MetaCons "ConstructorBinder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Qualified (ProperName 'ConstructorName))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binder]))) :+: C1 ('MetaCons "OpBinder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Qualified (OpName 'ValueOpName))))))) :+: ((C1 ('MetaCons "BinaryNoParensBinder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binder) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binder) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binder))) :+: C1 ('MetaCons "ParensInBinder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binder))) :+: (C1 ('MetaCons "NamedBinder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binder))) :+: (C1 ('MetaCons "PositionedBinder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Comment]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binder))) :+: C1 ('MetaCons "TypedBinder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binder))))))

binderNames :: Binder -> [Ident]

Collect all names introduced in binders in an expression

binderNamesWithSpans :: Binder -> [(SourceSpan, Ident)]

isIrrefutable :: Binder -> Bool