Hets - the Heterogeneous Tool Set
Copyright(c) jianchun wang and Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

Common.DocUtils

Description

Pretty class for pretty printing, some instances and other utility functions

Synopsis

the class stuff

class Show a => Pretty a where Source #

Minimal complete definition

pretty

Methods

pretty :: a -> Doc Source #

pretties :: [a] -> Doc Source #

Instances

Instances details
Pretty Char Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: Char -> Doc Source #

pretties :: [Char] -> Doc Source #

Pretty Double Source #

Pretty printing Double

Instance details

Defined in FreeCAD.PrintAs

Methods

pretty :: Double -> Doc Source #

pretties :: [Double] -> Doc Source #

Pretty Int Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: Int -> Doc Source #

pretties :: [Int] -> Doc Source #

Pretty Integer Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: Integer -> Doc Source #

pretties :: [Integer] -> Doc Source #

Pretty Ordering Source # 
Instance details

Defined in CSL.Print_AS

Methods

pretty :: Ordering -> Doc Source #

pretties :: [Ordering] -> Doc Source #

Pretty () Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: () -> Doc Source #

pretties :: [()] -> Doc Source #

Pretty InfInt Source # 
Instance details

Defined in CSL.Print_AS

Pretty Id Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: Id -> Doc Source #

pretties :: [Id] -> Doc Source #

Pretty Token Source # 
Instance details

Defined in Common.DocUtils

Pretty Range Source # 
Instance details

Defined in Common.Result

Pretty Link Source # 
Instance details

Defined in CSMOF.Print

Methods

pretty :: Link -> Doc Source #

pretties :: [Link] -> Doc Source #

Pretty Object Source # 
Instance details

Defined in CSMOF.Print

Pretty Model Source # 
Instance details

Defined in CSMOF.Print

Pretty MultiplicityElement Source # 
Instance details

Defined in CSMOF.Print

Pretty Property Source # 
Instance details

Defined in CSMOF.Print

Pretty TypedElement Source # 
Instance details

Defined in CSMOF.Print

Pretty Class Source # 
Instance details

Defined in CSMOF.Print

Pretty Datatype Source # 
Instance details

Defined in CSMOF.Print

Pretty DataTypeOrClass Source # 
Instance details

Defined in CSMOF.Print

Pretty Type Source # 
Instance details

Defined in CSMOF.Print

Methods

pretty :: Type -> Doc Source #

pretties :: [Type] -> Doc Source #

Pretty TypeOrTypedElement Source # 
Instance details

Defined in CSMOF.Print

Pretty NamedElement Source # 
Instance details

Defined in CSMOF.Print

Pretty Metamodel Source # 
Instance details

Defined in CSMOF.Print

Pretty COLSign Source # 
Instance details

Defined in COL.Print_AS

Pretty Context Source # 
Instance details

Defined in Adl.Print

Pretty PatElem Source # 
Instance details

Defined in Adl.Print

Pretty Pair Source # 
Instance details

Defined in Adl.Print

Methods

pretty :: Pair -> Doc Source #

pretties :: [Pair] -> Doc Source #

Pretty RuleHeader Source # 
Instance details

Defined in Adl.Print

Pretty RuleKind Source # 
Instance details

Defined in Adl.Print

Pretty KeyDef Source # 
Instance details

Defined in Adl.Print

Pretty KeyAtt Source # 
Instance details

Defined in Adl.Print

Pretty Object Source # 
Instance details

Defined in Adl.Print

Pretty RangedProp Source # 
Instance details

Defined in Adl.Print

Pretty Prop Source # 
Instance details

Defined in Adl.Print

Methods

pretty :: Prop -> Doc Source #

pretties :: [Prop] -> Doc Source #

Pretty Rule Source # 
Instance details

Defined in Adl.Print

Methods

pretty :: Rule -> Doc Source #

pretties :: [Rule] -> Doc Source #

Pretty MulOp Source # 
Instance details

Defined in Adl.Print

Pretty UnOp Source # 
Instance details

Defined in Adl.Print

Methods

pretty :: UnOp -> Doc Source #

pretties :: [UnOp] -> Doc Source #

Pretty Relation Source # 
Instance details

Defined in Adl.Print

Pretty RelType Source # 
Instance details

Defined in Adl.Print

Pretty Concept Source # 
Instance details

Defined in Adl.Print

Pretty IRI Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: IRI -> Doc Source #

pretties :: [IRI] -> Doc Source #

Pretty Annotation Source # 
Instance details

Defined in Common.DocUtils

Pretty GlobalAnnos Source # 
Instance details

Defined in Common.ConvertGlobalAnnos

Pretty Diagnosis Source # 
Instance details

Defined in Common.Result

Pretty Sen Source # 
Instance details

Defined in CSMOF.Sign

Methods

pretty :: Sen -> Doc Source #

pretties :: [Sen] -> Doc Source #

Pretty ConstraintType Source # 
Instance details

Defined in CSMOF.Sign

Pretty MultConstr Source # 
Instance details

Defined in CSMOF.Sign

Pretty Sign Source # 
Instance details

Defined in CSMOF.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty LinkT Source # 
Instance details

Defined in CSMOF.Sign

Pretty PropertyT Source # 
Instance details

Defined in CSMOF.Sign

Pretty TypeClass Source # 
Instance details

Defined in CSMOF.Sign

Pretty TypeKind Source # 
Instance details

Defined in CSMOF.Sign

Pretty Conservativity Source # 
Instance details

Defined in Common.Consistency

Pretty SYMB_OR_MAP Source # 
Instance details

Defined in CSL.Print_AS

Pretty SYMB_MAP_ITEMS Source # 
Instance details

Defined in CSL.Print_AS

Pretty SYMB Source # 
Instance details

Defined in CSL.Print_AS

Methods

pretty :: SYMB -> Doc Source #

pretties :: [SYMB] -> Doc Source #

Pretty SYMB_ITEMS Source # 
Instance details

Defined in CSL.Print_AS

Pretty CMD Source # 
Instance details

Defined in CSL.Print_AS

Methods

pretty :: CMD -> Doc Source #

pretties :: [CMD] -> Doc Source #

Pretty OpDecl Source # 
Instance details

Defined in CSL.Print_AS

Pretty VarDecl Source # 
Instance details

Defined in CSL.Print_AS

Pretty EXPRESSION Source # 
Instance details

Defined in CSL.Print_AS

Pretty ConstantName Source # 
Instance details

Defined in CSL.Print_AS

Pretty OPID Source # 
Instance details

Defined in CSL.Print_AS

Methods

pretty :: OPID -> Doc Source #

pretties :: [OPID] -> Doc Source #

Pretty EPVal Source # 
Instance details

Defined in CSL.Print_AS

Pretty EPDecl Source # 
Instance details

Defined in CSL.Print_AS

Pretty EXTPARAM Source # 
Instance details

Defined in CSL.Print_AS

Pretty BASIC_ITEM Source # 
Instance details

Defined in CSL.Print_AS

Pretty InstantiatedConstant Source # 
Instance details

Defined in CSL.Print_AS

Pretty AssDefinition Source # 
Instance details

Defined in CSL.Print_AS

Pretty GroundConstant Source # 
Instance details

Defined in CSL.Print_AS

Pretty BASIC_SPEC Source # 
Instance details

Defined in CSL.Print_AS

Pretty VAR_ITEM Source # 
Instance details

Defined in CSL.Print_AS

Pretty OP_ITEM Source # 
Instance details

Defined in CSL.Print_AS

Pretty Sign Source # 
Instance details

Defined in CSL.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty Morphism Source # 
Instance details

Defined in CSL.Morphism

Pretty Symbol Source # 
Instance details

Defined in CSL.Symbol

Pretty SYMB_OR_MAP Source # 
Instance details

Defined in CASL.ToDoc

Pretty TYPE Source # 
Instance details

Defined in CASL.ToDoc

Methods

pretty :: TYPE -> Doc Source #

pretties :: [TYPE] -> Doc Source #

