Language.HERMIT.PrettyPrinter

Documentation

type DocH = MDoc HermitMark

data HermitMark

Constructors

PushAttr Attr

PopAttr

Instances

Show HermitMark

data Attr

Constructors

PathAttr Path

Color SyntaxForColor

SpecialFont

Instances

Show Attr

data SyntaxForColor

Constructors

KeywordColor

SyntaxColor

VarColor

TypeColor

LitColor

Instances

Show SyntaxForColor

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

Constructors

PrettyOptions

Fields

po_fullyQualified :: Bool

po_exprTypes :: ShowOption

po_typesForBinders :: ShowOption

po_highlight :: Maybe Path

po_depth :: Maybe Int

po_notes :: Bool

notes might be added to output

po_ribbon :: Float

po_width :: Int

Instances

Show PrettyOptions

Default PrettyOptions

data ShowOption

Constructors

Show

Abstract

Omit

Instances

Eq ShowOption

Ord ShowOption

Read ShowOption

Show ShowOption

data SpecialSymbol

Constructors

LambdaSymbol

TypeOfSymbol

RightArrowSymbol

TypeSymbol

TypeBindSymbol

ForallSymbol

Instances

Bounded SpecialSymbol

Enum SpecialSymbol

Eq SpecialSymbol

Ord SpecialSymbol

Show SpecialSymbol

class RenderSpecial a where

Methods

renderSpecial :: SpecialSymbol -> a

Instances

RenderSpecial Char

RenderSpecial DebugPretty

RenderSpecial HTML

RenderSpecial LaTeX

RenderSpecial Unicode

RenderSpecial ASCII

RenderSpecial UnicodeTerminal

newtype ASCII

Constructors

ASCII String

Instances

Monoid ASCII

RenderCode ASCII

RenderSpecial ASCII

newtype Unicode

Constructors

Unicode Char

Instances

RenderSpecial Unicode

newtype LaTeX

Constructors

LaTeX String

Instances

Monoid LaTeX

RenderCode LaTeX

RenderSpecial LaTeX

newtype HTML

Constructors

HTML String

Instances

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 a

specialFontMap :: Map Char SpecialSymbol

class (RenderSpecial a, Monoid a) => RenderCode a where

Methods

rStart :: a

rEnd :: a

rDoHighlight :: Bool -> [Attr] -> a

rPutStr :: String -> a

Instances

RenderCode DebugPretty

RenderCode HTML

Use css to do the colors - - > type="text/css" - > .hermit-syntax { - > color: red; - > /style

RenderCode LaTeX

RenderCode ASCII

RenderCode UnicodeTerminal

data PrettyState

Constructors

PrettyState

Fields

prettyPath :: Path

prettyColor :: Maybe SyntaxForColor

renderCode :: RenderCode a => PrettyOptions -> DocH -> a

Does a top level program should function names, or complete listings?

ghcCorePrettyH :: PrettyH Core

coreRenders :: [(String, Handle -> PrettyOptions -> DocH -> IO ())]

latexVerbatim :: String -> LaTeX -> LaTeX

latexToString :: LaTeX -> String

data DebugPretty

Constructors

DebugPretty String

Instances

Monoid DebugPretty

RenderCode DebugPretty

RenderSpecial DebugPretty