| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.Generator.Html
Description
Generates HTML and plain text rendering of a Clafer model.
- genHtml :: Module -> IModule -> String
- genText :: Module -> IModule -> String
- 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
Documentation
genText :: Module -> IModule -> String Source
Generate the model as plain text | This is used by the graph generator for tooltips
printDeclaration :: Declaration -> Int -> Map Span [Ir] -> Bool -> [(Span, String)] -> String Source
cleanOutput :: String -> String Source
revertLayout :: String -> String Source
printInlineComment :: String -> String Source
highlightErrors :: String -> [ClaferErr] -> String Source