Safe Haskell | None |
---|
- type DocH = MDoc HermitMark
- data Attr
- attrP :: AbsolutePathH -> DocH -> DocH
- newtype HTML = HTML String
- 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, PrettyOptions -> DocH -> String)]
- 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) => PrettyOptions -> PrettyH a -> Translate c HermitM a DocH
- data PrettyC = PrettyC {}
- initPrettyC :: PrettyOptions -> PrettyC
- liftPrettyC :: (ReadBindings c, ReadPath c Crumb) => PrettyOptions -> c -> PrettyC
- newtype TranslateDocH a = TranslateDocH {
- unTranslateDocH :: PrettyC -> PrettyH a -> TranslateH a DocH
- data TranslateCoreTCDocHBox = TranslateCoreTCDocHBox (TranslateDocH CoreTC)
- data PrettyOptions = PrettyOptions {}
- updateCoShowOption :: ShowOption -> PrettyOptions -> PrettyOptions
- updateTypeShowOption :: ShowOption -> PrettyOptions -> PrettyOptions
- updateWidthOption :: Int -> PrettyOptions -> PrettyOptions
- hlist :: [MDoc a] -> MDoc a
- vlist :: [MDoc a] -> MDoc a
Documents
attrP :: AbsolutePathH -> DocH -> DocHSource
Monoid HTML | |
RenderCode HTML | Use css to do the colors - - > type="text/css" - > .hermit-syntax { - > color: red; - > /style |
RenderSpecial HTML |
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, PrettyOptions -> DocH -> String)]Source
renderCode :: RenderCode a => PrettyOptions -> DocH -> aSource
class (RenderSpecial a, Monoid a) => RenderCode a whereSource
RenderCode HTML | Use css to do the colors - - > type="text/css" - > .hermit-syntax { - > color: red; - > /style |
RenderCode UnicodeTerminal |
class RenderSpecial a whereSource
renderSpecial :: SpecialSymbol -> aSource
Pretty Printer Traversals
liftPrettyH :: (ReadBindings c, ReadPath c Crumb) => PrettyOptions -> PrettyH a -> Translate c HermitM a DocHSource
Context for PrettyH translations.
liftPrettyC :: (ReadBindings c, ReadPath c Crumb) => PrettyOptions -> c -> PrettyCSource
newtype TranslateDocH a Source
TranslateDocH | |
|
Pretty Printer Options
data PrettyOptions Source
PrettyOptions | |
|