Safe Haskell | None |
---|
- type DocH = MDoc HermitMark
- data Attr
- attrP :: PathH -> DocH -> DocH
- coText :: String -> DocH
- tyText :: String -> DocH
- coercionColor :: DocH -> DocH
- idColor :: DocH -> DocH
- keywordColor :: DocH -> DocH
- markColor :: SyntaxForColor -> DocH -> DocH
- typeColor :: DocH -> DocH
- data ShowOption
- specialFont :: DocH -> DocH
- data SpecialSymbol
- data SyntaxForColor
- = KeywordColor
- | SyntaxColor
- | IdColor
- | CoercionColor
- | TypeColor
- | LitColor
- | WarningColor
- coreRenders :: [(String, Handle -> PrettyOptions -> DocH -> IO ())]
- renderCode :: RenderCode a => PrettyOptions -> DocH -> a
- class (RenderSpecial a, Monoid a) => RenderCode a where
- class RenderSpecial a where
- renderSpecial :: SpecialSymbol -> a
- newtype Unicode = Unicode Char
- type PrettyH a = Translate PrettyC HermitM a DocH
- liftPrettyH :: (ReadBindings c, ReadPath c Crumb) => PrettyH a -> Translate c HermitM a DocH
- data PrettyC
- initPrettyC :: PrettyC
- liftPrettyC :: (ReadBindings c, ReadPath c Crumb) => c -> PrettyC
- newtype TranslateDocH a = TranslateDocH {
- unTranslateDocH :: PrettyH a -> TranslateH a DocH
- data TranslateCoreTCDocHBox = TranslateCoreTCDocHBox (TranslateDocH CoreTC)
- data PrettyOptions = PrettyOptions {}
- updateTypeShowOption :: ShowOption -> PrettyOptions -> PrettyOptions
- updateCoShowOption :: ShowOption -> PrettyOptions -> PrettyOptions
- hlist :: [MDoc a] -> MDoc a
- vlist :: [MDoc a] -> MDoc a
Documents
Colors
coercionColor :: DocH -> DocHSource
keywordColor :: DocH -> DocHSource
markColor :: SyntaxForColor -> DocH -> DocHSource
data ShowOption Source
specialFont :: DocH -> DocHSource
data SpecialSymbol Source
data SyntaxForColor Source
Renderers
coreRenders :: [(String, Handle -> PrettyOptions -> DocH -> IO ())]Source
renderCode :: RenderCode a => PrettyOptions -> DocH -> aSource
class (RenderSpecial a, Monoid a) => RenderCode a whereSource
class RenderSpecial a whereSource
renderSpecial :: SpecialSymbol -> aSource
Pretty Printer Traversals
liftPrettyH :: (ReadBindings c, ReadPath c Crumb) => PrettyH a -> Translate c HermitM a DocHSource
Context for PrettyH translations.
liftPrettyC :: (ReadBindings c, ReadPath c Crumb) => c -> PrettyCSource
newtype TranslateDocH a Source
TranslateDocH | |
|
Pretty Printer Options
data PrettyOptions Source
PrettyOptions | |
|