Safe Haskell | None |
---|---|
Language | Haskell98 |
This module contains a single function that converts a RType -> Doc without using *any* simplifications.
Synopsis
- type OkRT c tv r = (TyConable c, PPrint tv, PPrint c, PPrint r, Reftable r, Reftable (RTProp c tv ()), Reftable (RTProp c tv r), Eq c, Eq tv, Hashable tv)
- rtypeDoc :: OkRT c tv r => Tidy -> RType c tv r -> Doc
- pprManyOrdered :: (PPrint a, Ord a) => Tidy -> String -> [a] -> [Doc]
- pprintLongList :: PPrint a => Tidy -> [a] -> Doc
- pprintSymbol :: Symbol -> Doc
- printWarning :: DynFlags -> Warning -> IO ()
- printError :: (Show e, PPrint e) => Tidy -> DynFlags -> TError e -> IO ()
- reportErrors :: (Show e, PPrint e) => Tidy -> [TError e] -> TcRn ()
Printable RTypes
type OkRT c tv r = (TyConable c, PPrint tv, PPrint c, PPrint r, Reftable r, Reftable (RTProp c tv ()), Reftable (RTProp c tv r), Eq c, Eq tv, Hashable tv) Source #
Printers
Printing Lists (TODO: move to fixpoint)
pprintLongList :: PPrint a => Tidy -> [a] -> Doc Source #
pprintSymbol :: Symbol -> Doc Source #
Printing diagnostics
printWarning :: DynFlags -> Warning -> IO () Source #
Printing Warnings ---------------------------------------------------------
printError :: (Show e, PPrint e) => Tidy -> DynFlags -> TError e -> IO () Source #
Pretty-printing errors ----------------------------------------------------
Reporting errors in the typechecking phase
reportErrors :: (Show e, PPrint e) => Tidy -> [TError e] -> TcRn () Source #
Similar in spirit to reportErrors
from the GHC API, but it uses our pretty-printer
and shim functions under the hood.