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

Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Clafer.Front.PrintClafer

Documentation

printTree :: Print a => a -> String Source

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

doc :: ShowS -> Doc Source

render :: Doc -> String Source

parenth :: Doc -> Doc Source

concatS :: [ShowS] -> ShowS Source

concatD :: [Doc] -> Doc Source

replicateS :: Int -> ShowS -> ShowS Source

class Print a where Source

Minimal complete definition

prt

Methods

prt :: Int -> a -> Doc Source

prtList :: [a] -> Doc Source

Instances

mkEsc :: Char -> Char -> ShowS Source

prPrec :: Int -> Int -> Doc -> Doc Source