Pretty SYMB Source # 
Instance details

Defined in CASL.ToDoc

Methods

pretty :: SYMB -> Doc Source #

pretties :: [SYMB] -> Doc Source #

Pretty SYMB_KIND Source # 
Instance details

Defined in CASL.ToDoc

Pretty SYMB_MAP_ITEMS Source # 
Instance details

Defined in CASL.ToDoc

Pretty SYMB_ITEMS Source # 
Instance details

Defined in CASL.ToDoc

Pretty OP_SYMB Source # 
Instance details

Defined in CASL.ToDoc

Pretty PRED_SYMB Source # 
Instance details

Defined in CASL.ToDoc

Pretty VAR_DECL Source # 
Instance details

Defined in CASL.ToDoc

Pretty COMPONENTS Source # 
Instance details

Defined in CASL.ToDoc

Pretty ALTERNATIVE Source # 
Instance details

Defined in CASL.ToDoc

Pretty DATATYPE_DECL Source # 
Instance details

Defined in CASL.ToDoc

Pretty PRED_TYPE Source # 
Instance details

Defined in CASL.ToDoc

Pretty OP_HEAD Source # 
Instance details

Defined in CASL.ToDoc

Pretty OP_TYPE Source # 
Instance details

Defined in CASL.ToDoc

Pretty C_FORMULA Source # 
Instance details

Defined in CoCASL.Print_AS

Pretty MODALITY Source # 
Instance details

Defined in CoCASL.Print_AS

Pretty COCOMPONENTS Source # 
Instance details

Defined in CoCASL.Print_AS

Pretty COALTERNATIVE Source # 
Instance details

Defined in CoCASL.Print_AS

Pretty CODATATYPE_DECL Source # 
Instance details

Defined in CoCASL.Print_AS

Pretty C_SIG_ITEM Source # 
Instance details

Defined in CoCASL.Print_AS

Pretty C_BASIC_ITEM Source # 
Instance details

Defined in CoCASL.Print_AS

Pretty COL_SIG_ITEM Source # 
Instance details

Defined in COL.Print_AS

Pretty DL_FORMULA Source # 
Instance details

Defined in CASL_DL.Print_AS

Pretty AnnoLiteral Source # 
Instance details

Defined in CASL_DL.Sign

Pretty AnnoAppl Source # 
Instance details

Defined in CASL_DL.Sign

Pretty CASL_DLSign Source # 
Instance details

Defined in CASL_DL.Sign

Pretty Symbol Source # 
Instance details

Defined in CASL.Sign

Pretty PredType Source # 
Instance details

Defined in CASL.Sign

Pretty OpType Source # 
Instance details

Defined in CASL.Sign

Pretty CoCASLSign Source # 
Instance details

Defined in CoCASL.Print_AS

Pretty Sen Source # 
Instance details

Defined in Adl.Sign

Methods

pretty :: Sen -> Doc Source #

pretties :: [Sen] -> Doc Source #

Pretty RawSymbol Source # 
Instance details

Defined in Adl.Sign

Pretty SymbolKind Source # 
Instance details

Defined in Adl.Sign

Pretty Symbol Source # 
Instance details

Defined in Adl.Sign

Pretty Sign Source # 
Instance details

Defined in Adl.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty LibName Source # 
Instance details

Defined in Common.LibName

Pretty Component Source # 
Instance details

Defined in CASL.StaticAna

Pretty RawSymbol Source # 
Instance details

Defined in CASL.Morphism

Pretty TypedRule Source # 
Instance details

Defined in Adl.StatAna

Pretty SYMB_ITEMS Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty SYMB_OR_MAP Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty SYMB_MAP_ITEMS Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty NAME_OR_SEQMARK Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty TERM_SEQ Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty TERM Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Methods

pretty :: TERM -> Doc Source #

pretties :: [TERM] -> Doc Source #

Pretty ATOM Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Methods

pretty :: ATOM -> Doc Source #

pretties :: [ATOM] -> Doc Source #

Pretty ImplEq Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty AndOr Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty BOOL_SENT Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty QUANT Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty SENTENCE Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty IMPORTATION Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty MODULE Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty COMMENT Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty PHRASE Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty TEXT Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Methods

pretty :: TEXT -> Doc Source #

pretties :: [TEXT] -> Doc Source #

Pretty TEXT_META Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty BASIC_ITEMS Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty BASIC_SPEC Source # 
Instance details

Defined in CommonLogic.AS_CommonLogic

Pretty Sign Source # 
Instance details

Defined in CommonLogic.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty Morphism Source # 
Instance details

Defined in CommonLogic.Morphism

Pretty Symbol Source # 
Instance details

Defined in CommonLogic.Symbol

Pretty ConstraintFORMULA Source # 
Instance details

Defined in ConstraintCASL.Print_AS

Pretty PROCESS Source # 
Instance details

Defined in CspCASL.Print_CspCASL

Pretty CommType Source # 
Instance details

Defined in CspCASL.Print_CspCASL

Pretty FQ_PROCESS_NAME Source # 
Instance details

Defined in CspCASL.Print_CspCASL

Pretty ProcProfile Source #

Pretty printing for process profiles

Instance details

Defined in CspCASL.Print_CspCASL

Pretty RENAMING Source # 
Instance details

Defined in CspCASL.Print_CspCASL

Pretty Rename Source # 
Instance details

Defined in CspCASL.Print_CspCASL

Pretty EVENT_SET Source # 
Instance details

Defined in CspCASL.Print_CspCASL

Pretty EVENT Source # 
Instance details

Defined in CspCASL.Print_CspCASL

Pretty PARM_PROCNAME Source # 
Instance details

Defined in CspCASL.Print_CspCASL

Pretty PROC_ITEM Source # 
Instance details

Defined in CspCASL.Print_CspCASL

Pretty CHANNEL_DECL Source # 
Instance details

Defined in CspCASL.Print_CspCASL

Pretty CspBasicExt Source # 
Instance details

Defined in CspCASL.Print_CspCASL

Pretty CspSen Source # 
Instance details

Defined in CspCASL.SignCSP

Pretty CspSign Source #

Pretty printing for CspCASL signatures

Instance details

Defined in CspCASL.SignCSP

Pretty CspSymbMap Source # 
Instance details

Defined in CspCASL.SymbItems

Pretty CspType Source # 
Instance details

Defined in CspCASL.SymbItems

Pretty CspSymb Source # 
Instance details

Defined in CspCASL.SymbItems

Pretty CspSymbKind Source # 
Instance details

Defined in CspCASL.SymbItems

Pretty CspSymbMapItems Source # 
Instance details

Defined in CspCASL.SymbItems

Pretty CspSymbItems Source # 
Instance details

Defined in CspCASL.SymbItems

Pretty CspRawSymbol Source # 
Instance details

Defined in CspCASL.Symbol

Pretty CspSymbol Source # 
Instance details

Defined in CspCASL.Symbol

Pretty CspSymbType Source # 
Instance details

Defined in CspCASL.Symbol

Pretty CspAddMorphism Source #

a dummy instances used for the default definition

Instance details

Defined in CspCASL.Morphism

Pretty SYMB_OR_MAP Source # 
Instance details

Defined in DFOL.AS_DFOL

Pretty SYMB_MAP_ITEMS Source # 
Instance details

Defined in DFOL.AS_DFOL

Pretty SYMB_ITEMS Source # 
Instance details

Defined in DFOL.AS_DFOL

Pretty FORMULA Source # 
Instance details

Defined in DFOL.AS_DFOL

Pretty TERM Source # 
Instance details

Defined in DFOL.AS_DFOL

Methods

pretty :: TERM -> Doc Source #

pretties :: [TERM] -> Doc Source #

Pretty TYPE Source # 
Instance details

Defined in DFOL.AS_DFOL

Methods

pretty :: TYPE -> Doc Source #

pretties :: [TYPE] -> Doc Source #

Pretty BASIC_ITEM Source # 
Instance details

Defined in DFOL.AS_DFOL

