clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.

Safe HaskellSafe
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 :: Int -> [a] -> Doc Source

Instances

mkEsc :: Char -> Char -> ShowS Source

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