| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.SMV.PrintSMV
Description
Pretty-printer for Language.
Synopsis
- printTree :: Print a => a -> String
- type Doc = [ShowS] -> [ShowS]
- doc :: ShowS -> Doc
- render :: Doc -> String
- parenth :: Doc -> Doc
- concatS :: [ShowS] -> ShowS
- concatD :: [Doc] -> Doc
- replicateS :: Int -> ShowS -> ShowS
- class Print a where
- printString :: String -> Doc
- mkEsc :: Char -> Char -> ShowS
- prPrec :: Int -> Int -> Doc -> Doc
Documentation
The printer class does the job.
Instances
| Print AdditiveOp Source # | |
Defined in Language.SMV.PrintSMV | |
| Print BoolConst Source # | |
| Print BoolSpec Source # | |
| Print Ident Source # | |
| Print MultOp Source # | |
| Print NumExpr Source # | |
| Print Number Source # | |
| Print Op1Name Source # | |
| Print OpOne Source # | |
| Print OpTwo Source # | |
| Print OrdOp Source # | |
| Print Integer Source # | |
| Print String Source # | |
| Print Char Source # | |
| Print Double Source # | |
| Print a => Print [a] Source # | |
printString :: String -> Doc Source #