Safe Haskell | Safe-Inferred |
---|---|
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 String Source # | |
Print Integer Source # | |
Print Char Source # | |
Print Double Source # | |
Print a => Print [a] Source # | |
printString :: String -> Doc Source #