Moduleghc-9.10.3GHC2021

GHC.Types.CompleteMatch

COMPLETE signature

2 types
2 values

Packageghc-9.10.3
Exports4
LanguageGHC2021
LicenceBSD-3-Clause
SourceCompleteMatch.hs

datadata CompleteMatch

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 ConLike
  The set of ConLike values
- cmResultTyCon :: Maybe TyCon
  The optional, concrete result TyCon the set applies to

Instances1Outputable

Outputable CompleteMatchDefined in ghc-9.10.3 · GHC.Types.CompleteMatch

valuevanillaCompleteMatch :: UniqDSet ConLike -> CompleteMatch

typetype CompleteMatches = [CompleteMatch]

valuecompleteMatchAppliesAtType :: Type -> CompleteMatch -> Bool