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

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.Generator.Html

Description

Generates HTML and plain text rendering of a Clafer model.

Synopsis

Documentation

genHtml :: Module -> IModule -> String Source

Generate the model as HTML document

genText :: Module -> IModule -> String Source

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

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