Coverage.Internal

type Name

type Binders lit

data Binder lit

data Environment

makeEnv

defaultEnv

data Guard

type Alternative lit

data Redundant a

data Check lit

makeCheck

applyUncovered

applyRedundant

wildcard

genericMerge

missingSingle

initialize

missingMultiple

missingCases

missingAlternative