Moduleghc-9.10.3GHC2021

GHC.Core.PatSyn

Main data types

4 declarations

datadata PatSyn

Pattern Synonym

See Note [Pattern synonym representation] See Note [Pattern synonym signature contexts]

Instances6Eq, Data, NamedThing, Outputable, Uniquable, OutputableBndr

typetype PatSynMatcher = (Name, Type, Bool)

typetype PatSynBuilder = Maybe (Name, Type, Bool)

valuemkPatSyn

:: Name
-> Bool
Is the pattern synonym declared infix?
-> ([InvisTVBinder], ThetaType)
Universally-quantified type variables and required dicts
-> ([InvisTVBinder], ThetaType)
Existentially-quantified type variables and provided dicts
-> [FRRType]
Original arguments
-> Type
Original result type
-> PatSynMatcher
Matcher
-> PatSynBuilder
Builder
-> [FieldLabel]
Names of fields for a record pattern synonym
-> PatSyn

Build a new pattern synonym

valuepatSynName :: PatSyn -> Name

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

valuepatSynArity :: PatSyn -> Arity

Arity of the pattern synonym

valuepatSynIsInfix :: PatSyn -> Bool

Should the PatSyn be presented infix?

valuepatSynResultType :: PatSyn -> Type

valueisVanillaPatSyn :: PatSyn -> Bool

Is this a 'vanilla' pattern synonym (no existentials, no provided constraints)?

valuepatSynArgs :: PatSyn -> [Type]

valuepatSynMatcher :: PatSyn -> PatSynMatcher

valuepatSynBuilder :: PatSyn -> PatSynBuilder

valuepatSynUnivTyVarBinders :: PatSyn -> [InvisTVBinder]

valuepatSynExTyVars :: PatSyn -> [TyVar]

valuepatSynExTyVarBinders :: PatSyn -> [InvisTVBinder]

valuepatSynSig

valuepatSynSigBndr

valuepatSynInstArgTys :: PatSyn -> [Type] -> [Type]

valuepatSynInstResTy :: PatSyn -> [Type] -> Type

valuepatSynFieldLabels :: PatSyn -> [FieldLabel]

valuepatSynFieldType :: PatSyn -> FieldLabelString -> Type

Extract the type for any given labelled field of the DataCon

valuepprPatSynType :: PatSyn -> SDoc

Print the type of a pattern synonym. The foralls are printed explicitly