hermit-0.1.2.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone

Language.HERMIT.PrettyPrinter

Contents

Synopsis

Documentation

data HermitMark Source

Constructors

PushAttr Attr 
PopAttr 

Instances

newtype Unicode Source

Constructors

Unicode Char 

newtype HTML Source

Constructors

HTML String 

Instances

Monoid HTML 
RenderCode HTML

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

RenderSpecial HTML 

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

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 

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