Pretty BASIC_SPEC Source # 
Instance details

Defined in DFOL.AS_DFOL

Pretty Symbol Source # 
Instance details

Defined in DFOL.Symbol

Pretty Sign Source # 
Instance details

Defined in DFOL.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty CONTEXT Source # 
Instance details

Defined in DFOL.Sign

Pretty KIND Source # 
Instance details

Defined in DFOL.Sign

Methods

pretty :: KIND -> Doc Source #

pretties :: [KIND] -> Doc Source #

Pretty Morphism Source # 
Instance details

Defined in DFOL.Morphism

Pretty EM_FORMULA Source # 
Instance details

Defined in ExtModal.Print_AS

Pretty FormPrefix Source # 
Instance details

Defined in ExtModal.Print_AS

Pretty EM_SIG_ITEM Source # 
Instance details

Defined in ExtModal.Print_AS

Pretty MODALITY Source # 
Instance details

Defined in ExtModal.Print_AS

Pretty EM_BASIC_ITEM Source # 
Instance details

Defined in ExtModal.Print_AS

Pretty ModDefn Source # 
Instance details

Defined in ExtModal.Print_AS

Pretty FrameForm Source # 
Instance details

Defined in ExtModal.Print_AS

Pretty EModalSign Source # 
Instance details

Defined in ExtModal.Print_AS

Pretty MorphExtension Source # 
Instance details

Defined in ExtModal.MorphismExtension

Pretty TermExt Source # 
Instance details

Defined in Fpl.As

Pretty FunDef Source # 
Instance details

Defined in Fpl.As

Pretty FplOpItem Source # 
Instance details

Defined in Fpl.As

Pretty FplSortItem Source # 
Instance details

Defined in Fpl.As

Pretty FplExt Source # 
Instance details

Defined in Fpl.As

Pretty SignExt Source # 
Instance details

Defined in Fpl.Sign

Pretty ComorphismDef Source # 
Instance details

Defined in Framework.AS

Pretty LogicDef Source # 
Instance details

Defined in Framework.AS

Pretty FRAM Source # 
Instance details

Defined in Framework.AS

Methods

pretty :: FRAM -> Doc Source #

pretties :: [FRAM] -> Doc Source #

Pretty Sign Source # 
Instance details

Defined in FreeCAD.PrintAs

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty NamedObject Source # 
Instance details

Defined in FreeCAD.PrintAs

Pretty PlacedObject Source # 
Instance details

Defined in FreeCAD.PrintAs

Pretty ExtendedObject Source # 
Instance details

Defined in FreeCAD.PrintAs

Pretty Object Source # 
Instance details

Defined in FreeCAD.PrintAs

Pretty BaseObject Source # 
Instance details

Defined in FreeCAD.PrintAs

Pretty Placement Source # 
Instance details

Defined in FreeCAD.PrintAs

Pretty Vector4 Source # 
Instance details

Defined in FreeCAD.PrintAs

Pretty Matrix33 Source # 
Instance details

Defined in FreeCAD.PrintAs

Pretty Vector3 Source # 
Instance details

Defined in FreeCAD.PrintAs

Pretty SymbOrMap Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty Symb Source # 
Instance details

Defined in HasCASL.PrintAs

Methods

pretty :: Symb -> Doc Source #

pretties :: [Symb] -> Doc Source #

Pretty SymbKind Source # 
Instance details

Defined in HasCASL.As

Pretty SymbMapItems Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty SymbItems Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty GenVarDecl Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty TypeArg Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty VarDecl Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty PolyId Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty ProgEq Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty Term Source # 
Instance details

Defined in HasCASL.PrintAs

Methods

pretty :: Term -> Doc Source #

pretties :: [Term] -> Doc Source #

Pretty TypeQual Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty Quantifier Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty Component Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty Alternative Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty DatatypeDecl Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty OpAttr Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty BinOpAttr Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty Partiality Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty TypeScheme Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty Type Source # 
Instance details

Defined in HasCASL.PrintAs

Methods

pretty :: Type -> Doc Source #

pretties :: [Type] -> Doc Source #

Pretty TypePattern Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty Vars Source # 
Instance details

Defined in HasCASL.PrintAs

Methods

pretty :: Vars -> Doc Source #

pretties :: [Vars] -> Doc Source #

Pretty TypeItem Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty Variance Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty ClassDecl Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty ClassItem Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty OpBrand Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty SigItems Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty BasicItem Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty BasicSpec Source # 
Instance details

Defined in HasCASL.PrintAs

Pretty RawSymbol Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty Symbol Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty Morphism Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty Constrain Source # 
Instance details

Defined in HasCASL.Constrain

Pretty Env Source # 
Instance details

Defined in HasCASL.PrintLe

Methods

pretty :: Env -> Doc Source #

pretties :: [Env] -> Doc Source #

Pretty OpInfo Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty OpDefn Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty ConstrInfo Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty VarDefn Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty TypeVarDefn Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty Sentence Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty TypeInfo Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty TypeDefn Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty DataEntry Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty Selector Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty ClassInfo Source # 
Instance details

Defined in HasCASL.PrintLe

Pretty Sign Source # 
Instance details

Defined in HolLight.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty Sentence Source # 
Instance details

Defined in HolLight.Sentence

Pretty H_FORMULA Source # 
Instance details

Defined in Hybrid.Print_AS

Pretty NOMINAL Source # 
Instance details

Defined in Hybrid.Print_AS

Pretty MODALITY Source # 
Instance details

Defined in Hybrid.Print_AS

Pretty H_SIG_ITEM Source # 
Instance details

Defined in Hybrid.Print_AS

Pretty RIGOR Source # 
Instance details

Defined in Hybrid.Print_AS

Pretty H_BASIC_ITEM Source # 
Instance details

Defined in Hybrid.Print_AS

Pretty HybridSign Source # 
Instance details

Defined in Hybrid.Print_AS

Pretty ProofMethod Source # 
Instance details

Defined in Isabelle.IsaPrint

Pretty Modifier Source # 
Instance details

Defined in Isabelle.IsaPrint

Pretty ProofEnd Source # 
Instance details

Defined in Isabelle.IsaPrint

Pretty ProofCommand Source # 
Instance details

Defined in Isabelle.IsaPrint

Pretty IsaProof Source # 
Instance details

Defined in Isabelle.IsaPrint

Pretty Sign Source # 
Instance details

Defined in Isabelle.IsaPrint

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty Sentence Source # 
Instance details

Defined in Isabelle.IsaPrint

Pretty SYMB_OR_MAP Source # 
Instance details

Defined in LF.AS

Pretty SYMB_MAP_ITEMS Source # 
Instance details

Defined in LF.AS

Pretty SYMB_ITEMS Source # 
Instance details

Defined in LF.AS

Pretty BASIC_ITEM Source # 
Instance details

Defined in LF.AS

Pretty BASIC_SPEC Source # 
Instance details

Defined in LF.AS

Pretty Sign Source # 
Instance details

Defined in LF.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty DEF Source # 
Instance details

Defined in LF.Sign

Methods

pretty :: DEF -> Doc Source #

pretties :: [DEF] -> Doc Source #

Pretty EXP Source # 
Instance details

Defined in LF.Sign

Methods

pretty :: EXP -> Doc Source #

pretties :: [EXP] -> Doc Source #

Pretty Symbol Source # 
Instance details

Defined in LF.Sign

Pretty Morphism Source # 
Instance details

Defined in LF.Morphism

Pretty OpId Source # 
Instance details

Defined in Maude.Printing

Methods

pretty :: OpId -> Doc Source #

pretties :: [OpId] -> Doc Source #

Pretty LabelId Source # 
Instance details

Defined in Maude.Printing

Pretty ModId Source # 
Instance details

Defined in Maude.Printing

Pretty ViewId Source # 
Instance details

Defined in Maude.Printing

Pretty ParamId Source # 
Instance details

Defined in Maude.Printing

Pretty Kind Source # 
Instance details

