Coverage checking action. Can be composed leftToRight or topToBottom.
Constructors
CAunCA :: Nablas -> DsM (CheckResult a)
Instances1Functor
Functor CheckActionDefined in ghc-9.10.3 · GHC.HsToCore.Pmc.Check
Moduleghc-9.10.3GHC2021
GHC.HsToCore.Pmc.Check
Coverage checking step of the Lower Your Guards paper.
Coverage check guard trees (like PmMatch Pre) to get a
CheckResult, containing
The set of uncovered values, cr_uncov
And an annotated tree variant (like
PmMatch Post) that captures redundancy and inaccessibility information as RedSets annotations
Basically the UA function from Section 5.1, which is an optimised interleaving of U and A from Section 3.2 (Figure 5). The Normalised Refinement Types Nablas are maintained in GHC.HsToCore.Pmc.Solver.
- 1 type
- 5 values
- Packageghc-9.10.3
- Exports6
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceCheck.hs