| Portability | non-portable (GHC-specific) |
|---|---|
| Stability | experimental |
| Maintainer | http://www.cse.chalmers.se/~nad/ |
Test.ChasingBottoms.ApproxShow
Description
Functions for converting arbitrary (non-function, partial, possibly infinite) values into strings.
- type Prec = Int
- class ApproxShow a where
- approxShowsPrec :: Nat -> Prec -> a -> ShowS
- approxShows :: Nat -> a -> ShowS
- approxShow :: Nat -> a -> String
Documentation
class ApproxShow a whereSource
Methods
approxShowsPrec :: Nat -> Prec -> a -> ShowSSource
The Data instance of ApproxShow makes sure that
approxShowsPrec nshowsPrec, with the following differences:
- After
nlevels of descent into a term the output is replaced by"_". - All detectable occurences of bottoms are replaced by
"_|_". - Non-bottom functions are displayed as
"<function /= _|_>".
approxShows :: Nat -> a -> ShowSSource
approxShow :: Nat -> a -> StringSource
Instances
| Data a => ApproxShow a |