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

Safe HaskellSafe-Inferred

Language.Clafer.Front.Printclafer

Documentation

printTree :: Print a => a -> StringSource

type Doc = [ShowS] -> [ShowS]Source

doc :: ShowS -> DocSource

render :: Doc -> StringSource

parenth :: Doc -> DocSource

concatS :: [ShowS] -> ShowSSource

concatD :: [Doc] -> DocSource

replicateS :: Int -> ShowS -> ShowSSource

class Print a whereSource

Methods

prt :: Int -> a -> DocSource

prtList :: [a] -> DocSource

Instances

mkEsc :: Char -> Char -> ShowSSource

prPrec :: Int -> Int -> Doc -> DocSource