Precedence level.
ModuleChasingBottoms-1.3.1.17Haskell2010
Test.ChasingBottoms.ApproxShow
Functions for converting arbitrary (non-function, partial, possibly infinite) values into strings.
- 1 type
- 1 class
- PackageChasingBottoms-1.3.1.17
- Exports2
- LanguageHaskell2010
- LicenceMIT
- SourceApproxShow.hs
Methods
approxShowsPrec :: Nat -> Prec -> a -> ShowSThe Data instance of ApproxShow makes sure that
approxShowsPrec nbehaves (more or less) like the derived version of showsPrec, 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 -> ShowSapproxShow :: Nat -> a -> String
Instances1ApproxShow
Data a => ApproxShow aDefined in ChasingBottoms-1.3.1.17 · Test.ChasingBottoms.ApproxShow