Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type DocH = MDoc HermitMark
- data Attr
- attrP :: AbsolutePathH -> DocH -> DocH
- newtype HTML = HTML String
- newtype ASCII = ASCII String
- coercionColor :: DocH -> DocH
- idColor :: DocH -> DocH
- keywordColor :: DocH -> DocH
- syntaxColor :: DocH -> DocH
- markBindingSite :: Var -> PrettyC -> DocH -> DocH
- markColor :: SyntaxForColor -> DocH -> DocH
- typeColor :: DocH -> DocH
- data ShowOption
- specialFont :: DocH -> DocH
- data SpecialSymbol
- data SyntaxForColor
- 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
- data PrettyPrinter = PP {}
- type PrettyH a = Transform PrettyC HermitM a DocH
- data PrettyHLCoreBox = PrettyHLCoreBox (PrettyH LCore)
- data PrettyHLCoreTCBox = PrettyHLCoreTCBox (PrettyH LCoreTC)
- data TransformLCoreDocHBox = TransformLCoreDocHBox (TransformH LCore DocH)
- data TransformLCoreTCDocHBox = TransformLCoreTCDocHBox (TransformH LCoreTC DocH)
- liftPrettyH :: (ReadBindings c, ReadPath c Crumb) => PrettyOptions -> Transform PrettyC HermitM a b -> Transform c HermitM a b
- data PrettyC = PrettyC {}
- initPrettyC :: PrettyOptions -> PrettyC
- liftPrettyC :: (ReadBindings c, ReadPath c Crumb) => PrettyOptions -> c -> PrettyC
- data PrettyOptions = PrettyOptions {}
- updateCoShowOption :: ShowOption -> PrettyOptions -> PrettyOptions
- updateTypeShowOption :: ShowOption -> PrettyOptions -> PrettyOptions
- updateWidthOption :: Int -> PrettyOptions -> PrettyOptions
- pad :: MDoc a -> MDoc a
- hlist :: [MDoc a] -> MDoc a
- vlist :: [MDoc a] -> MDoc a
- showRole :: Role -> String
Documents
attrP :: AbsolutePathH -> DocH -> DocH Source
Monoid HTML | |
RenderCode HTML | Use css to do the colors - - > type="text/css" - > .hermit-syntax { - > color: red; - > /style |
RenderSpecial HTML |
Colors
coercionColor :: DocH -> DocH Source
keywordColor :: DocH -> DocH Source
syntaxColor :: DocH -> DocH Source
markColor :: SyntaxForColor -> DocH -> DocH Source
data ShowOption Source
specialFont :: DocH -> DocH Source
data SpecialSymbol Source
data SyntaxForColor Source
Renderers
coreRenders :: [(String, PrettyOptions -> DocH -> String)] Source
renderCode :: RenderCode a => PrettyOptions -> DocH -> a Source
class (RenderSpecial a, Monoid a) => RenderCode a where Source
RenderCode HTML | Use css to do the colors - - > type="text/css" - > .hermit-syntax { - > color: red; - > /style |
RenderCode ASCII | |
RenderCode UnicodeTerminal |
class RenderSpecial a where Source
renderSpecial :: SpecialSymbol -> a Source
Pretty Printer Traversals
data PrettyPrinter Source
liftPrettyH :: (ReadBindings c, ReadPath c Crumb) => PrettyOptions -> Transform PrettyC HermitM a b -> Transform c HermitM a b Source
Context for PrettyH translations.
liftPrettyC :: (ReadBindings c, ReadPath c Crumb) => PrettyOptions -> c -> PrettyC Source
Pretty Printer Options
data PrettyOptions Source
PrettyOptions | |
|
updateWidthOption :: Int -> PrettyOptions -> PrettyOptions Source