ghc-7.8.2: The GHC API

Safe HaskellNone
LanguageHaskell98

PatSyn

Contents

Synopsis

Main data types

mkPatSyn Source

Arguments

:: Name 
-> Bool

Is the pattern synonym declared infix?

-> [Var]

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

patSynId :: PatSyn -> Id 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?