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 |
CASL.ToDoc
Contents
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
- 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
- isQuant :: FormExtension f => FORMULA f -> Bool
Documentation
printBASIC_SPEC :: FormExtension f => (b -> Doc) -> (s -> Doc) -> BASIC_SPEC b s f -> Doc Source #
printFormula :: FormExtension f => FORMULA f -> Doc Source #
printTheoryFormula :: FormExtension f => Named (FORMULA f) -> Doc Source #
print a formula as a sentence
pluralS_symb_list :: SYMB_KIND -> [a] -> String Source #
pluralS :: ListCheck a => a -> String Source #
pluralS checks nested lists via the class ListCheck to decide if a plural s should be appended.
class ListCheck a where Source #
a helper class for calculating the pluralS of e.g. ops
Minimal complete definition
Instances
ListCheck Id Source # | |
ListCheck Token Source # | |
ListCheck VAR_DECL Source # | |
ListCheck FplOpItem Source # | |
ListCheck FplSortItem Source # | |
ListCheck a => ListCheck [a] Source # | |
ListCheck a => ListCheck (Annoted a) Source # | an instance of ListCheck for Annoted stuff |
ListCheck (PRED_ITEM f) Source # | |
ListCheck (OP_ITEM f) Source # | |
ListCheck (SORT_ITEM f) Source # | |
recoverType :: [Constraint] -> [Annoted DATATYPE_DECL] Source #
printALTERNATIVE :: ALTERNATIVE -> Doc Source #
typeString :: SortsKind -> [Annoted DATATYPE_DECL] -> String Source #
printVarDecl :: VAR_DECL -> Doc Source #
printVarDeclL :: [VAR_DECL] -> [Doc] Source #
printVarDecls :: [VAR_DECL] -> Doc Source #
printOptArgDecls :: [VAR_DECL] -> Doc Source #
printSortItem :: FormExtension f => SORT_ITEM f -> Doc Source #
printOpItem :: FormExtension f => OP_ITEM f -> Doc Source #
printPredItem :: FormExtension f => PRED_ITEM f -> Doc Source #
printPredHead :: PRED_HEAD -> Doc Source #
printRecord :: FormExtension f => Record f Doc Doc Source #
printAnnotedBulletFormulas :: FormExtension f => [Annoted (FORMULA f)] -> Doc Source #
class (GetRange f, Pretty f) => FormExtension f where Source #
Instances
isQuant :: FormExtension f => FORMULA f -> Bool Source #
Orphan instances
Pretty SYMB_OR_MAP Source # | |
Pretty TYPE Source # | |
Pretty SYMB Source # | |
Pretty SYMB_KIND Source # | |
Pretty SYMB_MAP_ITEMS Source # | |
Pretty SYMB_ITEMS Source # | |
Pretty OP_SYMB Source # | |
Pretty PRED_SYMB Source # | |
Pretty VAR_DECL Source # | |
Pretty COMPONENTS Source # | |
Pretty ALTERNATIVE Source # | |
Pretty DATATYPE_DECL Source # | |
Pretty PRED_TYPE Source # | |
Pretty OP_HEAD Source # | |
Pretty OP_TYPE Source # | |
FormExtension f => Pretty (TERM f) Source # | |
FormExtension f => Pretty (FORMULA f) Source # | |
FormExtension f => Pretty (PRED_ITEM f) Source # | |
FormExtension f => Pretty (OP_ATTR f) Source # | |
FormExtension f => Pretty (OP_ITEM f) Source # | |
FormExtension f => Pretty (SORT_ITEM f) Source # | |
(Pretty s, FormExtension f) => Pretty (SIG_ITEMS s f) Source # | |
(Pretty b, Pretty s, FormExtension f) => Pretty (BASIC_ITEMS b s f) Source # | |
(Pretty b, Pretty s, FormExtension f) => Pretty (BASIC_SPEC b s f) Source # | |