| Copyright | (c) Christian Maeder and Uni Bremen 2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
CASL.ToDoc
Description
Pretty printing data types of BASIC_SPEC
- printBASIC_SPEC :: FormExtension f => (b -> Doc) -> (s -> Doc) -> BASIC_SPEC b s f -> Doc
- printFormula :: FormExtension f => FORMULA f -> Doc
- printTerm :: FormExtension f => TERM f -> Doc
- printTheoryFormula :: FormExtension f => Named (FORMULA f) -> Doc
- pluralS_symb_list :: SYMB_KIND -> [a] -> String
- pluralS :: ListCheck a => a -> String
- appendS :: [a] -> String
- isJunct :: FORMULA f -> Bool
- printInfix :: Bool -> ([Doc] -> Doc) -> Doc -> Doc -> Doc -> Doc
- class ListCheck a where
- innerList :: a -> [()]
- recoverType :: [Constraint] -> [Annoted DATATYPE_DECL]
- printALTERNATIVE :: ALTERNATIVE -> Doc
- typeString :: SortsKind -> [Annoted DATATYPE_DECL] -> String
- printVarDecl :: VAR_DECL -> Doc
- printVarDeclL :: [VAR_DECL] -> [Doc]
- printVarDecls :: [VAR_DECL] -> Doc
- printOptArgDecls :: [VAR_DECL] -> Doc
- printSortItem :: FormExtension f => SORT_ITEM f -> Doc
- printOpItem :: FormExtension f => OP_ITEM f -> Doc
- printPredItem :: FormExtension f => PRED_ITEM f -> Doc
- printPredHead :: PRED_HEAD -> Doc
- printRecord :: FormExtension f => Record f Doc Doc
- printAttr :: FormExtension f => OP_ATTR f -> Doc
- printAnnotedBulletFormulas :: FormExtension f => [Annoted (FORMULA f)] -> Doc
- class (GetRange f, Pretty f) => FormExtension f where
- isQuantifierLike :: f -> Bool
- prefixExt :: f -> Doc -> Doc
- isQuant :: FormExtension f => FORMULA f -> Bool
Documentation
printBASIC_SPEC :: FormExtension f => (b -> Doc) -> (s -> Doc) -> BASIC_SPEC b s f -> Doc
printFormula :: FormExtension f => FORMULA f -> Doc
printTerm :: FormExtension f => TERM f -> Doc
printTheoryFormula :: FormExtension f => Named (FORMULA f) -> Doc
print a formula as a sentence
pluralS_symb_list :: SYMB_KIND -> [a] -> String
pluralS :: ListCheck a => a -> String
pluralS checks nested lists via the class ListCheck to decide if a plural s should be appended.
class ListCheck a where
a helper class for calculating the pluralS of e.g. ops
Methods
innerList :: a -> [()]
recoverType :: [Constraint] -> [Annoted DATATYPE_DECL]
printALTERNATIVE :: ALTERNATIVE -> Doc
typeString :: SortsKind -> [Annoted DATATYPE_DECL] -> String
printVarDecl :: VAR_DECL -> Doc
printVarDeclL :: [VAR_DECL] -> [Doc]
printVarDecls :: [VAR_DECL] -> Doc
printOptArgDecls :: [VAR_DECL] -> Doc
printSortItem :: FormExtension f => SORT_ITEM f -> Doc
printOpItem :: FormExtension f => OP_ITEM f -> Doc
printPredItem :: FormExtension f => PRED_ITEM f -> Doc
printPredHead :: PRED_HEAD -> Doc
printRecord :: FormExtension f => Record f Doc Doc
printAttr :: FormExtension f => OP_ATTR f -> Doc
printAnnotedBulletFormulas :: FormExtension f => [Annoted (FORMULA f)] -> Doc
class (GetRange f, Pretty f) => FormExtension f where
Minimal complete definition
Nothing
isQuant :: FormExtension f => FORMULA f -> Bool