Language.HERMIT.PrettyPrinter.Common

Documentation

type DocH = MDoc HermitMark

newtype TranslateDocH a

Constructors

TranslateDocH

Fields

unTranslateDocH :: PrettyH a -> TranslateH a DocH

Instances

Extern (TranslateDocH Core)

data TranslateCoreDocHBox

Constructors

TranslateCoreDocHBox (TranslateDocH Core)

Instances

Typeable TranslateCoreDocHBox

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

IdColor

CoercionColor

TypeColor

LitColor

Instances

Show SyntaxForColor

attr :: Attr -> DocH -> DocH

attrP :: Path -> DocH -> DocH

idColor :: DocH -> DocH

typeColor :: DocH -> DocH

coercionColor :: 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_coercions :: 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

Kind

Instances

Eq ShowOption

Ord ShowOption

Read ShowOption

Show ShowOption

updateTypeShowOption :: ShowOption -> PrettyOptions -> PrettyOptions

updateCoShowOption :: ShowOption -> PrettyOptions -> PrettyOptions

data SpecialSymbol

Constructors

LambdaSymbol

TypeOfSymbol

RightArrowSymbol

CastSymbol

CoercionSymbol

CoercionBindSymbol

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

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

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

listify :: (MDoc a -> MDoc a -> MDoc a) -> [MDoc a] -> MDoc a

vlist :: [MDoc a] -> MDoc a

like vcat and hcat, only make the list syntax explicit

hlist :: [MDoc a] -> MDoc a

like vcat and hcat, only make the list syntax explicit