Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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].
CompleteMatch | |
|
Instances
Outputable CompleteMatch # | |
Defined in GHC.Types.CompleteMatch ppr :: CompleteMatch -> SDoc Source # |
type CompleteMatches = [CompleteMatch] Source #
completeMatchAppliesAtType :: Type -> CompleteMatch -> Bool Source #