ghc-9.12: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Types.CompleteMatch

Description

COMPLETE signature

Synopsis

Documentation

data CompleteMatchX con 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

Instances details
Outputable con => Outputable (CompleteMatchX con) Source # 
Instance details

Defined in GHC.Types.CompleteMatch

Methods

ppr :: CompleteMatchX con -> SDoc Source #

Eq (CompleteMatchX con) Source # 
Instance details

Defined in GHC.Types.CompleteMatch

completeMatchAppliesAtType :: 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.