ghc-7.8.4: The GHC API

Safe HaskellNone
LanguageHaskell98

PatSyn

Contents

Synopsis

Main data types

data PatSyn Source

A pattern synonym See Note [Pattern synonym representation]

mkPatSyn Source

Arguments

:: Name 
-> Bool

Is the pattern synonym declared infix?

-> [Type]

Original arguments

-> [TyVar]

Universially-quantified type variables

-> [TyVar]

Existentially-quantified type variables

-> ThetaType

Wanted dicts

-> ThetaType

Given dicts

-> Type

Original result type

-> Id

Name of matcher

-> Maybe Id

Name of wrapper

-> PatSyn 

Build a new pattern synonym

Type deconstruction

patSynName :: PatSyn -> Name Source

The Name of the PatSyn, giving it a unique, rooted identification

patSynArity :: PatSyn -> Arity Source

Arity of the pattern synonym

patSynIsInfix :: PatSyn -> Bool Source

Should the PatSyn be presented infix?