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

Orphan instances

Description

Pretty printing data types of BASIC_SPEC

Synopsis

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 Source #

printFormula :: FormExtension f => FORMULA f -> Doc Source #

printTerm :: FormExtension f => TERM 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.

appendS :: [a] -> String Source #

isJunct :: FORMULA f -> Bool Source #

printInfix Source #

Arguments

:: Bool	attach separator to right argument?
-> ([Doc] -> Doc)	combinator for two docs
-> Doc
-> Doc
-> Doc	left, separator and right arguments
-> Doc

class ListCheck a where Source #

a helper class for calculating the pluralS of e.g. ops

Methods

innerList :: a -> [()] Source #

Instances

Instances details

ListCheck Id Source #
Instance details Defined in CASL.ToDoc Methods innerList :: Id -> [()] Source #
ListCheck Token Source #
Instance details Defined in CASL.ToDoc Methods innerList :: Token -> [()] Source #
ListCheck VAR_DECL Source #
Instance details Defined in CASL.ToDoc Methods innerList :: VAR_DECL -> [()] Source #
ListCheck CHANNEL_DECL Source #
Instance details Defined in CspCASL.Print_CspCASL Methods innerList :: CHANNEL_DECL -> [()] Source #
ListCheck FplOpItem Source #
Instance details Defined in Fpl.As Methods innerList :: FplOpItem -> [()] Source #
ListCheck FplSortItem Source #
Instance details Defined in Fpl.As Methods innerList :: FplSortItem -> [()] Source #
ListCheck a => ListCheck [a] Source #
Instance details Defined in CASL.ToDoc Methods innerList :: [a] -> [()] Source #
ListCheck a => ListCheck (Annoted a) Source #	an instance of ListCheck for Annoted stuff
Instance details Defined in CASL.ToDoc Methods innerList :: Annoted a -> [()] Source #
ListCheck (PRED_ITEM f) Source #
Instance details Defined in CASL.ToDoc Methods innerList :: PRED_ITEM f -> [()] Source #
ListCheck (OP_ITEM f) Source #
Instance details Defined in CASL.ToDoc Methods innerList :: OP_ITEM f -> [()] Source #
ListCheck (SORT_ITEM f) Source #
Instance details Defined in CASL.ToDoc Methods innerList :: 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 #

printAttr :: FormExtension f => OP_ATTR f -> Doc Source #

printAnnotedBulletFormulas :: FormExtension f => [Annoted (FORMULA f)] -> Doc Source #

class (GetRange f, Pretty f) => FormExtension f where Source #

Minimal complete definition

Nothing

Methods

isQuantifierLike :: f -> Bool Source #

prefixExt :: f -> Doc -> Doc Source #

Instances

Instances details

FormExtension () Source #
Instance details Defined in CASL.ToDoc Methods isQuantifierLike :: () -> Bool Source # prefixExt :: () -> Doc -> Doc Source #
FormExtension C_FORMULA Source #
Instance details Defined in CoCASL.Print_AS Methods isQuantifierLike :: C_FORMULA -> Bool Source # prefixExt :: C_FORMULA -> Doc -> Doc Source #
FormExtension DL_FORMULA Source #
Instance details Defined in CASL_DL.Print_AS Methods isQuantifierLike :: DL_FORMULA -> Bool Source # prefixExt :: DL_FORMULA -> Doc -> Doc Source #
FormExtension ConstraintFORMULA Source #
Instance details Defined in ConstraintCASL.StaticAna Methods isQuantifierLike :: ConstraintFORMULA -> Bool Source # prefixExt :: ConstraintFORMULA -> Doc -> Doc Source #
FormExtension CspSen Source #
Instance details Defined in CspCASL.SignCSP Methods isQuantifierLike :: CspSen -> Bool Source # prefixExt :: CspSen -> Doc -> Doc Source #
FormExtension EM_FORMULA Source #
Instance details Defined in ExtModal.Print_AS Methods isQuantifierLike :: EM_FORMULA -> Bool Source # prefixExt :: EM_FORMULA -> Doc -> Doc Source #
FormExtension TermExt Source #
Instance details Defined in Fpl.As Methods isQuantifierLike :: TermExt -> Bool Source # prefixExt :: TermExt -> Doc -> Doc Source #
FormExtension H_FORMULA Source #
Instance details Defined in Hybrid.Print_AS Methods isQuantifierLike :: H_FORMULA -> Bool Source # prefixExt :: H_FORMULA -> Doc -> Doc Source #
FormExtension M_FORMULA Source #
Instance details Defined in Modal.Print_AS Methods isQuantifierLike :: M_FORMULA -> Bool Source # prefixExt :: M_FORMULA -> Doc -> Doc Source #
FormExtension VSEforms Source #
Instance details Defined in VSE.As Methods isQuantifierLike :: VSEforms -> Bool Source # prefixExt :: VSEforms -> Doc -> Doc Source #
FormExtension a => FormExtension (Ranged a) Source #
Instance details Defined in VSE.As Methods isQuantifierLike :: Ranged a -> Bool Source # prefixExt :: Ranged a -> Doc -> Doc Source #

