Safe Haskell | None |
---|---|
Language | Haskell2010 |
Provides factilities for pretty-printing PmExpr
s in a way approriate for
user facing pattern match warnings.
Synopsis
- pprUncovered :: ([PmExpr], PmRefutEnv) -> SDoc
Documentation
pprUncovered :: ([PmExpr], PmRefutEnv) -> SDoc Source #
Pretty-print the guts of an uncovered value vector abstraction, i.e., its components and refutable shapes associated to any mentioned variables.
Example for @([Just p, q], [p :-> [3,4], q :-> [0,5]]):
(Just p) q where p is not one of {3, 4} q is not one of {0, 5}