Safe Haskell | None |
---|
- type DocH = MDoc HermitMark
- data HermitMark
- data Attr
- data SyntaxForColor
- = KeywordColor
- | SyntaxColor
- | VarColor
- | TypeColor
- | LitColor
- attr :: Attr -> DocH -> DocH
- attrP :: Path -> DocH -> DocH
- varColor :: DocH -> DocH
- keywordColor :: DocH -> DocH
- markColor :: SyntaxForColor -> DocH -> DocH
- specialFont :: DocH -> DocH
- type PrettyH a = TranslateH a DocH
- data PrettyOptions = PrettyOptions {}
- data ShowOption
- data SpecialSymbol
- class RenderSpecial a where
- renderSpecial :: SpecialSymbol -> a
- newtype ASCII = ASCII String
- newtype Unicode = Unicode Char
- newtype LaTeX = LaTeX String
- newtype HTML = HTML String
- renderSpecialFont :: RenderSpecial a => Char -> Maybe a
- specialFontMap :: Map Char SpecialSymbol
- class (RenderSpecial a, Monoid a) => RenderCode a where
- data PrettyState = PrettyState {}
- renderCode :: RenderCode a => PrettyOptions -> DocH -> a
- ghcCorePrettyH :: PrettyH Core
- coreRenders :: [(String, Handle -> PrettyOptions -> DocH -> IO ())]
- latexVerbatim :: String -> LaTeX -> LaTeX
- latexToString :: LaTeX -> String
- data DebugPretty = DebugPretty String
Documentation
type DocH = MDoc HermitMarkSource
keywordColor :: DocH -> DocHSource
markColor :: SyntaxForColor -> DocH -> DocHSource
specialFont :: DocH -> DocHSource
type PrettyH a = TranslateH a DocHSource
data PrettyOptions Source
PrettyOptions | |
|
data ShowOption Source
data SpecialSymbol Source
class RenderSpecial a whereSource
renderSpecial :: SpecialSymbol -> aSource
Monoid HTML | |
RenderCode HTML | Use css to do the colors - - > type="text/css" - > .hermit-syntax { - > color: red; - > /style |
RenderSpecial HTML |
renderSpecialFont :: RenderSpecial a => Char -> Maybe aSource
class (RenderSpecial a, Monoid a) => RenderCode a whereSource
rDoHighlight :: Bool -> [Attr] -> aSource
RenderCode DebugPretty | |
RenderCode HTML | Use css to do the colors - - > type="text/css" - > .hermit-syntax { - > color: red; - > /style |
RenderCode LaTeX | |
RenderCode ASCII | |
RenderCode UnicodeTerminal |
renderCode :: RenderCode a => PrettyOptions -> DocH -> aSource
Does a top level program should function names, or complete listings?
coreRenders :: [(String, Handle -> PrettyOptions -> DocH -> IO ())]Source
latexVerbatim :: String -> LaTeX -> LaTeXSource
latexToString :: LaTeX -> StringSource