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

Safe HaskellSafe
LanguageHaskell2010

Language.Clafer.Front.PrintClafer

Documentation

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

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