clafer-0.3.7: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Safe HaskellNone

Language.Clafer.Generator.Html

Description

Generates HTML and plain text rendering of a Clafer model.

Synopsis

Documentation

genHtml :: Module -> IModule -> StringSource

Generate the model as HTML document

genText :: Module -> IModule -> StringSource

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

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

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

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

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

cleanOutput :: String -> StringSource

revertLayout :: String -> StringSource

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

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

printStandaloneComment :: String -> StringSource

printInlineComment :: String -> StringSource

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