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

Methods

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

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

Show a => Show (Binder a)

Methods

showsPrec :: Int -> Binder a -> ShowS

show :: Binder a -> String

showList :: [Binder a] -> ShowS

extractBinderAnn :: Binder a -> a