purescript-0.12.0: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell2010

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 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 Source # 

Methods

fmap :: (a -> b) -> Binder a -> Binder b #

(<$) :: a -> Binder b -> Binder a #

Show a => Show (Binder a) Source # 

Methods

showsPrec :: Int -> Binder a -> ShowS #

show :: Binder a -> String #

showList :: [Binder a] -> ShowS #

extractBinderAnn :: Binder a -> a Source #