Defined in Maude.Printing

Methods

pretty :: Kind -> Doc Source #

pretties :: [Kind] -> Doc Source #

Pretty Sort Source # 
Instance details

Defined in Maude.Printing

Methods

pretty :: Sort -> Doc Source #

pretties :: [Sort] -> Doc Source #

Pretty Type Source # 
Instance details

Defined in Maude.Printing

Methods

pretty :: Type -> Doc Source #

pretties :: [Type] -> Doc Source #

Pretty Term Source # 
Instance details

Defined in Maude.Printing

Methods

pretty :: Term -> Doc Source #

pretties :: [Term] -> Doc Source #

Pretty Hook Source # 
Instance details

Defined in Maude.Printing

Methods

pretty :: Hook -> Doc Source #

pretties :: [Hook] -> Doc Source #

Pretty StmntAttr Source # 
Instance details

Defined in Maude.Printing

Pretty Attr Source # 
Instance details

Defined in Maude.Printing

Methods

pretty :: Attr -> Doc Source #

pretties :: [Attr] -> Doc Source #

Pretty Condition Source # 
Instance details

Defined in Maude.Printing

Pretty Rule Source # 
Instance details

Defined in Maude.Printing

Methods

pretty :: Rule -> Doc Source #

pretties :: [Rule] -> Doc Source #

Pretty Equation Source # 
Instance details

Defined in Maude.Printing

Pretty Membership Source # 
Instance details

Defined in Maude.Printing

Pretty MaudeText Source # 
Instance details

Defined in Maude.AS_Maude

Pretty SymbolKind Source # 
Instance details

Defined in Maude.Symbol

Pretty Symbol Source # 
Instance details

Defined in Maude.Symbol

Pretty Sentence Source # 
Instance details

Defined in Maude.Sentence

Pretty Sign Source # 
Instance details

Defined in Maude.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty Morphism Source # 
Instance details

Defined in Maude.Morphism

Pretty M_FORMULA Source # 
Instance details

Defined in Modal.Print_AS

Pretty MODALITY Source # 
Instance details

Defined in Modal.Print_AS

Pretty M_SIG_ITEM Source # 
Instance details

Defined in Modal.Print_AS

Pretty RIGOR Source # 
Instance details

Defined in Modal.Print_AS

Pretty M_BASIC_ITEM Source # 
Instance details

Defined in Modal.Print_AS

Pretty ModalSign Source # 
Instance details

Defined in Modal.Print_AS

Pretty SYMB_OR_MAP Source # 
Instance details

Defined in NeSyPatterns.Print

Pretty SYMB_MAP_ITEMS Source # 
Instance details

Defined in NeSyPatterns.Print

Pretty SYMB_ITEMS Source # 
Instance details

Defined in NeSyPatterns.Print

Pretty SYMB Source # 
Instance details

Defined in NeSyPatterns.Print

Methods

pretty :: SYMB -> Doc Source #

pretties :: [SYMB] -> Doc Source #

Pretty BASIC_ITEM Source # 
Instance details

Defined in NeSyPatterns.Print

Pretty BASIC_SPEC Source # 
Instance details

Defined in NeSyPatterns.Print

Pretty Node Source # 
Instance details

Defined in NeSyPatterns.Print

Methods

pretty :: Node -> Doc Source #

pretties :: [Node] -> Doc Source #

Pretty OMName Source # 
Instance details

Defined in OMDoc.DataTypes

Pretty Morphism Source # 
Instance details

Defined in OMDoc.OMDocInterface

Pretty Inclusion Source # 
Instance details

Defined in OMDoc.OMDocInterface

Pretty Symbol Source # 
Instance details

Defined in OMDoc.OMDocInterface

Pretty Theory Source # 
Instance details

Defined in OMDoc.OMDocInterface

Pretty DatatypeFacet Source # 
Instance details

Defined in OWL2.Print

Pretty OntologyDocument Source # 
Instance details

Defined in OWL2.Pretty

Pretty Axiom Source # 
Instance details

Defined in OWL2.Pretty

Pretty AnnotationValue Source #

annotations printing

Instance details

Defined in OWL2.Print

Pretty Annotation Source # 
Instance details

Defined in OWL2.Print

Pretty ClassExpression Source #

Printing the ClassExpression

Instance details

Defined in OWL2.Print

Pretty DataRange Source #

Printing the DataRange

Instance details

Defined in OWL2.Print

Pretty ObjectPropertyExpression Source # 
Instance details

Defined in OWL2.Print

Pretty Literal Source # 
Instance details

Defined in OWL2.Print

Pretty Entity Source # 
Instance details

Defined in OWL2.Print

Pretty Character Source # 
Instance details

Defined in OWL2.Print

Pretty OntologyDocument Source # 
Instance details

Defined in OWL2.ManchesterPrint

Pretty Ontology Source #

Printing the ontology

Instance details

Defined in OWL2.ManchesterPrint

Pretty Axiom Source # 
Instance details

Defined in OWL2.ManchesterPrint

Pretty Frame Source # 
Instance details

Defined in OWL2.ManchesterPrint

Pretty FrameBit Source # 
Instance details

Defined in OWL2.ManchesterPrint

Pretty Fact Source # 
Instance details

Defined in OWL2.ManchesterPrint

Methods

pretty :: Fact -> Doc Source #

pretties :: [Fact] -> Doc Source #

Pretty ListFrameBit Source # 
Instance details

Defined in OWL2.ManchesterPrint

Pretty Sign Source # 
Instance details

Defined in OWL2.ManchesterPrint

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty RawSymb Source # 
Instance details

Defined in OWL2.Print

Pretty SymbMapItems Source # 
Instance details

Defined in OWL2.Print

Pretty SymbItems Source # 
Instance details

Defined in OWL2.Print

Pretty ExtEntityType Source #

Symbols printing

Instance details

Defined in OWL2.Print

Pretty OWLMorphism Source # 
Instance details

Defined in OWL2.Morphism

Pretty Sign Source # 
Instance details

Defined in NeSyPatterns.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty ResolvedNode Source # 
Instance details

Defined in NeSyPatterns.Sign

Pretty Morphism Source # 
Instance details

Defined in NeSyPatterns.Morphism

Pretty Symbol Source # 
Instance details

Defined in NeSyPatterns.Symbol

Pretty SYMB_OR_MAP Source # 
Instance details

Defined in Propositional.AS_BASIC_Propositional

Pretty SYMB_MAP_ITEMS Source # 
Instance details

Defined in Propositional.AS_BASIC_Propositional

Pretty SYMB Source # 
Instance details

Defined in Propositional.AS_BASIC_Propositional

Methods

pretty :: SYMB -> Doc Source #

pretties :: [SYMB] -> Doc Source #

Pretty SYMB_ITEMS Source # 
Instance details

Defined in Propositional.AS_BASIC_Propositional

Pretty FORMULA Source # 
Instance details

Defined in Propositional.AS_BASIC_Propositional

Pretty BASIC_ITEMS Source # 
Instance details

Defined in Propositional.AS_BASIC_Propositional

Pretty BASIC_SPEC Source # 
Instance details

Defined in Propositional.AS_BASIC_Propositional

Pretty PRED_ITEM Source # 
Instance details

Defined in Propositional.AS_BASIC_Propositional

Pretty Sign Source # 
Instance details

Defined in Propositional.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty Morphism Source # 
Instance details

Defined in Propositional.Morphism

Pretty Symbol Source # 
Instance details

Defined in Propositional.Symbol

Pretty SYMBORMAP Source # 
Instance details

Defined in QBF.AS_BASIC_QBF

Pretty SYMBMAPITEMS Source # 
Instance details

Defined in QBF.AS_BASIC_QBF

Pretty SYMB Source # 
Instance details

Defined in QBF.AS_BASIC_QBF

Methods

pretty :: SYMB -> Doc Source #

pretties :: [SYMB] -> Doc Source #

Pretty SYMBITEMS Source # 
Instance details

Defined in QBF.AS_BASIC_QBF

