PAKCS
Exported names: Imported modules:

Module Search.CaseMap

Summary of exported operations:

isCovered :: (Show a, ContextKey a, CaseMap b) => a -> (b a) CoverInfo -> Bool   
Check if all branches of a case expression are covered
covered :: (Show a, ContextKey a, CaseMap b) => a -> (b a) CoverInfo -> CoveredCs   
Get the covered constructors / constraints of a case expression
cover :: (ContextKey a, CaseMap b) => a -> BranchNr -> CoveredCs -> (b a) CoverInfo -> (b a) CoverInfo   
Cover the given branch for a case expression in a case map
coverAll :: (ContextKey a, CaseMap b) => a -> (b a) CoverInfo -> (b a) CoverInfo   
Cover all branches of a case expression

Exported datatypes:

ContextMap

A map of maps

Constructors:

  • CM :: (FM Int (FM a b)) -> ContextMap a b

    Fields:

    • cm :: (FM Int (FM a b))

Exported operations:

isCovered :: (Show a, ContextKey a, CaseMap b) => a -> (b a) CoverInfo -> Bool   

Check if all branches of a case expression are covered

covered :: (Show a, ContextKey a, CaseMap b) => a -> (b a) CoverInfo -> CoveredCs   

Get the covered constructors / constraints of a case expression

cover :: (ContextKey a, CaseMap b) => a -> BranchNr -> CoveredCs -> (b a) CoverInfo -> (b a) CoverInfo   

Cover the given branch for a case expression in a case map

coverAll :: (ContextKey a, CaseMap b) => a -> (b a) CoverInfo -> (b a) CoverInfo   

Cover all branches of a case expression