Language.Clafer.Generator.Html

Generates HTML and plain text rendering of a Clafer model.

Documentation

genHtml :: Module -> IModule -> String

Generate the model as HTML document

genText :: Module -> IModule -> String

Generate the model as plain text | This is used by the graph generator for tooltips

genTooltip :: Module -> Map Span [Ir] -> String

printModule :: Module -> Map Span [Ir] -> Bool -> String

printDeclaration :: Declaration -> Int -> Map Span [Ir] -> Bool -> [(Span, String)] -> String

printDecl :: Decl -> Int -> Map Span [Ir] -> Bool -> [(Span, String)] -> String

traceAstModule :: Module -> Map Span [Ast]

traceIrModule :: IModule -> Map Span [Ir]

cleanOutput :: String -> String

revertLayout :: String -> String

printComment :: Span -> [(Span, String)] -> ([(Span, String)], String)

printPreComment :: Span -> [(Span, String)] -> ([(Span, String)], String)

printStandaloneComment :: String -> String

printInlineComment :: String -> String

highlightErrors :: String -> [ClaferErr] -> String