|
Test.ChasingBottoms.ApproxShow | Portability | non-portable (GHC-specific) | Stability | experimental | Maintainer | http://www.cs.chalmers.se/~nad/ |
|
|
|
|
|
Description |
Functions for converting arbitrary (non-function, partial,
possibly infinite) values into strings.
|
|
Synopsis |
|
|
|
Documentation |
|
type Prec = Int |
Precedence level.
|
|
class ApproxShow a where |
| Methods | approxShowsPrec :: Nat -> Prec -> a -> ShowS | The Data instance of ApproxShow makes sure that
approxShowsPrec n behaves (more or less) like the derived
version of showsPrec, with the following differences:
- After n levels 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 -> ShowS | | approxShow :: Nat -> a -> String |
| | Instances | |
|
|
Produced by Haddock version 0.7 |