isQuant :: FormExtension f => FORMULA f -> Bool Source #

Orphan instances

Pretty SYMB_OR_MAP Source #
Instance details Methods pretty :: SYMB_OR_MAP -> Doc Source # pretties :: [SYMB_OR_MAP] -> Doc Source #
Pretty TYPE Source #
Instance details Methods pretty :: TYPE -> Doc Source # pretties :: [TYPE] -> Doc Source #
Pretty SYMB Source #
Instance details Methods pretty :: SYMB -> Doc Source # pretties :: [SYMB] -> Doc Source #
Pretty SYMB_KIND Source #
Instance details Methods pretty :: SYMB_KIND -> Doc Source # pretties :: [SYMB_KIND] -> Doc Source #
Pretty SYMB_MAP_ITEMS Source #
Instance details Methods pretty :: SYMB_MAP_ITEMS -> Doc Source # pretties :: [SYMB_MAP_ITEMS] -> Doc Source #
Pretty SYMB_ITEMS Source #
Instance details Methods pretty :: SYMB_ITEMS -> Doc Source # pretties :: [SYMB_ITEMS] -> Doc Source #
Pretty OP_SYMB Source #
Instance details Methods pretty :: OP_SYMB -> Doc Source # pretties :: [OP_SYMB] -> Doc Source #
Pretty PRED_SYMB Source #
Instance details Methods pretty :: PRED_SYMB -> Doc Source # pretties :: [PRED_SYMB] -> Doc Source #
Pretty VAR_DECL Source #
Instance details Methods pretty :: VAR_DECL -> Doc Source # pretties :: [VAR_DECL] -> Doc Source #
Pretty COMPONENTS Source #
Instance details Methods pretty :: COMPONENTS -> Doc Source # pretties :: [COMPONENTS] -> Doc Source #
Pretty ALTERNATIVE Source #
Instance details Methods pretty :: ALTERNATIVE -> Doc Source # pretties :: [ALTERNATIVE] -> Doc Source #
Pretty DATATYPE_DECL Source #
Instance details Methods pretty :: DATATYPE_DECL -> Doc Source # pretties :: [DATATYPE_DECL] -> Doc Source #
Pretty PRED_TYPE Source #
Instance details Methods pretty :: PRED_TYPE -> Doc Source # pretties :: [PRED_TYPE] -> Doc Source #
Pretty OP_HEAD Source #
Instance details Methods pretty :: OP_HEAD -> Doc Source # pretties :: [OP_HEAD] -> Doc Source #
Pretty OP_TYPE Source #
Instance details Methods pretty :: OP_TYPE -> Doc Source # pretties :: [OP_TYPE] -> Doc Source #
FormExtension f => Pretty (TERM f) Source #
Instance details Methods pretty :: TERM f -> Doc Source # pretties :: [TERM f] -> Doc Source #
FormExtension f => Pretty (FORMULA f) Source #
Instance details Methods pretty :: FORMULA f -> Doc Source # pretties :: [FORMULA f] -> Doc Source #
FormExtension f => Pretty (PRED_ITEM f) Source #
Instance details Methods pretty :: PRED_ITEM f -> Doc Source # pretties :: [PRED_ITEM f] -> Doc Source #
FormExtension f => Pretty (OP_ATTR f) Source #
Instance details Methods pretty :: OP_ATTR f -> Doc Source # pretties :: [OP_ATTR f] -> Doc Source #
FormExtension f => Pretty (OP_ITEM f) Source #
Instance details Methods pretty :: OP_ITEM f -> Doc Source # pretties :: [OP_ITEM f] -> Doc Source #
FormExtension f => Pretty (SORT_ITEM f) Source #
Instance details Methods pretty :: SORT_ITEM f -> Doc Source # pretties :: [SORT_ITEM f] -> Doc Source #
(Pretty s, FormExtension f) => Pretty (SIG_ITEMS s f) Source #
Instance details Methods pretty :: SIG_ITEMS s f -> Doc Source # pretties :: [SIG_ITEMS s f] -> Doc Source #
(Pretty b, Pretty s, FormExtension f) => Pretty (BASIC_ITEMS b s f) Source #
Instance details Methods pretty :: BASIC_ITEMS b s f -> Doc Source # pretties :: [BASIC_ITEMS b s f] -> Doc Source #
(Pretty b, Pretty s, FormExtension f) => Pretty (BASIC_SPEC b s f) Source #
Instance details Methods pretty :: BASIC_SPEC b s f -> Doc Source # pretties :: [BASIC_SPEC b s f] -> Doc Source #