Safe Haskell	None
Language	Haskell2010

Language.PureScript.CoreFn.Binders

Description

The core functional representation for binders

Synopsis

Documentation

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 #
Instance details Defined in Language.PureScript.CoreFn.Binders Methods fmap :: (a -> b) -> Binder a -> Binder b # (<$) :: a -> Binder b -> Binder a #
Show a => Show (Binder a) Source #
Instance details Defined in Language.PureScript.CoreFn.Binders Methods showsPrec :: Int -> Binder a -> ShowS # show :: Binder a -> String # showList :: [Binder a] -> ShowS #