Pretty FORMULA Source # 
Instance details

Defined in QBF.AS_BASIC_QBF

Pretty BASICITEMS Source # 
Instance details

Defined in QBF.AS_BASIC_QBF

Pretty BASICSPEC Source # 
Instance details

Defined in QBF.AS_BASIC_QBF

Pretty PREDITEM Source # 
Instance details

Defined in QBF.AS_BASIC_QBF

Pretty Morphism Source # 
Instance details

Defined in QBF.Morphism

Pretty Symbol Source # 
Instance details

Defined in QBF.Symbol

Pretty STRING Source # 
Instance details

Defined in QVTR.Print

Pretty OCL Source # 
Instance details

Defined in QVTR.Print

Methods

pretty :: OCL -> Doc Source #

pretties :: [OCL] -> Doc Source #

Pretty RelInvok Source # 
Instance details

Defined in QVTR.Print

Pretty WhenWhere Source # 
Instance details

Defined in QVTR.Print

Pretty PropertyTemplate Source # 
Instance details

Defined in QVTR.Print

Pretty ObjectTemplate Source # 
Instance details

Defined in QVTR.Print

Pretty Domain Source # 
Instance details

Defined in QVTR.Print

Pretty PrimitiveDomain Source # 
Instance details

Defined in QVTR.Print

Pretty RelVar Source # 
Instance details

Defined in QVTR.Print

Pretty Relation Source # 
Instance details

Defined in QVTR.Print

Pretty PropKey Source # 
Instance details

Defined in QVTR.Print

Pretty Key Source # 
Instance details

Defined in QVTR.Print

Methods

pretty :: Key -> Doc Source #

pretties :: [Key] -> Doc Source #

Pretty Transformation Source # 
Instance details

Defined in QVTR.Print

Pretty Pattern Source # 
Instance details

Defined in QVTR.Sign

Pretty RelationSen Source # 
Instance details

Defined in QVTR.Sign

Pretty Sen Source # 
Instance details

Defined in QVTR.Sign

Methods

pretty :: Sen -> Doc Source #

pretties :: [Sen] -> Doc Source #

Pretty Sign Source # 
Instance details

Defined in QVTR.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty RuleDef Source # 
Instance details

Defined in QVTR.Sign

Pretty RDFEntity Source # 
Instance details

Defined in RDF.Print

Pretty RDFEntityType Source #

Symbols printing

Instance details

Defined in RDF.Print

Pretty Axiom Source # 
Instance details

Defined in RDF.Print

Pretty Term Source # 
Instance details

Defined in RDF.Print

Methods

pretty :: Term -> Doc Source #

pretties :: [Term] -> Doc Source #

Pretty RDFLiteral Source # 
Instance details

Defined in RDF.Print

Pretty PredicateObjectList Source # 
Instance details

Defined in RDF.Print

Pretty Object Source # 
Instance details

Defined in RDF.Print

Pretty Predicate Source # 
Instance details

Defined in RDF.Print

Pretty Subject Source # 
Instance details

Defined in RDF.Print

Pretty Triples Source # 
Instance details

Defined in RDF.Print

Pretty Statement Source # 
Instance details

Defined in RDF.Print

Pretty TurtleDocument Source # 
Instance details

Defined in RDF.Print

Pretty Sign Source # 
Instance details

Defined in RDF.Print

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty RawSymb Source # 
Instance details

Defined in RDF.Print

Pretty SymbMapItems Source # 
Instance details

Defined in RDF.Print

Pretty SymbItems Source # 
Instance details

Defined in RDF.Print

Pretty RDFMorphism Source # 
Instance details

Defined in RDF.Morphism

Pretty RSMorphism Source # 
Instance details

Defined in RelationalScheme.Sign

Pretty RSTMap Source # 
Instance details

Defined in RelationalScheme.Sign

Pretty RSTables Source # 
Instance details

Defined in RelationalScheme.Sign

Pretty RSTable Source # 
Instance details

Defined in RelationalScheme.Sign

Pretty RSColumn Source # 
Instance details

Defined in RelationalScheme.Sign

Pretty RSSymbolKind Source # 
Instance details

Defined in RelationalScheme.Sign

Pretty RSSymbol Source # 
Instance details

Defined in RelationalScheme.Sign

Pretty RSDatatype Source # 
Instance details

Defined in RelationalScheme.Sign

Pretty RSScheme Source # 
Instance details

Defined in RelationalScheme.AS

Pretty RSRelationships Source # 
Instance details

Defined in RelationalScheme.AS

Pretty RSRel Source # 
Instance details

Defined in RelationalScheme.AS

Pretty RSQualId Source # 
Instance details

Defined in RelationalScheme.AS

Pretty SPCRBIND Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPSettingLabel Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPHypothesis Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPSettingBody Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPSetting Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPLogState Source #

Creates a Doc from an SPLogState.

Instance details

Defined in SoftFOL.Print

Pretty SPDescription Source #

Creates a Doc from a SPASS description.

Instance details

Defined in SoftFOL.Print

Pretty SPValue Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPKey Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPParent Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPUserRuleAppl Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPRuleAppl Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPResult Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPReference Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPProofList Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPSymbol Source #

Creates a Doc from a SPASS Symbol. printSymbol :: SPSymbol-> Doc

Instance details

Defined in SoftFOL.Print

Pretty SPQuantSym Source #

Creates a Doc from a SPASS Quantifier Symbol.

Instance details

Defined in SoftFOL.Print

Pretty TPTP Source # 
Instance details

Defined in SoftFOL.PrintTPTP

Methods

pretty :: TPTP -> Doc Source #

pretties :: [TPTP] -> Doc Source #

Pretty SPTerm Source #

Creates a Doc from a SPASS Term.

Instance details

Defined in SoftFOL.Print

Pretty TermWsList Source # 
Instance details

Defined in SoftFOL.Print

Pretty NSPClause Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPClauseType Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPOriginType Source #

Creates a Doc from a SPASS Origin Type

Instance details

Defined in SoftFOL.Print

Pretty SPClauseList Source # 
Instance details

Defined in SoftFOL.Print

Pretty SPFormulaList Source #

Creates a Doc from a SPASS Formula List

Instance details

Defined in SoftFOL.Print

Pretty SPDeclaration Source #

Creates a Doc from a SPASS Declaration

Instance details

Defined in SoftFOL.Print

Pretty SPSignSym Source #

Helper function. Creates a Doc from a Signature Symbol.

Instance details

Defined in SoftFOL.Print

Pretty SPSymbolList Source #

Creates a Doc from a SPASS Symbol List.

Instance details

Defined in SoftFOL.Print

Pretty SPLogicalPart Source #

Creates a Doc from a SPASS Logical Part.

Instance details

Defined in SoftFOL.Print

Pretty SPProblem Source #

Creates a Doc from a SPASS Problem.

Instance details

Defined in SoftFOL.Print

Pretty SFSymbType Source # 
Instance details

Defined in SoftFOL.Print

Pretty SFSymbol Source # 
Instance details

Defined in SoftFOL.Print

Pretty Sign Source # 
Instance details

Defined in SoftFOL.Logic_SoftFOL

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty ConsStatus Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty ThmLinkStatus Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty DGRule Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty EdgeId Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty NodeName Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty Number Source # 
Instance details

Defined in THF.PrintTHF

Pretty AtomicWord Source # 
Instance details

Defined in THF.PrintTHF

Pretty Name Source # 
Instance details

Defined in THF.PrintTHF

Methods

pretty :: Name -> Doc Source #

pretties :: [Name] -> Doc Source #

Pretty FormulaData Source # 
Instance details

Defined in THF.PrintTHF

Pretty GeneralFunction Source # 
Instance details

Defined in THF.PrintTHF

Pretty GeneralData Source # 
Instance details

Defined in THF.PrintTHF

Pretty GeneralTerm Source # 
Instance details

Defined in THF.PrintTHF

Pretty StatusValue Source # 
Instance details

Defined in THF.PrintTHF

