Moduleghc-10.0.0.20260917GHC2024

GHC.Types.CompleteMatch

COMPLETE signature

Synopsis

data CompleteMatchX
type CompleteMatch
type CompleteMatches
type DsCompleteMatch
type DsCompleteMatches
value mkCompleteMatch
value vanillaCompleteMatch
value completeMatchAppliesAtType

Packageghc-10.0.0.20260917
Exports8
LanguageGHC2024
LicenceBSD-3-Clause
SourceCompleteMatch.hs

datadata CompleteMatchX con

A list of conlikes which represents a complete pattern match. These arise from COMPLETE signatures. See also Note [Implementation of COMPLETE pragmas].

Constructors

CompleteMatch
- cmConLikes :: UniqDSet con
  The set of constructor names
- cmResultTyCon :: Maybe Name
  The optional, concrete result TyCon name the set applies to

Instances2Eq, Outputable

Eq (CompleteMatchX con)Defined in ghc-10.0.0.20260917 · GHC.Types.CompleteMatch
Outputable con => Outputable (CompleteMatchX con)Defined in ghc-10.0.0.20260917 · GHC.Types.CompleteMatch

typetype CompleteMatch = CompleteMatchX Name

typetype CompleteMatches = [CompleteMatch]

typetype DsCompleteMatch = CompleteMatchX ConLike

typetype DsCompleteMatches = [DsCompleteMatch]

valuemkCompleteMatch :: UniqDSet con -> Maybe Name -> CompleteMatchX con

valuevanillaCompleteMatch :: UniqDSet con -> CompleteMatchX con

valuecompleteMatchAppliesAtType :: Type -> CompleteMatchX con -> Bool

Source#

Does this COMPLETE set apply at this type?

See the part about "result type constructors" in Note [Implementation of COMPLETE pragmas] in GHC.HsToCore.Pmc.Solver.