ogma-language-smv-1.14.0: Ogma: Runtime Monitor translator: SMV Language Frontend

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
  - prt :: Int -> a -> Doc
- printString :: String -> Doc
- mkEsc :: Char -> Char -> ShowS
- prPrec :: Int -> Int -> Doc -> Doc

# Documentation

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

The top-level printing method.

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 #

The printer class does the job.

Methods

prt :: Int -> a -> Doc Source #

#### Instances

Instances details

Print AdditiveOp Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> AdditiveOp -> Doc Source #
Print BoolConst Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> BoolConst -> Doc Source #
Print BoolSpec Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> BoolSpec -> Doc Source #
Print Ident Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> Ident -> Doc Source #
Print MultOp Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> MultOp -> Doc Source #
Print NumExpr Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> NumExpr -> Doc Source #
Print Number Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> Number -> Doc Source #
Print Op1Name Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> Op1Name -> Doc Source #
Print OpOne Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> OpOne -> Doc Source #
Print OpTwo Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> OpTwo -> Doc Source #
Print OrdOp Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> OrdOp -> Doc Source #
Print Integer Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> Integer -> Doc Source #
Print String Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> String -> Doc Source #
Print Char Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> Char -> Doc Source #
Print Double Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> Double -> Doc Source #
Print a => Print [a] Source # |
Instance details Defined in Language.SMV.PrintSMV Methods prt :: Int -> [a] -> Doc Source #

printString :: String -> Doc Source #

mkEsc :: Char -> Char -> ShowS Source #

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