Pretty InferenceStatus Source # 
Instance details

Defined in THF.PrintTHF

Pretty InferenceItem Source # 
Instance details

Defined in THF.PrintTHF

Pretty FormulaItem Source # 
Instance details

Defined in THF.PrintTHF

Pretty InfoItem Source # 
Instance details

Defined in THF.PrintTHF

Pretty TheoryName Source # 
Instance details

Defined in THF.PrintTHF

Pretty FileSource Source # 
Instance details

Defined in THF.PrintTHF

Pretty ExternalSource Source # 
Instance details

Defined in THF.PrintTHF

Pretty IntroType Source # 
Instance details

Defined in THF.PrintTHF

Pretty ParentInfo Source # 
Instance details

Defined in THF.PrintTHF

Pretty DagSource Source # 
Instance details

Defined in THF.PrintTHF

Pretty Source Source # 
Instance details

Defined in THF.PrintTHF

Pretty PrincipalSymbol Source # 
Instance details

Defined in THF.PrintTHF

Pretty SystemTerm Source # 
Instance details

Defined in THF.PrintTHF

Pretty DefinedFunctor Source # 
Instance details

Defined in THF.PrintTHF

Pretty DefinedPlainTerm Source # 
Instance details

Defined in THF.PrintTHF

Pretty DefinedAtom Source # 
Instance details

Defined in THF.PrintTHF

Pretty DefinedTerm Source # 
Instance details

Defined in THF.PrintTHF

Pretty PlainTerm Source # 
Instance details

Defined in THF.PrintTHF

Pretty FunctionTerm Source # 
Instance details

Defined in THF.PrintTHF

Pretty Term Source # 
Instance details

Defined in THF.PrintTHF

Methods

pretty :: Term -> Doc Source #

pretties :: [Term] -> Doc Source #

Pretty DefinedPred Source # 
Instance details

Defined in THF.PrintTHF

Pretty DefinedProp Source # 
Instance details

Defined in THF.PrintTHF

Pretty DefinedPlainFormula Source # 
Instance details

Defined in THF.PrintTHF

Pretty DefinedType Source # 
Instance details

Defined in THF.PrintTHF

Pretty AssocConnective Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFUnaryConnective Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFPairConnective Source # 
Instance details

Defined in THF.PrintTHF

Pretty Quantifier Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFQuantifier Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFConnTerm Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFSequent Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFAtom Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFBinaryType Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFUnitaryType Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFTopLevelType Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFSubType Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFTypeableFormula Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFTypeFormula Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFTypedConst Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFVariable Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFQuantifiedFormula Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFUnitaryFormula Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFBinaryTuple Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFBinaryFormula Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFLogicFormula Source # 
Instance details

Defined in THF.PrintTHF

Pretty THFFormula Source # 
Instance details

Defined in THF.PrintTHF

Pretty FormulaRole Source # 
Instance details

Defined in THF.PrintTHF

Pretty Annotations Source # 
Instance details

Defined in THF.PrintTHF

Pretty Include Source # 
Instance details

Defined in THF.PrintTHF

Pretty SystemComment Source # 
Instance details

Defined in THF.PrintTHF

Pretty DefinedComment Source # 
Instance details

Defined in THF.PrintTHF

Pretty Comment Source # 
Instance details

Defined in THF.PrintTHF

Pretty TPTP_THF Source # 
Instance details

Defined in THF.PrintTHF

Pretty Kind Source # 
Instance details

Defined in THF.Print

Methods

pretty :: Kind -> Doc Source #

pretties :: [Kind] -> Doc Source #

Pretty Type Source # 
Instance details

Defined in THF.Print

Methods

pretty :: Type -> Doc Source #

pretties :: [Type] -> Doc Source #

Pretty SymbolTHF Source # 
Instance details

Defined in THF.Print

Pretty BasicSpecTHF Source # 
Instance details

Defined in THF.Print

Pretty ConstInfo Source # 
Instance details

Defined in THF.Print

Pretty TypeInfo Source # 
Instance details

Defined in THF.Print

Pretty SignTHF Source # 
Instance details

Defined in THF.Print

Pretty AnyComorphism Source # 
Instance details

Defined in Logic.Comorphism

Pretty GMorphism Source # 
Instance details

Defined in Logic.Grothendieck

Pretty LogicGraph Source # 
Instance details

Defined in Logic.Grothendieck

Pretty G_morphism Source # 
Instance details

Defined in Logic.Grothendieck

Pretty G_symb_map_items_list Source # 
Instance details

Defined in Logic.Grothendieck

Pretty G_symb_items_list Source # 
Instance details

Defined in Logic.Grothendieck

Pretty G_symbol Source # 
Instance details

Defined in Logic.Grothendieck

Pretty G_sign Source # 
Instance details

Defined in Logic.Grothendieck

Pretty G_basic_spec Source # 
Instance details

Defined in Logic.Grothendieck

Pretty CORRESPONDENCE Source # 
Instance details

Defined in Syntax.Print_AS_Library

Pretty LABELED_ONTO_OR_INTPR_REF Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty Logic_name Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty Logic_code Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty LogicDescr Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty G_hiding Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty G_mapping Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty RESTRICTION Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty RENAMING Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty MINIMIZATION Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty APPROXIMATION Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty EXTRACTION Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty FILTERING Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty Network Source # 
Instance details

Defined in Syntax.Print_AS_Structured

Pretty Number Source # 
Instance details

Defined in TPTP.Pretty

Pretty Name Source # 
Instance details

Defined in TPTP.Pretty

Methods

pretty :: Name -> Doc Source #

pretties :: [Name] -> Doc Source #

Pretty Formula_data Source # 
Instance details

Defined in TPTP.Pretty

Pretty General_function Source # 
Instance details

Defined in TPTP.Pretty

Pretty General_data Source # 
Instance details

Defined in TPTP.Pretty

Pretty General_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty Include Source # 
Instance details

Defined in TPTP.Pretty

Pretty Principal_symbol Source # 
Instance details

Defined in TPTP.Pretty

Pretty New_symbol_record Source # 
Instance details

Defined in TPTP.Pretty

Pretty Inference_info Source # 
Instance details

Defined in TPTP.Pretty

Pretty Status_value Source # 
Instance details

Defined in TPTP.Pretty

Pretty Inference_status Source # 
Instance details

Defined in TPTP.Pretty

Pretty Inference_item Source # 
Instance details

Defined in TPTP.Pretty

Pretty Formula_item Source # 
Instance details

Defined in TPTP.Pretty

Pretty Info_item Source # 
Instance details

Defined in TPTP.Pretty

Pretty Useful_info Source # 
Instance details

Defined in TPTP.Pretty

Pretty Creator_source Source # 
Instance details

Defined in TPTP.Pretty

Pretty Theory_name Source # 
Instance details

Defined in TPTP.Pretty

Pretty Theory Source # 
Instance details

Defined in TPTP.Pretty

Pretty File_source Source # 
Instance details

Defined in TPTP.Pretty

Pretty External_source Source # 
Instance details

Defined in TPTP.Pretty

Pretty Intro_type Source # 
Instance details

Defined in TPTP.Pretty

Pretty Internal_source Source # 
Instance details

Defined in TPTP.Pretty

Pretty Parent_info Source # 
Instance details

Defined in TPTP.Pretty

Pretty Inference_record Source # 
Instance details

Defined in TPTP.Pretty

Pretty DAG_source Source # 
Instance details

Defined in TPTP.Pretty

Pretty Source Source # 
Instance details

Defined in TPTP.Pretty

Pretty Defined_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty Defined_functor Source # 
Instance details

Defined in TPTP.Pretty

Pretty Defined_infix_pred Source # 
Instance details

Defined in TPTP.Pretty

Pretty Defined_predicate Source # 
Instance details

Defined in TPTP.Pretty

Pretty Defined_proposition Source # 
Instance details

Defined in TPTP.Pretty

Pretty Untyped_atom Source # 
Instance details

Defined in TPTP.Pretty

Pretty Atom Source # 
Instance details

