| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | Haskell2010 | 
GHC.Types.CompleteMatch
Description
COMPLETE signature
Synopsis
- data CompleteMatch = CompleteMatch {}
- vanillaCompleteMatch :: UniqDSet ConLike -> CompleteMatch
- type CompleteMatches = [CompleteMatch]
- completeMatchAppliesAtType :: Type -> CompleteMatch -> Bool
Documentation
data CompleteMatch Source #
A list of conlikes which represents a complete pattern match.
 These arise from COMPLETE signatures.
 See also Note [Implementation of COMPLETE pragmas].
Constructors
| CompleteMatch | |
| Fields 
 | |
Instances
| Outputable CompleteMatch Source # | |
| Defined in GHC.Types.CompleteMatch Methods ppr :: CompleteMatch -> SDoc Source # | |
type CompleteMatches = [CompleteMatch] Source #
completeMatchAppliesAtType :: Type -> CompleteMatch -> Bool Source #