Moduleghc-9.14.1GHC2021

GHC.Types.CompleteMatch

COMPLETE signature

5 types
3 values

Packageghc-9.14.1
Exports8
LanguageGHC2021
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-9.14.1 · GHC.Types.CompleteMatch
Outputable con => Outputable (CompleteMatchX con)Defined in ghc-9.14.1 · 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

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.