Defined in TPTP.Pretty

Methods

pretty :: Atom -> Doc Source #

pretties :: [Atom] -> Doc Source #

Pretty Defined_type Source # 
Instance details

Defined in TPTP.Pretty

Pretty Unary_connective Source # 
Instance details

Defined in TPTP.Pretty

Pretty Assoc_connective Source # 
Instance details

Defined in TPTP.Pretty

Pretty Binary_connective Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_quantifier Source # 
Instance details

Defined in TPTP.Pretty

Pretty TH1_unary_connective Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_unary_connective Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_pair_connective Source # 
Instance details

Defined in TPTP.Pretty

Pretty TH0_quantifier Source # 
Instance details

Defined in TPTP.Pretty

Pretty TH1_quantifier Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_quantifier Source # 
Instance details

Defined in TPTP.Pretty

Pretty Literal Source # 
Instance details

Defined in TPTP.Pretty

Pretty Disjunction Source # 
Instance details

Defined in TPTP.Pretty

Pretty CNF_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_formula_tuple Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_sequent Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_let_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_conditional_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_function_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_system_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_defined_plain_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_defined_atomic_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_defined_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_plain_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_system_atomic_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_defined_infix_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_defined_plain_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_defined_atomic_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_plain_atomic_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_atomic_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_infix_unary Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_unary_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_quantified_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_unitary_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_binary_assoc Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_binary_nonassoc Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_binary_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_logic_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty TCF_quantified_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty TCF_logic_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty TCF_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_xprod_type Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_mapping_type Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_atomic_type Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_unitary_type Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_monotype Source # 
Instance details

Defined in TPTP.Pretty

Pretty TF1_quantified_type Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_top_level_type Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_subtype Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_typed_atom Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_formula_tuple Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_sequent Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_let_formula_binding Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_let_formula_defn Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_let_formula_defns Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_let_term_binding Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_let_term_defn Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_let_term_defns Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_let Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_conditional Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_unary_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_typed_variable Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_variable Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_quantified_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_unitary_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_binary_assoc Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_binary_nonassoc Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_binary_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_logic_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFX_logic_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFX_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_tuple Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_sequent Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_binary_type Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_unitary_type Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_top_level_type Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_subtype Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_typeable_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_type_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_let_defn_LHS Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_let_plain_defn Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_let_quantified_defn Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_let_defn Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_let_defns Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_let Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_conditional Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_conn_term Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_function Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_atom Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_unary_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_typed_variable Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_variable Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_quantification Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_quantified_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_unitary_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_binary_tuple Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_binary_pair Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_binary_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_logic_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty Formula_role Source # 
Instance details

Defined in TPTP.Pretty

Pretty Annotations Source # 
Instance details

Defined in TPTP.Pretty

Pretty CNF_annotated Source # 
Instance details

Defined in TPTP.Pretty

Pretty FOF_annotated Source # 
Instance details

Defined in TPTP.Pretty

Pretty TCF_annotated Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFF_annotated Source # 
Instance details

Defined in TPTP.Pretty

Pretty TFX_annotated Source # 
Instance details

Defined in TPTP.Pretty

Pretty THF_annotated Source # 
Instance details

Defined in TPTP.Pretty

Pretty TPI_annotated Source # 
Instance details

Defined in TPTP.Pretty

Pretty Annotated_formula Source # 
Instance details

Defined in TPTP.Pretty

Pretty SystemComment Source # 
Instance details

Defined in TPTP.Pretty

Pretty DefinedComment Source # 
Instance details

Defined in TPTP.Pretty

Pretty Comment Source # 
Instance details

Defined in TPTP.Pretty

Pretty TPTP_input Source # 
Instance details

Defined in TPTP.Pretty

Pretty TPTP Source # 
Instance details

Defined in TPTP.Pretty

Methods

pretty :: TPTP -> Doc Source #

pretties :: [TPTP] -> Doc Source #

Pretty BASIC_SPEC Source # 
Instance details

Defined in TPTP.Pretty

Pretty Sign Source # 
Instance details

Defined in TPTP.Pretty

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty Symbol Source # 
Instance details

Defined in TPTP.Pretty

Pretty ItemNameMap Source # 
Instance details

Defined in Syntax.Print_AS_Library

Pretty ALIGN_ARITIES Source # 
Instance details

Defined in Syntax.Print_AS_Library

Pretty G_theory Source # 
Instance details

Defined in Static.GTheory

Pretty DGraph Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty Diag Source # 
Instance details

Defined in Static.ArchDiagram

Methods

pretty :: Diag -> Doc Source #

pretties :: [Diag] -> Doc Source #

Pretty RTNodeLab Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty RTNodeType Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty DGChange Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty AlignSig Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty GlobalEntry Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty RefSig Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty ImpUnitSigOrSig Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty UnitSig Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty ExtViewSig Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty ExtGenSig Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty DGLinkLab Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty DGLinkType Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty DGLinkOrigin Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty DGNodeLab Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty DGNodeInfo Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty DGOrigin Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty NodeSig Source # 
Instance details

Defined in Static.PrintDevGraph

Pretty Text Source # 
Instance details

Defined in FreeCAD.Logic_FreeCAD

Methods

pretty :: Text -> Doc Source #

pretties :: [Text] -> Doc Source #

Pretty Text Source # 
Instance details

Defined in DMU.Logic_DMU

Methods

pretty :: Text -> Doc Source #

pretties :: [Text] -> Doc Source #

Pretty FORMULA Source # 
Instance details

Defined in Temporal.AS_BASIC_Temporal

Pretty BASIC_SPEC Source # 
Instance details

Defined in Temporal.AS_BASIC_Temporal

Pretty Sign Source # 
Instance details

Defined in Temporal.Sign

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty Morphism Source # 
Instance details

Defined in Temporal.Morphism

Pretty Symbol Source # 
Instance details

Defined in Temporal.Symbol

Pretty Mor Source # 
Instance details

Defined in TopHybrid.Print_AS

Methods

pretty :: Mor -> Doc Source #

pretties :: [Mor] -> Doc Source #

Pretty Spc_Wrap Source # 
Instance details

Defined in TopHybrid.Print_AS

Pretty Frm_Wrap Source # 
Instance details

Defined in TopHybrid.Print_AS

Pretty TH_BASIC_ITEM Source # 
Instance details

Defined in TopHybrid.Print_AS

Pretty Sgn_Wrap Source # 
Instance details

Defined in TopHybrid.Print_AS

Pretty Procs Source # 
Instance details

Defined in VSE.As

Pretty Defproc Source # 
Instance details

Defined in VSE.As

Pretty VSEforms Source # 
Instance details

Defined in VSE.As

Pretty VarDecl Source # 
Instance details

Defined in VSE.As

Pretty PlainProgram Source # 
Instance details

Defined in VSE.As

Pretty Procdecls Source # 
Instance details

Defined in VSE.As

Pretty Sigentry Source # 
Instance details

Defined in VSE.As

Pretty Profile Source # 
Instance details

Defined in VSE.As

Pretty Procparam Source # 
Instance details

Defined in VSE.As

Pretty a => Pretty [a] Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: [a] -> Doc Source #

pretties :: [[a]] -> Doc Source #

Pretty a => Pretty (Maybe a) Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: Maybe a -> Doc Source #

pretties :: [Maybe a] -> Doc Source #

Pretty a => Pretty (Set a) Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: Set a -> Doc Source #

pretties :: [Set a] -> Doc Source #

Pretty a => Pretty (ClosedInterval a) Source # 
Instance details

Defined in CSL.Print_AS

(Ord a, Pretty a) => Pretty (SetOrInterval a) Source # 
Instance details

Defined in CSL.Print_AS

Pretty a => Pretty (ElemWOrd a) Source # 
Instance details

Defined in Logic.Prover

Pretty a => Pretty (Annoted a) Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: Annoted a -> Doc Source #

pretties :: [Annoted a] -> Doc Source #

Pretty a => Pretty (Result a) Source # 
Instance details

Defined in Common.Result

Methods

pretty :: Result a -> Doc Source #

pretties :: [Result a] -> Doc Source #

