HERMIT.PrettyPrinter.Common

Documents

type DocH = MDoc HermitMark

data Attr

Constructors

BndrAttr AbsolutePathH

Color SyntaxForColor

PathAttr AbsolutePathH

SpecialFont

Instances

Eq Attr

Show Attr

attrP :: AbsolutePathH -> DocH -> DocH

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

Colors

coercionColor :: DocH -> DocH

idColor :: DocH -> DocH

keywordColor :: DocH -> DocH

markBindingSite :: Var -> PrettyC -> DocH -> DocH

markColor :: SyntaxForColor -> DocH -> DocH

typeColor :: DocH -> DocH

data ShowOption

Constructors

Show

Abstract

Omit

Kind

Instances

Eq ShowOption

Ord ShowOption

Read ShowOption

Show ShowOption

specialFont :: DocH -> DocH

data SpecialSymbol

Constructors

LambdaSymbol

TypeOfSymbol

RightArrowSymbol

CastSymbol

CoercionSymbol

CoercionBindSymbol

TypeSymbol

TypeBindSymbol

ForallSymbol

Instances

Bounded SpecialSymbol

Enum SpecialSymbol

Eq SpecialSymbol

Ord SpecialSymbol

Show SpecialSymbol

data SyntaxForColor

Constructors

KeywordColor

SyntaxColor

IdColor

CoercionColor

TypeColor

LitColor

WarningColor

Instances

Eq SyntaxForColor

Show SyntaxForColor

Renderers

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

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

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

Methods

rStart :: a

rEnd :: a

rDoHighlight

Arguments

:: Maybe Attr

Attr just popped, if any

-> [Attr]

Attr stack

-> a

rPutStr :: String -> a

Instances

RenderCode HTML

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

RenderCode UnicodeTerminal

class RenderSpecial a where

Methods

renderSpecial :: SpecialSymbol -> a

Instances

RenderSpecial Char

RenderSpecial HTML

RenderSpecial Unicode

RenderSpecial UnicodeTerminal

newtype Unicode

Constructors

Unicode Char

Instances

RenderSpecial Unicode

Pretty Printer Traversals

type PrettyH a = Translate PrettyC HermitM a DocH

liftPrettyH :: (ReadBindings c, ReadPath c Crumb) => PrettyOptions -> PrettyH a -> Translate c HermitM a DocH

data PrettyC

Context for PrettyH translations.

Constructors

PrettyC

Fields

prettyC_path :: AbsolutePathH

prettyC_vars :: Map Var AbsolutePathH

prettyC_options :: PrettyOptions

Instances

BoundVars PrettyC

AddBindings PrettyC

ExtendPath PrettyC Crumb

ReadPath PrettyC Crumb

initPrettyC :: PrettyOptions -> PrettyC

liftPrettyC :: (ReadBindings c, ReadPath c Crumb) => PrettyOptions -> c -> PrettyC

newtype TranslateDocH a

Constructors

TranslateDocH

Fields

unTranslateDocH :: PrettyC -> PrettyH a -> TranslateH a DocH

Instances

Extern (TranslateDocH CoreTC)

data TranslateCoreTCDocHBox

Constructors

TranslateCoreTCDocHBox (TranslateDocH CoreTC)

Instances

Typeable TranslateCoreTCDocHBox

Pretty Printer Options

data PrettyOptions

Constructors

PrettyOptions

Fields

po_fullyQualified :: Bool

Do you show fully qualified names?

po_exprTypes :: ShowOption

Do you hide types, and type arguments, as ?

po_coercions :: ShowOption

Do you hide coercions?

po_typesForBinders :: ShowOption

Do you give the types for all bindings?

po_focus :: Maybe PathH

This region should be highlighted (is the current focus)

po_depth :: Maybe Int

below this depth are ..., Nothing => infinite

po_notes :: Bool

notes might be added to output

po_ribbon :: Float

po_width :: Int

Instances

Show PrettyOptions

Default PrettyOptions

updateCoShowOption :: ShowOption -> PrettyOptions -> PrettyOptions

updateTypeShowOption :: ShowOption -> PrettyOptions -> PrettyOptions

updateWidthOption :: Int -> PrettyOptions -> PrettyOptions

Utilities

hlist :: [MDoc a] -> MDoc a

like vcat and hcat, only make the list syntax explicit

vlist :: [MDoc a] -> MDoc a

like vcat and hcat, only make the list syntax explicit