Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

CASL.ToDoc

Contents

Description

Pretty printing data types of BASIC_SPEC

Synopsis

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

Minimal complete definition

innerList

Methods

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

Instances

ListCheck Id Source # 

Methods

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

ListCheck Token Source # 

Methods

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

ListCheck VAR_DECL Source # 

Methods

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

ListCheck FplOpItem Source # 

Methods

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

ListCheck FplSortItem Source # 

Methods

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

ListCheck a => ListCheck [a] Source # 

Methods

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

ListCheck a => ListCheck (Annoted a) Source #

an instance of ListCheck for Annoted stuff

Methods

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

ListCheck (PRED_ITEM f) Source # 

Methods

innerList :: PRED_ITEM f -> [()] Source #

ListCheck (OP_ITEM f) Source # 

Methods

innerList :: OP_ITEM f -> [()] Source #

ListCheck (SORT_ITEM f) Source # 

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 #

Methods

isQuantifierLike :: f -> Bool Source #

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

Instances

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

Orphan instances

Pretty SYMB_OR_MAP Source # 
Pretty TYPE Source # 

Methods

pretty :: TYPE -> Doc Source #

pretties :: [TYPE] -> Doc Source #

Pretty SYMB Source # 

Methods

pretty :: SYMB -> Doc Source #

pretties :: [SYMB] -> Doc 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 # 

Methods

pretty :: TERM f -> Doc Source #

pretties :: [TERM f] -> Doc Source #

FormExtension f => Pretty (FORMULA f) Source # 

Methods

pretty :: FORMULA f -> Doc Source #

pretties :: [FORMULA f] -> Doc Source #

FormExtension f => Pretty (PRED_ITEM f) Source # 
FormExtension f => Pretty (OP_ATTR f) Source # 

Methods

pretty :: OP_ATTR f -> Doc Source #

pretties :: [OP_ATTR f] -> Doc Source #

FormExtension f => Pretty (OP_ITEM f) Source # 

Methods

pretty :: OP_ITEM f -> Doc Source #

pretties :: [OP_ITEM f] -> Doc Source #

FormExtension f => Pretty (SORT_ITEM f) Source # 
(Pretty s, FormExtension f) => Pretty (SIG_ITEMS s f) Source # 

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 # 

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 # 

Methods

pretty :: BASIC_SPEC b s f -> Doc Source #

pretties :: [BASIC_SPEC b s f] -> Doc Source #