Pretty a => Pretty (DefaultMorphism a) Source # 
Instance details

Defined in Common.DefaultMorphism

FormExtension f => Pretty (TERM f) Source # 
Instance details

Defined in CASL.ToDoc

Methods

pretty :: TERM f -> Doc Source #

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

FormExtension f => Pretty (FORMULA f) Source # 
Instance details

Defined in CASL.ToDoc

Methods

pretty :: FORMULA f -> Doc Source #

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

FormExtension f => Pretty (PRED_ITEM f) Source # 
Instance details

Defined in CASL.ToDoc

FormExtension f => Pretty (OP_ATTR f) Source # 
Instance details

Defined in CASL.ToDoc

Methods

pretty :: OP_ATTR f -> Doc Source #

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

FormExtension f => Pretty (OP_ITEM f) Source # 
Instance details

Defined in CASL.ToDoc

Methods

pretty :: OP_ITEM f -> Doc Source #

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

FormExtension f => Pretty (SORT_ITEM f) Source # 
Instance details

Defined in CASL.ToDoc

Pretty (DefMorExt e) Source # 
Instance details

Defined in CASL.Morphism

Pretty a => Pretty (AnyKind a) Source # 
Instance details

Defined in HasCASL.PrintAs

Methods

pretty :: AnyKind a -> Doc Source #

pretties :: [AnyKind a] -> Doc Source #

Pretty a => Pretty (SimpValue a) Source # 
Instance details

Defined in Isabelle.IsaParse

Pretty s => Pretty (S2 s) Source # 
Instance details

Defined in Logic.Morphism

Methods

pretty :: S2 s -> Doc Source #

pretties :: [S2 s] -> Doc Source #

Pretty f => Pretty (TH_FORMULA f) Source # 
Instance details

Defined in TopHybrid.Print_AS

Pretty b => Pretty (TH_BSPEC b) Source # 
Instance details

Defined in TopHybrid.Print_AS

Pretty s => Pretty (THybridSign s) Source # 
Instance details

Defined in TopHybrid.Print_AS

Pretty a => Pretty (Ranged a) Source # 
Instance details

Defined in VSE.As

Methods

pretty :: Ranged a -> Doc Source #

pretties :: [Ranged a] -> Doc Source #

(Pretty a, Pretty b) => Pretty (Either a b) Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: Either a b -> Doc Source #

pretties :: [Either a b] -> Doc Source #

(Pretty a, Pretty b) => Pretty (a, b) Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: (a, b) -> Doc Source #

pretties :: [(a, b)] -> Doc Source #

(Pretty a, Pretty b) => Pretty (Map a b) Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: Map a b -> Doc Source #

pretties :: [Map a b] -> Doc Source #

(Pretty a, Pretty b) => Pretty (Gr a (Int, b)) Source # 
Instance details

Defined in CASL.Amalgamability

Methods

pretty :: Gr a (Int, b) -> Doc Source #

pretties :: [Gr a (Int, b)] -> Doc Source #

(Pretty sign, Pretty symbol) => Pretty (ExtSign sign symbol) Source # 
Instance details

Defined in Common.ExtSign

Methods

pretty :: ExtSign sign symbol -> Doc Source #

pretties :: [ExtSign sign symbol] -> Doc Source #

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

Defined in CASL.ToDoc

Methods

pretty :: SIG_ITEMS s f -> Doc Source #

pretties :: [SIG_ITEMS s f] -> Doc Source #

(Show f, Pretty e) => Pretty (Sign f e) Source # 
Instance details

Defined in CASL.Sign

Methods

pretty :: Sign f e -> Doc Source #

pretties :: [Sign f e] -> Doc Source #

(Pretty a, Pretty b, Pretty c) => Pretty (a, b, c) Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: (a, b, c) -> Doc Source #

pretties :: [(a, b, c)] -> Doc Source #

(Pretty b, Pretty s, FormExtension f) => Pretty (BASIC_ITEMS b s f) Source # 
Instance details

Defined in CASL.ToDoc

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

Defined in CASL.ToDoc

Methods

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

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

(SignExtension e, Pretty e, Show f, MorphismExtension e m) => Pretty (Morphism f e m) Source # 
Instance details

Defined in CASL.Morphism

Methods

pretty :: Morphism f e m -> Doc Source #

pretties :: [Morphism f e m] -> Doc Source #

(Pretty a, Pretty b, Pretty c, Pretty d) => Pretty (a, b, c, d) Source # 
Instance details

Defined in Common.DocUtils

Methods

pretty :: (a, b, c, d) -> Doc Source #

pretties :: [(a, b, c, d)] -> Doc Source #

sidDoc :: Token -> Doc Source #

convert a token to a document (different from text for LaTex)

printAnnotationList :: [Annotation] -> Doc Source #

print several annotations vertically (each in a new line)

printTrailer :: [Annotation] -> Doc Source #

print annotations flush right

splitAndPrintRAnnos :: Doc -> [Annotation] -> Doc Source #

add trailing annotation to a document

printSemiAnno :: (a -> Doc) -> Bool -> Annoted a -> Doc Source #

conditionally add a semi after the doc but before trailing annotations

startsWithSemanticAnno :: [Annotation] -> Bool Source #

test for semantic annos before structured specs

semiAnnos :: (a -> Doc) -> [Annoted a] -> Doc Source #

print annoted items with trailing semicolons except for the last item

printAnnoted :: (a -> Doc) -> Annoted a -> Doc Source #

print sentence with label and non-axioms with implied annotation

fromLabelledSen :: Named s -> Annoted s Source #

convert a named sentence into an annoted one

splitRAnnos :: [Annotation] -> ([Annotation], [Annotation]) Source #

function to split the annotation to the right of an item. * fst contains printed label and implied annotion if any at the begining of the list of annotations * snd contains the remaining annos

useGlobalAnnos :: GlobalAnnos -> Doc -> Doc Source #

add global annotations for proper mixfix printing

prepPunctuate :: Doc -> [Doc] -> [Doc] Source #

like punctuate but prepends the symbol to all tail elements

printEither :: (a -> Doc) -> (b -> Doc) -> Either a b -> Doc Source #

printMaybe :: (a -> Doc) -> Maybe a -> Doc Source #

ppWithCommas :: Pretty a => [a] -> Doc Source #

printPair :: (a -> Doc) -> (b -> Doc) -> (a, b) -> Doc Source #

printTriple :: (a -> Doc) -> (b -> Doc) -> (c -> Doc) -> (a, b, c) -> Doc Source #

data CSize Source #

container size

Constructors

CEmpty 
CSingle 
CMult 

ppList :: (a -> Doc) -> (CSize -> Doc -> Doc) -> ([Doc] -> Doc) -> [a] -> Doc Source #

ppSet :: (a -> Doc) -> (CSize -> Doc -> Doc) -> ([Doc] -> Doc) -> Set a -> Doc Source #

printSet :: Pretty a => (Doc -> Doc) -> ([Doc] -> Doc) -> Set a -> Doc Source #

printSetMap :: (Pretty k, Pretty a) => Doc -> Doc -> Map k (Set a) -> Doc Source #

printMap :: (Pretty a, Pretty b) => (Doc -> Doc) -> ([Doc] -> Doc) -> (Doc -> Doc -> Doc) -> Map a b -> Doc Source #

ppMap :: (a -> Doc) -> (b -> Doc) -> (CSize -> Doc -> Doc) -> ([Doc] -> Doc) -> (Doc -> Doc -> Doc) -> Map a b -> Doc Source #

ppPairlist :: (a -> Doc) -> (b -> Doc) -> (CSize -> Doc -> Doc) -> ([Doc] -> Doc) -> (Doc -> Doc -> Doc) -> [(a, b)] -> Doc Source #

addBullet :: Doc -> Doc Source #

start with a bullet, i.e. formulas

showDoc :: Pretty a => a -> ShowS Source #

showGlobalDoc :: Pretty a => GlobalAnnos -> a -> ShowS Source #

like showDoc but considers global annotations