Copyright	(c) jianchun wang and Uni Bremen 2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

Common.DocUtils

Contents

the class stuff

Description

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

Synopsis

class Show a => Pretty a where
- pretty :: a -> Doc
- pretties :: [a] -> Doc
sidDoc :: Token -> Doc
printAnnotationList :: [Annotation] -> Doc
printTrailer :: [Annotation] -> Doc
splitAndPrintRAnnos :: Doc -> [Annotation] -> Doc
printSemiAnno :: (a -> Doc) -> Bool -> Annoted a -> Doc
startsWithSemanticAnno :: [Annotation] -> Bool
semiAnnos :: (a -> Doc) -> [Annoted a] -> Doc
printAnnoted :: (a -> Doc) -> Annoted a -> Doc
fromLabelledSen :: Named s -> Annoted s
splitRAnnos :: [Annotation] -> ([Annotation], [Annotation])
useGlobalAnnos :: GlobalAnnos -> Doc -> Doc
prepPunctuate :: Doc -> [Doc] -> [Doc]
printEither :: (a -> Doc) -> (b -> Doc) -> Either a b -> Doc
printMaybe :: (a -> Doc) -> Maybe a -> Doc
ppWithCommas :: Pretty a => [a] -> Doc
printPair :: (a -> Doc) -> (b -> Doc) -> (a, b) -> Doc
printTriple :: (a -> Doc) -> (b -> Doc) -> (c -> Doc) -> (a, b, c) -> Doc
data CSize
- = CEmpty
- | CSingle
- | CMult
ppList :: (a -> Doc) -> (CSize -> Doc -> Doc) -> ([Doc] -> Doc) -> [a] -> Doc
ppSet :: (a -> Doc) -> (CSize -> Doc -> Doc) -> ([Doc] -> Doc) -> Set a -> Doc
optBraces :: CSize -> Doc -> Doc
printSet :: Pretty a => (Doc -> Doc) -> ([Doc] -> Doc) -> Set a -> Doc
printSetMap :: (Pretty k, Pretty a) => Doc -> Doc -> Map k (Set a) -> Doc
printMap :: (Pretty a, Pretty b) => (Doc -> Doc) -> ([Doc] -> Doc) -> (Doc -> Doc -> Doc) -> Map a b -> Doc
ppMap :: (a -> Doc) -> (b -> Doc) -> (CSize -> Doc -> Doc) -> ([Doc] -> Doc) -> (Doc -> Doc -> Doc) -> Map a b -> Doc
ppPairlist :: (a -> Doc) -> (b -> Doc) -> (CSize -> Doc -> Doc) -> ([Doc] -> Doc) -> (Doc -> Doc -> Doc) -> [(a, b)] -> Doc
pairElems :: Doc -> Doc -> Doc
addBullet :: Doc -> Doc
showDoc :: Pretty a => a -> ShowS
showGlobalDoc :: Pretty a => GlobalAnnos -> a -> ShowS

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 Methods pretty :: InfInt -> Doc Source # pretties :: [InfInt] -> Doc Source #
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 Methods pretty :: Token -> Doc Source # pretties :: [Token] -> Doc Source #
Pretty Range Source #
Instance details Defined in Common.Result Methods pretty :: Range -> Doc Source # pretties :: [Range] -> Doc Source #
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 Methods pretty :: Object -> Doc Source # pretties :: [Object] -> Doc Source #
Pretty Model Source #
Instance details Defined in CSMOF.Print Methods pretty :: Model -> Doc Source # pretties :: [Model] -> Doc Source #
Pretty MultiplicityElement Source #
Instance details Defined in CSMOF.Print Methods pretty :: MultiplicityElement -> Doc Source # pretties :: [MultiplicityElement] -> Doc Source #
Pretty Property Source #
Instance details Defined in CSMOF.Print Methods pretty :: Property -> Doc Source # pretties :: [Property] -> Doc Source #
Pretty TypedElement Source #
Instance details Defined in CSMOF.Print Methods pretty :: TypedElement -> Doc Source # pretties :: [TypedElement] -> Doc Source #
Pretty Class Source #
Instance details Defined in CSMOF.Print Methods pretty :: Class -> Doc Source # pretties :: [Class] -> Doc Source #
Pretty Datatype Source #
Instance details Defined in CSMOF.Print Methods pretty :: Datatype -> Doc Source # pretties :: [Datatype] -> Doc Source #
Pretty DataTypeOrClass Source #
Instance details Defined in CSMOF.Print Methods pretty :: DataTypeOrClass -> Doc Source # pretties :: [DataTypeOrClass] -> Doc Source #
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 Methods pretty :: TypeOrTypedElement -> Doc Source # pretties :: [TypeOrTypedElement] -> Doc Source #
Pretty NamedElement Source #
Instance details Defined in CSMOF.Print Methods pretty :: NamedElement -> Doc Source # pretties :: [NamedElement] -> Doc Source #
Pretty Metamodel Source #
Instance details Defined in CSMOF.Print Methods pretty :: Metamodel -> Doc Source # pretties :: [Metamodel] -> Doc Source #
Pretty COLSign Source #
Instance details Defined in COL.Print_AS Methods pretty :: COLSign -> Doc Source # pretties :: [COLSign] -> Doc Source #
Pretty Context Source #
Instance details Defined in Adl.Print Methods pretty :: Context -> Doc Source # pretties :: [Context] -> Doc Source #
Pretty PatElem Source #
Instance details Defined in Adl.Print Methods pretty :: PatElem -> Doc Source # pretties :: [PatElem] -> Doc Source #
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 Methods pretty :: RuleHeader -> Doc Source # pretties :: [RuleHeader] -> Doc Source #
Pretty RuleKind Source #
Instance details Defined in Adl.Print Methods pretty :: RuleKind -> Doc Source # pretties :: [RuleKind] -> Doc Source #
Pretty KeyDef Source #
Instance details Defined in Adl.Print Methods pretty :: KeyDef -> Doc Source # pretties :: [KeyDef] -> Doc Source #
Pretty KeyAtt Source #
Instance details Defined in Adl.Print Methods pretty :: KeyAtt -> Doc Source # pretties :: [KeyAtt] -> Doc Source #
Pretty Object Source #
Instance details Defined in Adl.Print Methods pretty :: Object -> Doc Source # pretties :: [Object] -> Doc Source #
Pretty RangedProp Source #
Instance details Defined in Adl.Print Methods pretty :: RangedProp -> Doc Source # pretties :: [RangedProp] -> Doc Source #
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 Methods pretty :: MulOp -> Doc Source # pretties :: [MulOp] -> Doc Source #
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 Methods pretty :: Relation -> Doc Source # pretties :: [Relation] -> Doc Source #
Pretty RelType Source #
Instance details Defined in Adl.Print Methods pretty :: RelType -> Doc Source # pretties :: [RelType] -> Doc Source #
Pretty Concept Source #
Instance details Defined in Adl.Print Methods pretty :: Concept -> Doc Source # pretties :: [Concept] -> Doc Source #
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 Methods pretty :: Annotation -> Doc Source # pretties :: [Annotation] -> Doc Source #
Pretty GlobalAnnos Source #
Instance details Defined in Common.ConvertGlobalAnnos Methods pretty :: GlobalAnnos -> Doc Source # pretties :: [GlobalAnnos] -> Doc Source #
Pretty Diagnosis Source #
Instance details Defined in Common.Result Methods pretty :: Diagnosis -> Doc Source # pretties :: [Diagnosis] -> Doc Source #
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 Methods pretty :: ConstraintType -> Doc Source # pretties :: [ConstraintType] -> Doc Source #
Pretty MultConstr Source #
Instance details Defined in CSMOF.Sign Methods pretty :: MultConstr -> Doc Source # pretties :: [MultConstr] -> Doc Source #
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 Methods pretty :: LinkT -> Doc Source # pretties :: [LinkT] -> Doc Source #
Pretty PropertyT Source #
Instance details Defined in CSMOF.Sign Methods pretty :: PropertyT -> Doc Source # pretties :: [PropertyT] -> Doc Source #
Pretty TypeClass Source #
Instance details Defined in CSMOF.Sign Methods pretty :: TypeClass -> Doc Source # pretties :: [TypeClass] -> Doc Source #
Pretty TypeKind Source #
Instance details Defined in CSMOF.Sign Methods pretty :: TypeKind -> Doc Source # pretties :: [TypeKind] -> Doc Source #
Pretty Conservativity Source #
Instance details Defined in Common.Consistency Methods pretty :: Conservativity -> Doc Source # pretties :: [Conservativity] -> Doc Source #
Pretty SYMB_OR_MAP Source #
Instance details Defined in CSL.Print_AS Methods pretty :: SYMB_OR_MAP -> Doc Source # pretties :: [SYMB_OR_MAP] -> Doc Source #
Pretty SYMB_MAP_ITEMS Source #
Instance details Defined in CSL.Print_AS Methods pretty :: SYMB_MAP_ITEMS -> Doc Source # pretties :: [SYMB_MAP_ITEMS] -> Doc Source #
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 Methods pretty :: SYMB_ITEMS -> Doc Source # pretties :: [SYMB_ITEMS] -> Doc Source #
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 Methods pretty :: OpDecl -> Doc Source # pretties :: [OpDecl] -> Doc Source #
Pretty VarDecl Source #
Instance details Defined in CSL.Print_AS Methods pretty :: VarDecl -> Doc Source # pretties :: [VarDecl] -> Doc Source #
Pretty EXPRESSION Source #
Instance details Defined in CSL.Print_AS Methods pretty :: EXPRESSION -> Doc Source # pretties :: [EXPRESSION] -> Doc Source #
Pretty ConstantName Source #
Instance details Defined in CSL.Print_AS Methods pretty :: ConstantName -> Doc Source # pretties :: [ConstantName] -> Doc Source #
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 Methods pretty :: EPVal -> Doc Source # pretties :: [EPVal] -> Doc Source #
Pretty EPDecl Source #
Instance details Defined in CSL.Print_AS Methods pretty :: EPDecl -> Doc Source # pretties :: [EPDecl] -> Doc Source #
Pretty EXTPARAM Source #
Instance details Defined in CSL.Print_AS Methods pretty :: EXTPARAM -> Doc Source # pretties :: [EXTPARAM] -> Doc Source #
Pretty BASIC_ITEM Source #
Instance details Defined in CSL.Print_AS Methods pretty :: BASIC_ITEM -> Doc Source # pretties :: [BASIC_ITEM] -> Doc Source #
Pretty InstantiatedConstant Source #
Instance details Defined in CSL.Print_AS Methods pretty :: InstantiatedConstant -> Doc Source # pretties :: [InstantiatedConstant] -> Doc Source #
Pretty AssDefinition Source #
Instance details Defined in CSL.Print_AS Methods pretty :: AssDefinition -> Doc Source # pretties :: [AssDefinition] -> Doc Source #
Pretty GroundConstant Source #
Instance details Defined in CSL.Print_AS Methods pretty :: GroundConstant -> Doc Source # pretties :: [GroundConstant] -> Doc Source #
Pretty BASIC_SPEC Source #
Instance details Defined in CSL.Print_AS Methods pretty :: BASIC_SPEC -> Doc Source # pretties :: [BASIC_SPEC] -> Doc Source #
Pretty VAR_ITEM Source #
Instance details Defined in CSL.Print_AS Methods pretty :: VAR_ITEM -> Doc Source # pretties :: [VAR_ITEM] -> Doc Source #
Pretty OP_ITEM Source #
Instance details Defined in CSL.Print_AS Methods pretty :: OP_ITEM -> Doc Source # pretties :: [OP_ITEM] -> Doc Source #
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 Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in CSL.Symbol Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Pretty SYMB_OR_MAP Source #
Instance details Defined in CASL.ToDoc Methods pretty :: SYMB_OR_MAP -> Doc Source # pretties :: [SYMB_OR_MAP] -> Doc Source #
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 Methods pretty :: SYMB_KIND -> Doc Source # pretties :: [SYMB_KIND] -> Doc Source #
Pretty SYMB_MAP_ITEMS Source #
Instance details Defined in CASL.ToDoc Methods pretty :: SYMB_MAP_ITEMS -> Doc Source # pretties :: [SYMB_MAP_ITEMS] -> Doc Source #
Pretty SYMB_ITEMS Source #
Instance details Defined in CASL.ToDoc Methods pretty :: SYMB_ITEMS -> Doc Source # pretties :: [SYMB_ITEMS] -> Doc Source #
Pretty OP_SYMB Source #
Instance details Defined in CASL.ToDoc Methods pretty :: OP_SYMB -> Doc Source # pretties :: [OP_SYMB] -> Doc Source #
Pretty PRED_SYMB Source #
Instance details Defined in CASL.ToDoc Methods pretty :: PRED_SYMB -> Doc Source # pretties :: [PRED_SYMB] -> Doc Source #
Pretty VAR_DECL Source #
Instance details Defined in CASL.ToDoc Methods pretty :: VAR_DECL -> Doc Source # pretties :: [VAR_DECL] -> Doc Source #
Pretty COMPONENTS Source #
Instance details Defined in CASL.ToDoc Methods pretty :: COMPONENTS -> Doc Source # pretties :: [COMPONENTS] -> Doc Source #
Pretty ALTERNATIVE Source #
Instance details Defined in CASL.ToDoc Methods pretty :: ALTERNATIVE -> Doc Source # pretties :: [ALTERNATIVE] -> Doc Source #
Pretty DATATYPE_DECL Source #
Instance details Defined in CASL.ToDoc Methods pretty :: DATATYPE_DECL -> Doc Source # pretties :: [DATATYPE_DECL] -> Doc Source #
Pretty PRED_TYPE Source #
Instance details Defined in CASL.ToDoc Methods pretty :: PRED_TYPE -> Doc Source # pretties :: [PRED_TYPE] -> Doc Source #
Pretty OP_HEAD Source #
Instance details Defined in CASL.ToDoc Methods pretty :: OP_HEAD -> Doc Source # pretties :: [OP_HEAD] -> Doc Source #
Pretty OP_TYPE Source #
Instance details Defined in CASL.ToDoc Methods pretty :: OP_TYPE -> Doc Source # pretties :: [OP_TYPE] -> Doc Source #
Pretty C_FORMULA Source #
Instance details Defined in CoCASL.Print_AS Methods pretty :: C_FORMULA -> Doc Source # pretties :: [C_FORMULA] -> Doc Source #
Pretty MODALITY Source #
Instance details Defined in CoCASL.Print_AS Methods pretty :: MODALITY -> Doc Source # pretties :: [MODALITY] -> Doc Source #
Pretty COCOMPONENTS Source #
Instance details Defined in CoCASL.Print_AS Methods pretty :: COCOMPONENTS -> Doc Source # pretties :: [COCOMPONENTS] -> Doc Source #
Pretty COALTERNATIVE Source #
Instance details Defined in CoCASL.Print_AS Methods pretty :: COALTERNATIVE -> Doc Source # pretties :: [COALTERNATIVE] -> Doc Source #
Pretty CODATATYPE_DECL Source #
Instance details Defined in CoCASL.Print_AS Methods pretty :: CODATATYPE_DECL -> Doc Source # pretties :: [CODATATYPE_DECL] -> Doc Source #
Pretty C_SIG_ITEM Source #
Instance details Defined in CoCASL.Print_AS Methods pretty :: C_SIG_ITEM -> Doc Source # pretties :: [C_SIG_ITEM] -> Doc Source #
Pretty C_BASIC_ITEM Source #
Instance details Defined in CoCASL.Print_AS Methods pretty :: C_BASIC_ITEM -> Doc Source # pretties :: [C_BASIC_ITEM] -> Doc Source #
Pretty COL_SIG_ITEM Source #
Instance details Defined in COL.Print_AS Methods pretty :: COL_SIG_ITEM -> Doc Source # pretties :: [COL_SIG_ITEM] -> Doc Source #
Pretty DL_FORMULA Source #
Instance details Defined in CASL_DL.Print_AS Methods pretty :: DL_FORMULA -> Doc Source # pretties :: [DL_FORMULA] -> Doc Source #
Pretty AnnoLiteral Source #
Instance details Defined in CASL_DL.Sign Methods pretty :: AnnoLiteral -> Doc Source # pretties :: [AnnoLiteral] -> Doc Source #
Pretty AnnoAppl Source #
Instance details Defined in CASL_DL.Sign Methods pretty :: AnnoAppl -> Doc Source # pretties :: [AnnoAppl] -> Doc Source #
Pretty CASL_DLSign Source #
Instance details Defined in CASL_DL.Sign Methods pretty :: CASL_DLSign -> Doc Source # pretties :: [CASL_DLSign] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in CASL.Sign Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Pretty PredType Source #
Instance details Defined in CASL.Sign Methods pretty :: PredType -> Doc Source # pretties :: [PredType] -> Doc Source #
Pretty OpType Source #
Instance details Defined in CASL.Sign Methods pretty :: OpType -> Doc Source # pretties :: [OpType] -> Doc Source #
Pretty CoCASLSign Source #
Instance details Defined in CoCASL.Print_AS Methods pretty :: CoCASLSign -> Doc Source # pretties :: [CoCASLSign] -> Doc Source #
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 Methods pretty :: RawSymbol -> Doc Source # pretties :: [RawSymbol] -> Doc Source #
Pretty SymbolKind Source #
Instance details Defined in Adl.Sign Methods pretty :: SymbolKind -> Doc Source # pretties :: [SymbolKind] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in Adl.Sign Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
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 Methods pretty :: LibName -> Doc Source # pretties :: [LibName] -> Doc Source #
Pretty Component Source #
Instance details Defined in CASL.StaticAna Methods pretty :: Component -> Doc Source # pretties :: [Component] -> Doc Source #
Pretty RawSymbol Source #
Instance details Defined in CASL.Morphism Methods pretty :: RawSymbol -> Doc Source # pretties :: [RawSymbol] -> Doc Source #
Pretty TypedRule Source #
Instance details Defined in Adl.StatAna Methods pretty :: TypedRule -> Doc Source # pretties :: [TypedRule] -> Doc Source #
Pretty SYMB_ITEMS Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: SYMB_ITEMS -> Doc Source # pretties :: [SYMB_ITEMS] -> Doc Source #
Pretty SYMB_OR_MAP Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: SYMB_OR_MAP -> Doc Source # pretties :: [SYMB_OR_MAP] -> Doc Source #
Pretty SYMB_MAP_ITEMS Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: SYMB_MAP_ITEMS -> Doc Source # pretties :: [SYMB_MAP_ITEMS] -> Doc Source #
Pretty NAME_OR_SEQMARK Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: NAME_OR_SEQMARK -> Doc Source # pretties :: [NAME_OR_SEQMARK] -> Doc Source #
Pretty TERM_SEQ Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: TERM_SEQ -> Doc Source # pretties :: [TERM_SEQ] -> Doc Source #
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 Methods pretty :: ImplEq -> Doc Source # pretties :: [ImplEq] -> Doc Source #
Pretty AndOr Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: AndOr -> Doc Source # pretties :: [AndOr] -> Doc Source #
Pretty BOOL_SENT Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: BOOL_SENT -> Doc Source # pretties :: [BOOL_SENT] -> Doc Source #
Pretty QUANT Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: QUANT -> Doc Source # pretties :: [QUANT] -> Doc Source #
Pretty SENTENCE Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: SENTENCE -> Doc Source # pretties :: [SENTENCE] -> Doc Source #
Pretty IMPORTATION Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: IMPORTATION -> Doc Source # pretties :: [IMPORTATION] -> Doc Source #
Pretty MODULE Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: MODULE -> Doc Source # pretties :: [MODULE] -> Doc Source #
Pretty COMMENT Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: COMMENT -> Doc Source # pretties :: [COMMENT] -> Doc Source #
Pretty PHRASE Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: PHRASE -> Doc Source # pretties :: [PHRASE] -> Doc Source #
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 Methods pretty :: TEXT_META -> Doc Source # pretties :: [TEXT_META] -> Doc Source #
Pretty BASIC_ITEMS Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: BASIC_ITEMS -> Doc Source # pretties :: [BASIC_ITEMS] -> Doc Source #
Pretty BASIC_SPEC Source #
Instance details Defined in CommonLogic.AS_CommonLogic Methods pretty :: BASIC_SPEC -> Doc Source # pretties :: [BASIC_SPEC] -> Doc Source #
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 Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in CommonLogic.Symbol Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Pretty ConstraintFORMULA Source #
Instance details Defined in ConstraintCASL.Print_AS Methods pretty :: ConstraintFORMULA -> Doc Source # pretties :: [ConstraintFORMULA] -> Doc Source #
Pretty PROCESS Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: PROCESS -> Doc Source # pretties :: [PROCESS] -> Doc Source #
Pretty CommType Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: CommType -> Doc Source # pretties :: [CommType] -> Doc Source #
Pretty FQ_PROCESS_NAME Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: FQ_PROCESS_NAME -> Doc Source # pretties :: [FQ_PROCESS_NAME] -> Doc Source #
Pretty ProcProfile Source #	Pretty printing for process profiles
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: ProcProfile -> Doc Source # pretties :: [ProcProfile] -> Doc Source #
Pretty RENAMING Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: RENAMING -> Doc Source # pretties :: [RENAMING] -> Doc Source #
Pretty Rename Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: Rename -> Doc Source # pretties :: [Rename] -> Doc Source #
Pretty EVENT_SET Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: EVENT_SET -> Doc Source # pretties :: [EVENT_SET] -> Doc Source #
Pretty EVENT Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: EVENT -> Doc Source # pretties :: [EVENT] -> Doc Source #
Pretty PARM_PROCNAME Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: PARM_PROCNAME -> Doc Source # pretties :: [PARM_PROCNAME] -> Doc Source #
Pretty PROC_ITEM Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: PROC_ITEM -> Doc Source # pretties :: [PROC_ITEM] -> Doc Source #
Pretty CHANNEL_DECL Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: CHANNEL_DECL -> Doc Source # pretties :: [CHANNEL_DECL] -> Doc Source #
Pretty CspBasicExt Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: CspBasicExt -> Doc Source # pretties :: [CspBasicExt] -> Doc Source #
Pretty CspSen Source #
Instance details Defined in CspCASL.SignCSP Methods pretty :: CspSen -> Doc Source # pretties :: [CspSen] -> Doc Source #
Pretty CspSign Source #	Pretty printing for CspCASL signatures
Instance details Defined in CspCASL.SignCSP Methods pretty :: CspSign -> Doc Source # pretties :: [CspSign] -> Doc Source #
Pretty CspSymbMap Source #
Instance details Defined in CspCASL.SymbItems Methods pretty :: CspSymbMap -> Doc Source # pretties :: [CspSymbMap] -> Doc Source #
Pretty CspType Source #
Instance details Defined in CspCASL.SymbItems Methods pretty :: CspType -> Doc Source # pretties :: [CspType] -> Doc Source #
Pretty CspSymb Source #
Instance details Defined in CspCASL.SymbItems Methods pretty :: CspSymb -> Doc Source # pretties :: [CspSymb] -> Doc Source #
Pretty CspSymbKind Source #
Instance details Defined in CspCASL.SymbItems Methods pretty :: CspSymbKind -> Doc Source # pretties :: [CspSymbKind] -> Doc Source #
Pretty CspSymbMapItems Source #
Instance details Defined in CspCASL.SymbItems Methods pretty :: CspSymbMapItems -> Doc Source # pretties :: [CspSymbMapItems] -> Doc Source #
Pretty CspSymbItems Source #
Instance details Defined in CspCASL.SymbItems Methods pretty :: CspSymbItems -> Doc Source # pretties :: [CspSymbItems] -> Doc Source #
Pretty CspRawSymbol Source #
Instance details Defined in CspCASL.Symbol Methods pretty :: CspRawSymbol -> Doc Source # pretties :: [CspRawSymbol] -> Doc Source #
Pretty CspSymbol Source #
Instance details Defined in CspCASL.Symbol Methods pretty :: CspSymbol -> Doc Source # pretties :: [CspSymbol] -> Doc Source #
Pretty CspSymbType Source #
Instance details Defined in CspCASL.Symbol Methods pretty :: CspSymbType -> Doc Source # pretties :: [CspSymbType] -> Doc Source #
Pretty CspAddMorphism Source #	a dummy instances used for the default definition
Instance details Defined in CspCASL.Morphism Methods pretty :: CspAddMorphism -> Doc Source # pretties :: [CspAddMorphism] -> Doc Source #
Pretty SYMB_OR_MAP Source #
Instance details Defined in DFOL.AS_DFOL Methods pretty :: SYMB_OR_MAP -> Doc Source # pretties :: [SYMB_OR_MAP] -> Doc Source #
Pretty SYMB_MAP_ITEMS Source #
Instance details Defined in DFOL.AS_DFOL Methods pretty :: SYMB_MAP_ITEMS -> Doc Source # pretties :: [SYMB_MAP_ITEMS] -> Doc Source #
Pretty SYMB_ITEMS Source #
Instance details Defined in DFOL.AS_DFOL Methods pretty :: SYMB_ITEMS -> Doc Source # pretties :: [SYMB_ITEMS] -> Doc Source #
Pretty FORMULA Source #
Instance details Defined in DFOL.AS_DFOL Methods pretty :: FORMULA -> Doc Source # pretties :: [FORMULA] -> Doc Source #
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 Methods pretty :: BASIC_ITEM -> Doc Source # pretties :: [BASIC_ITEM] -> Doc Source #
Pretty BASIC_SPEC Source #
Instance details Defined in DFOL.AS_DFOL Methods pretty :: BASIC_SPEC -> Doc Source # pretties :: [BASIC_SPEC] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in DFOL.Symbol Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
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 Methods pretty :: CONTEXT -> Doc Source # pretties :: [CONTEXT] -> Doc Source #
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 Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
Pretty EM_FORMULA Source #
Instance details Defined in ExtModal.Print_AS Methods pretty :: EM_FORMULA -> Doc Source # pretties :: [EM_FORMULA] -> Doc Source #
Pretty FormPrefix Source #
Instance details Defined in ExtModal.Print_AS Methods pretty :: FormPrefix -> Doc Source # pretties :: [FormPrefix] -> Doc Source #
Pretty EM_SIG_ITEM Source #
Instance details Defined in ExtModal.Print_AS Methods pretty :: EM_SIG_ITEM -> Doc Source # pretties :: [EM_SIG_ITEM] -> Doc Source #
Pretty MODALITY Source #
Instance details Defined in ExtModal.Print_AS Methods pretty :: MODALITY -> Doc Source # pretties :: [MODALITY] -> Doc Source #
Pretty EM_BASIC_ITEM Source #
Instance details Defined in ExtModal.Print_AS Methods pretty :: EM_BASIC_ITEM -> Doc Source # pretties :: [EM_BASIC_ITEM] -> Doc Source #
Pretty ModDefn Source #
Instance details Defined in ExtModal.Print_AS Methods pretty :: ModDefn -> Doc Source # pretties :: [ModDefn] -> Doc Source #
Pretty FrameForm Source #
Instance details Defined in ExtModal.Print_AS Methods pretty :: FrameForm -> Doc Source # pretties :: [FrameForm] -> Doc Source #
Pretty EModalSign Source #
Instance details Defined in ExtModal.Print_AS Methods pretty :: EModalSign -> Doc Source # pretties :: [EModalSign] -> Doc Source #
Pretty MorphExtension Source #
Instance details Defined in ExtModal.MorphismExtension Methods pretty :: MorphExtension -> Doc Source # pretties :: [MorphExtension] -> Doc Source #
Pretty TermExt Source #
Instance details Defined in Fpl.As Methods pretty :: TermExt -> Doc Source # pretties :: [TermExt] -> Doc Source #
Pretty FunDef Source #
Instance details Defined in Fpl.As Methods pretty :: FunDef -> Doc Source # pretties :: [FunDef] -> Doc Source #
Pretty FplOpItem Source #
Instance details Defined in Fpl.As Methods pretty :: FplOpItem -> Doc Source # pretties :: [FplOpItem] -> Doc Source #
Pretty FplSortItem Source #
Instance details Defined in Fpl.As Methods pretty :: FplSortItem -> Doc Source # pretties :: [FplSortItem] -> Doc Source #
Pretty FplExt Source #
Instance details Defined in Fpl.As Methods pretty :: FplExt -> Doc Source # pretties :: [FplExt] -> Doc Source #
Pretty SignExt Source #
Instance details Defined in Fpl.Sign Methods pretty :: SignExt -> Doc Source # pretties :: [SignExt] -> Doc Source #
Pretty ComorphismDef Source #
Instance details Defined in Framework.AS Methods pretty :: ComorphismDef -> Doc Source # pretties :: [ComorphismDef] -> Doc Source #
Pretty LogicDef Source #
Instance details Defined in Framework.AS Methods pretty :: LogicDef -> Doc Source # pretties :: [LogicDef] -> Doc Source #
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 Methods pretty :: NamedObject -> Doc Source # pretties :: [NamedObject] -> Doc Source #
Pretty PlacedObject Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: PlacedObject -> Doc Source # pretties :: [PlacedObject] -> Doc Source #
Pretty ExtendedObject Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: ExtendedObject -> Doc Source # pretties :: [ExtendedObject] -> Doc Source #
Pretty Object Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: Object -> Doc Source # pretties :: [Object] -> Doc Source #
Pretty BaseObject Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: BaseObject -> Doc Source # pretties :: [BaseObject] -> Doc Source #
Pretty Placement Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: Placement -> Doc Source # pretties :: [Placement] -> Doc Source #
Pretty Vector4 Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: Vector4 -> Doc Source # pretties :: [Vector4] -> Doc Source #
Pretty Matrix33 Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: Matrix33 -> Doc Source # pretties :: [Matrix33] -> Doc Source #
Pretty Vector3 Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: Vector3 -> Doc Source # pretties :: [Vector3] -> Doc Source #
Pretty SymbOrMap Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: SymbOrMap -> Doc Source # pretties :: [SymbOrMap] -> Doc Source #
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 Methods pretty :: SymbKind -> Doc Source # pretties :: [SymbKind] -> Doc Source #
Pretty SymbMapItems Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: SymbMapItems -> Doc Source # pretties :: [SymbMapItems] -> Doc Source #
Pretty SymbItems Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: SymbItems -> Doc Source # pretties :: [SymbItems] -> Doc Source #
Pretty GenVarDecl Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: GenVarDecl -> Doc Source # pretties :: [GenVarDecl] -> Doc Source #
Pretty TypeArg Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: TypeArg -> Doc Source # pretties :: [TypeArg] -> Doc Source #
Pretty VarDecl Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: VarDecl -> Doc Source # pretties :: [VarDecl] -> Doc Source #
Pretty PolyId Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: PolyId -> Doc Source # pretties :: [PolyId] -> Doc Source #
Pretty ProgEq Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: ProgEq -> Doc Source # pretties :: [ProgEq] -> Doc Source #
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 Methods pretty :: TypeQual -> Doc Source # pretties :: [TypeQual] -> Doc Source #
Pretty Quantifier Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: Quantifier -> Doc Source # pretties :: [Quantifier] -> Doc Source #
Pretty Component Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: Component -> Doc Source # pretties :: [Component] -> Doc Source #
Pretty Alternative Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: Alternative -> Doc Source # pretties :: [Alternative] -> Doc Source #
Pretty DatatypeDecl Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: DatatypeDecl -> Doc Source # pretties :: [DatatypeDecl] -> Doc Source #
Pretty OpAttr Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: OpAttr -> Doc Source # pretties :: [OpAttr] -> Doc Source #
Pretty BinOpAttr Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: BinOpAttr -> Doc Source # pretties :: [BinOpAttr] -> Doc Source #
Pretty Partiality Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: Partiality -> Doc Source # pretties :: [Partiality] -> Doc Source #
Pretty TypeScheme Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: TypeScheme -> Doc Source # pretties :: [TypeScheme] -> Doc Source #
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 Methods pretty :: TypePattern -> Doc Source # pretties :: [TypePattern] -> Doc Source #
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 Methods pretty :: TypeItem -> Doc Source # pretties :: [TypeItem] -> Doc Source #
Pretty Variance Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: Variance -> Doc Source # pretties :: [Variance] -> Doc Source #
Pretty ClassDecl Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: ClassDecl -> Doc Source # pretties :: [ClassDecl] -> Doc Source #
Pretty ClassItem Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: ClassItem -> Doc Source # pretties :: [ClassItem] -> Doc Source #
Pretty OpBrand Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: OpBrand -> Doc Source # pretties :: [OpBrand] -> Doc Source #
Pretty SigItems Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: SigItems -> Doc Source # pretties :: [SigItems] -> Doc Source #
Pretty BasicItem Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: BasicItem -> Doc Source # pretties :: [BasicItem] -> Doc Source #
Pretty BasicSpec Source #
Instance details Defined in HasCASL.PrintAs Methods pretty :: BasicSpec -> Doc Source # pretties :: [BasicSpec] -> Doc Source #
Pretty RawSymbol Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: RawSymbol -> Doc Source # pretties :: [RawSymbol] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Pretty Morphism Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
Pretty Constrain Source #
Instance details Defined in HasCASL.Constrain Methods pretty :: Constrain -> Doc Source # pretties :: [Constrain] -> Doc Source #
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 Methods pretty :: OpInfo -> Doc Source # pretties :: [OpInfo] -> Doc Source #
Pretty OpDefn Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: OpDefn -> Doc Source # pretties :: [OpDefn] -> Doc Source #
Pretty ConstrInfo Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: ConstrInfo -> Doc Source # pretties :: [ConstrInfo] -> Doc Source #
Pretty VarDefn Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: VarDefn -> Doc Source # pretties :: [VarDefn] -> Doc Source #
Pretty TypeVarDefn Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: TypeVarDefn -> Doc Source # pretties :: [TypeVarDefn] -> Doc Source #
Pretty Sentence Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: Sentence -> Doc Source # pretties :: [Sentence] -> Doc Source #
Pretty TypeInfo Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: TypeInfo -> Doc Source # pretties :: [TypeInfo] -> Doc Source #
Pretty TypeDefn Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: TypeDefn -> Doc Source # pretties :: [TypeDefn] -> Doc Source #
Pretty DataEntry Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: DataEntry -> Doc Source # pretties :: [DataEntry] -> Doc Source #
Pretty Selector Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: Selector -> Doc Source # pretties :: [Selector] -> Doc Source #
Pretty ClassInfo Source #
Instance details Defined in HasCASL.PrintLe Methods pretty :: ClassInfo -> Doc Source # pretties :: [ClassInfo] -> Doc Source #
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 Methods pretty :: Sentence -> Doc Source # pretties :: [Sentence] -> Doc Source #
Pretty H_FORMULA Source #
Instance details Defined in Hybrid.Print_AS Methods pretty :: H_FORMULA -> Doc Source # pretties :: [H_FORMULA] -> Doc Source #
Pretty NOMINAL Source #
Instance details Defined in Hybrid.Print_AS Methods pretty :: NOMINAL -> Doc Source # pretties :: [NOMINAL] -> Doc Source #
Pretty MODALITY Source #
Instance details Defined in Hybrid.Print_AS Methods pretty :: MODALITY -> Doc Source # pretties :: [MODALITY] -> Doc Source #
Pretty H_SIG_ITEM Source #
Instance details Defined in Hybrid.Print_AS Methods pretty :: H_SIG_ITEM -> Doc Source # pretties :: [H_SIG_ITEM] -> Doc Source #
Pretty RIGOR Source #
Instance details Defined in Hybrid.Print_AS Methods pretty :: RIGOR -> Doc Source # pretties :: [RIGOR] -> Doc Source #
Pretty H_BASIC_ITEM Source #
Instance details Defined in Hybrid.Print_AS Methods pretty :: H_BASIC_ITEM -> Doc Source # pretties :: [H_BASIC_ITEM] -> Doc Source #
Pretty HybridSign Source #
Instance details Defined in Hybrid.Print_AS Methods pretty :: HybridSign -> Doc Source # pretties :: [HybridSign] -> Doc Source #
Pretty ProofMethod Source #
Instance details Defined in Isabelle.IsaPrint Methods pretty :: ProofMethod -> Doc Source # pretties :: [ProofMethod] -> Doc Source #
Pretty Modifier Source #
Instance details Defined in Isabelle.IsaPrint Methods pretty :: Modifier -> Doc Source # pretties :: [Modifier] -> Doc Source #
Pretty ProofEnd Source #
Instance details Defined in Isabelle.IsaPrint Methods pretty :: ProofEnd -> Doc Source # pretties :: [ProofEnd] -> Doc Source #
Pretty ProofCommand Source #
Instance details Defined in Isabelle.IsaPrint Methods pretty :: ProofCommand -> Doc Source # pretties :: [ProofCommand] -> Doc Source #
Pretty IsaProof Source #
Instance details Defined in Isabelle.IsaPrint Methods pretty :: IsaProof -> Doc Source # pretties :: [IsaProof] -> Doc Source #
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 Methods pretty :: Sentence -> Doc Source # pretties :: [Sentence] -> Doc Source #
Pretty SYMB_OR_MAP Source #
Instance details Defined in LF.AS Methods pretty :: SYMB_OR_MAP -> Doc Source # pretties :: [SYMB_OR_MAP] -> Doc Source #
Pretty SYMB_MAP_ITEMS Source #
Instance details Defined in LF.AS Methods pretty :: SYMB_MAP_ITEMS -> Doc Source # pretties :: [SYMB_MAP_ITEMS] -> Doc Source #
Pretty SYMB_ITEMS Source #
Instance details Defined in LF.AS Methods pretty :: SYMB_ITEMS -> Doc Source # pretties :: [SYMB_ITEMS] -> Doc Source #
Pretty BASIC_ITEM Source #
Instance details Defined in LF.AS Methods pretty :: BASIC_ITEM -> Doc Source # pretties :: [BASIC_ITEM] -> Doc Source #
Pretty BASIC_SPEC Source #
Instance details Defined in LF.AS Methods pretty :: BASIC_SPEC -> Doc Source # pretties :: [BASIC_SPEC] -> Doc Source #
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 Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Pretty Morphism Source #
Instance details Defined in LF.Morphism Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
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 Methods pretty :: LabelId -> Doc Source # pretties :: [LabelId] -> Doc Source #
Pretty ModId Source #
Instance details Defined in Maude.Printing Methods pretty :: ModId -> Doc Source # pretties :: [ModId] -> Doc Source #
Pretty ViewId Source #
Instance details Defined in Maude.Printing Methods pretty :: ViewId -> Doc Source # pretties :: [ViewId] -> Doc Source #
Pretty ParamId Source #
Instance details Defined in Maude.Printing Methods pretty :: ParamId -> Doc Source # pretties :: [ParamId] -> Doc Source #
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 Methods pretty :: StmntAttr -> Doc Source # pretties :: [StmntAttr] -> Doc Source #
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 Methods pretty :: Condition -> Doc Source # pretties :: [Condition] -> Doc Source #
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 Methods pretty :: Equation -> Doc Source # pretties :: [Equation] -> Doc Source #
Pretty Membership Source #
Instance details Defined in Maude.Printing Methods pretty :: Membership -> Doc Source # pretties :: [Membership] -> Doc Source #
Pretty MaudeText Source #
Instance details Defined in Maude.AS_Maude Methods pretty :: MaudeText -> Doc Source # pretties :: [MaudeText] -> Doc Source #
Pretty SymbolKind Source #
Instance details Defined in Maude.Symbol Methods pretty :: SymbolKind -> Doc Source # pretties :: [SymbolKind] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in Maude.Symbol Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Pretty Sentence Source #
Instance details Defined in Maude.Sentence Methods pretty :: Sentence -> Doc Source # pretties :: [Sentence] -> Doc Source #
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 Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
Pretty M_FORMULA Source #
Instance details Defined in Modal.Print_AS Methods pretty :: M_FORMULA -> Doc Source # pretties :: [M_FORMULA] -> Doc Source #
Pretty MODALITY Source #
Instance details Defined in Modal.Print_AS Methods pretty :: MODALITY -> Doc Source # pretties :: [MODALITY] -> Doc Source #
Pretty M_SIG_ITEM Source #
Instance details Defined in Modal.Print_AS Methods pretty :: M_SIG_ITEM -> Doc Source # pretties :: [M_SIG_ITEM] -> Doc Source #
Pretty RIGOR Source #
Instance details Defined in Modal.Print_AS Methods pretty :: RIGOR -> Doc Source # pretties :: [RIGOR] -> Doc Source #
Pretty M_BASIC_ITEM Source #
Instance details Defined in Modal.Print_AS Methods pretty :: M_BASIC_ITEM -> Doc Source # pretties :: [M_BASIC_ITEM] -> Doc Source #
Pretty ModalSign Source #
Instance details Defined in Modal.Print_AS Methods pretty :: ModalSign -> Doc Source # pretties :: [ModalSign] -> Doc Source #
Pretty SYMB_OR_MAP Source #
Instance details Defined in NeSyPatterns.Print Methods pretty :: SYMB_OR_MAP -> Doc Source # pretties :: [SYMB_OR_MAP] -> Doc Source #
Pretty SYMB_MAP_ITEMS Source #
Instance details Defined in NeSyPatterns.Print Methods pretty :: SYMB_MAP_ITEMS -> Doc Source # pretties :: [SYMB_MAP_ITEMS] -> Doc Source #
Pretty SYMB_ITEMS Source #
Instance details Defined in NeSyPatterns.Print Methods pretty :: SYMB_ITEMS -> Doc Source # pretties :: [SYMB_ITEMS] -> Doc Source #
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 Methods pretty :: BASIC_ITEM -> Doc Source # pretties :: [BASIC_ITEM] -> Doc Source #
Pretty BASIC_SPEC Source #
Instance details Defined in NeSyPatterns.Print Methods pretty :: BASIC_SPEC -> Doc Source # pretties :: [BASIC_SPEC] -> Doc Source #
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 Methods pretty :: OMName -> Doc Source # pretties :: [OMName] -> Doc Source #
Pretty Morphism Source #
Instance details Defined in OMDoc.OMDocInterface Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
Pretty Inclusion Source #
Instance details Defined in OMDoc.OMDocInterface Methods pretty :: Inclusion -> Doc Source # pretties :: [Inclusion] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in OMDoc.OMDocInterface Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Pretty Theory Source #
Instance details Defined in OMDoc.OMDocInterface Methods pretty :: Theory -> Doc Source # pretties :: [Theory] -> Doc Source #
Pretty DatatypeFacet Source #
Instance details Defined in OWL2.Print Methods pretty :: DatatypeFacet -> Doc Source # pretties :: [DatatypeFacet] -> Doc Source #
Pretty OntologyDocument Source #
Instance details Defined in OWL2.Pretty Methods pretty :: OntologyDocument -> Doc Source # pretties :: [OntologyDocument] -> Doc Source #
Pretty Axiom Source #
Instance details Defined in OWL2.Pretty Methods pretty :: Axiom -> Doc Source # pretties :: [Axiom] -> Doc Source #
Pretty AnnotationValue Source #	annotations printing
Instance details Defined in OWL2.Print Methods pretty :: AnnotationValue -> Doc Source # pretties :: [AnnotationValue] -> Doc Source #
Pretty Annotation Source #
Instance details Defined in OWL2.Print Methods pretty :: Annotation -> Doc Source # pretties :: [Annotation] -> Doc Source #
Pretty ClassExpression Source #	Printing the ClassExpression
Instance details Defined in OWL2.Print Methods pretty :: ClassExpression -> Doc Source # pretties :: [ClassExpression] -> Doc Source #
Pretty DataRange Source #	Printing the DataRange
Instance details Defined in OWL2.Print Methods pretty :: DataRange -> Doc Source # pretties :: [DataRange] -> Doc Source #
Pretty ObjectPropertyExpression Source #
Instance details Defined in OWL2.Print Methods pretty :: ObjectPropertyExpression -> Doc Source # pretties :: [ObjectPropertyExpression] -> Doc Source #
Pretty Literal Source #
Instance details Defined in OWL2.Print Methods pretty :: Literal -> Doc Source # pretties :: [Literal] -> Doc Source #
Pretty Entity Source #
Instance details Defined in OWL2.Print Methods pretty :: Entity -> Doc Source # pretties :: [Entity] -> Doc Source #
Pretty Character Source #
Instance details Defined in OWL2.Print Methods pretty :: Character -> Doc Source # pretties :: [Character] -> Doc Source #
Pretty OntologyDocument Source #
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: OntologyDocument -> Doc Source # pretties :: [OntologyDocument] -> Doc Source #
Pretty Ontology Source #	Printing the ontology
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: Ontology -> Doc Source # pretties :: [Ontology] -> Doc Source #
Pretty Axiom Source #
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: Axiom -> Doc Source # pretties :: [Axiom] -> Doc Source #
Pretty Frame Source #
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: Frame -> Doc Source # pretties :: [Frame] -> Doc Source #
Pretty FrameBit Source #
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: FrameBit -> Doc Source # pretties :: [FrameBit] -> Doc Source #
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 Methods pretty :: ListFrameBit -> Doc Source # pretties :: [ListFrameBit] -> Doc Source #
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 Methods pretty :: RawSymb -> Doc Source # pretties :: [RawSymb] -> Doc Source #
Pretty SymbMapItems Source #
Instance details Defined in OWL2.Print Methods pretty :: SymbMapItems -> Doc Source # pretties :: [SymbMapItems] -> Doc Source #
Pretty SymbItems Source #
Instance details Defined in OWL2.Print Methods pretty :: SymbItems -> Doc Source # pretties :: [SymbItems] -> Doc Source #
Pretty ExtEntityType Source #	Symbols printing
Instance details Defined in OWL2.Print Methods pretty :: ExtEntityType -> Doc Source # pretties :: [ExtEntityType] -> Doc Source #
Pretty OWLMorphism Source #
Instance details Defined in OWL2.Morphism Methods pretty :: OWLMorphism -> Doc Source # pretties :: [OWLMorphism] -> Doc Source #
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 Methods pretty :: ResolvedNode -> Doc Source # pretties :: [ResolvedNode] -> Doc Source #
Pretty Morphism Source #
Instance details Defined in NeSyPatterns.Morphism Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in NeSyPatterns.Symbol Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Pretty SYMB_OR_MAP Source #
Instance details Defined in Propositional.AS_BASIC_Propositional Methods pretty :: SYMB_OR_MAP -> Doc Source # pretties :: [SYMB_OR_MAP] -> Doc Source #
Pretty SYMB_MAP_ITEMS Source #
Instance details Defined in Propositional.AS_BASIC_Propositional Methods pretty :: SYMB_MAP_ITEMS -> Doc Source # pretties :: [SYMB_MAP_ITEMS] -> Doc Source #
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 Methods pretty :: SYMB_ITEMS -> Doc Source # pretties :: [SYMB_ITEMS] -> Doc Source #
Pretty FORMULA Source #
Instance details Defined in Propositional.AS_BASIC_Propositional Methods pretty :: FORMULA -> Doc Source # pretties :: [FORMULA] -> Doc Source #
Pretty BASIC_ITEMS Source #
Instance details Defined in Propositional.AS_BASIC_Propositional Methods pretty :: BASIC_ITEMS -> Doc Source # pretties :: [BASIC_ITEMS] -> Doc Source #
Pretty BASIC_SPEC Source #
Instance details Defined in Propositional.AS_BASIC_Propositional Methods pretty :: BASIC_SPEC -> Doc Source # pretties :: [BASIC_SPEC] -> Doc Source #
Pretty PRED_ITEM Source #
Instance details Defined in Propositional.AS_BASIC_Propositional Methods pretty :: PRED_ITEM -> Doc Source # pretties :: [PRED_ITEM] -> Doc Source #
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 Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in Propositional.Symbol Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Pretty SYMBORMAP Source #
Instance details Defined in QBF.AS_BASIC_QBF Methods pretty :: SYMBORMAP -> Doc Source # pretties :: [SYMBORMAP] -> Doc Source #
Pretty SYMBMAPITEMS Source #
Instance details Defined in QBF.AS_BASIC_QBF Methods pretty :: SYMBMAPITEMS -> Doc Source # pretties :: [SYMBMAPITEMS] -> Doc Source #
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 Methods pretty :: SYMBITEMS -> Doc Source # pretties :: [SYMBITEMS] -> Doc Source #
Pretty FORMULA Source #
Instance details Defined in QBF.AS_BASIC_QBF Methods pretty :: FORMULA -> Doc Source # pretties :: [FORMULA] -> Doc Source #
Pretty BASICITEMS Source #
Instance details Defined in QBF.AS_BASIC_QBF Methods pretty :: BASICITEMS -> Doc Source # pretties :: [BASICITEMS] -> Doc Source #
Pretty BASICSPEC Source #
Instance details Defined in QBF.AS_BASIC_QBF Methods pretty :: BASICSPEC -> Doc Source # pretties :: [BASICSPEC] -> Doc Source #
Pretty PREDITEM Source #
Instance details Defined in QBF.AS_BASIC_QBF Methods pretty :: PREDITEM -> Doc Source # pretties :: [PREDITEM] -> Doc Source #
Pretty Morphism Source #
Instance details Defined in QBF.Morphism Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in QBF.Symbol Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Pretty STRING Source #
Instance details Defined in QVTR.Print Methods pretty :: STRING -> Doc Source # pretties :: [STRING] -> Doc Source #
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 Methods pretty :: RelInvok -> Doc Source # pretties :: [RelInvok] -> Doc Source #
Pretty WhenWhere Source #
Instance details Defined in QVTR.Print Methods pretty :: WhenWhere -> Doc Source # pretties :: [WhenWhere] -> Doc Source #
Pretty PropertyTemplate Source #
Instance details Defined in QVTR.Print Methods pretty :: PropertyTemplate -> Doc Source # pretties :: [PropertyTemplate] -> Doc Source #
Pretty ObjectTemplate Source #
Instance details Defined in QVTR.Print Methods pretty :: ObjectTemplate -> Doc Source # pretties :: [ObjectTemplate] -> Doc Source #
Pretty Domain Source #
Instance details Defined in QVTR.Print Methods pretty :: Domain -> Doc Source # pretties :: [Domain] -> Doc Source #
Pretty PrimitiveDomain Source #
Instance details Defined in QVTR.Print Methods pretty :: PrimitiveDomain -> Doc Source # pretties :: [PrimitiveDomain] -> Doc Source #
Pretty RelVar Source #
Instance details Defined in QVTR.Print Methods pretty :: RelVar -> Doc Source # pretties :: [RelVar] -> Doc Source #
Pretty Relation Source #
Instance details Defined in QVTR.Print Methods pretty :: Relation -> Doc Source # pretties :: [Relation] -> Doc Source #
Pretty PropKey Source #
Instance details Defined in QVTR.Print Methods pretty :: PropKey -> Doc Source # pretties :: [PropKey] -> Doc Source #
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 Methods pretty :: Transformation -> Doc Source # pretties :: [Transformation] -> Doc Source #
Pretty Pattern Source #
Instance details Defined in QVTR.Sign Methods pretty :: Pattern -> Doc Source # pretties :: [Pattern] -> Doc Source #
Pretty RelationSen Source #
Instance details Defined in QVTR.Sign Methods pretty :: RelationSen -> Doc Source # pretties :: [RelationSen] -> Doc Source #
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 Methods pretty :: RuleDef -> Doc Source # pretties :: [RuleDef] -> Doc Source #
Pretty RDFEntity Source #
Instance details Defined in RDF.Print Methods pretty :: RDFEntity -> Doc Source # pretties :: [RDFEntity] -> Doc Source #
Pretty RDFEntityType Source #	Symbols printing
Instance details Defined in RDF.Print Methods pretty :: RDFEntityType -> Doc Source # pretties :: [RDFEntityType] -> Doc Source #
Pretty Axiom Source #
Instance details Defined in RDF.Print Methods pretty :: Axiom -> Doc Source # pretties :: [Axiom] -> Doc Source #
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 Methods pretty :: RDFLiteral -> Doc Source # pretties :: [RDFLiteral] -> Doc Source #
Pretty PredicateObjectList Source #
Instance details Defined in RDF.Print Methods pretty :: PredicateObjectList -> Doc Source # pretties :: [PredicateObjectList] -> Doc Source #
Pretty Object Source #
Instance details Defined in RDF.Print Methods pretty :: Object -> Doc Source # pretties :: [Object] -> Doc Source #
Pretty Predicate Source #
Instance details Defined in RDF.Print Methods pretty :: Predicate -> Doc Source # pretties :: [Predicate] -> Doc Source #
Pretty Subject Source #
Instance details Defined in RDF.Print Methods pretty :: Subject -> Doc Source # pretties :: [Subject] -> Doc Source #
Pretty Triples Source #
Instance details Defined in RDF.Print Methods pretty :: Triples -> Doc Source # pretties :: [Triples] -> Doc Source #
Pretty Statement Source #
Instance details Defined in RDF.Print Methods pretty :: Statement -> Doc Source # pretties :: [Statement] -> Doc Source #
Pretty TurtleDocument Source #
Instance details Defined in RDF.Print Methods pretty :: TurtleDocument -> Doc Source # pretties :: [TurtleDocument] -> Doc Source #
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 Methods pretty :: RawSymb -> Doc Source # pretties :: [RawSymb] -> Doc Source #
Pretty SymbMapItems Source #
Instance details Defined in RDF.Print Methods pretty :: SymbMapItems -> Doc Source # pretties :: [SymbMapItems] -> Doc Source #
Pretty SymbItems Source #
Instance details Defined in RDF.Print Methods pretty :: SymbItems -> Doc Source # pretties :: [SymbItems] -> Doc Source #
Pretty RDFMorphism Source #
Instance details Defined in RDF.Morphism Methods pretty :: RDFMorphism -> Doc Source # pretties :: [RDFMorphism] -> Doc Source #
Pretty RSMorphism Source #
Instance details Defined in RelationalScheme.Sign Methods pretty :: RSMorphism -> Doc Source # pretties :: [RSMorphism] -> Doc Source #
Pretty RSTMap Source #
Instance details Defined in RelationalScheme.Sign Methods pretty :: RSTMap -> Doc Source # pretties :: [RSTMap] -> Doc Source #
Pretty RSTables Source #
Instance details Defined in RelationalScheme.Sign Methods pretty :: RSTables -> Doc Source # pretties :: [RSTables] -> Doc Source #
Pretty RSTable Source #
Instance details Defined in RelationalScheme.Sign Methods pretty :: RSTable -> Doc Source # pretties :: [RSTable] -> Doc Source #
Pretty RSColumn Source #
Instance details Defined in RelationalScheme.Sign Methods pretty :: RSColumn -> Doc Source # pretties :: [RSColumn] -> Doc Source #
Pretty RSSymbolKind Source #
Instance details Defined in RelationalScheme.Sign Methods pretty :: RSSymbolKind -> Doc Source # pretties :: [RSSymbolKind] -> Doc Source #
Pretty RSSymbol Source #
Instance details Defined in RelationalScheme.Sign Methods pretty :: RSSymbol -> Doc Source # pretties :: [RSSymbol] -> Doc Source #
Pretty RSDatatype Source #
Instance details Defined in RelationalScheme.Sign Methods pretty :: RSDatatype -> Doc Source # pretties :: [RSDatatype] -> Doc Source #
Pretty RSScheme Source #
Instance details Defined in RelationalScheme.AS Methods pretty :: RSScheme -> Doc Source # pretties :: [RSScheme] -> Doc Source #
Pretty RSRelationships Source #
Instance details Defined in RelationalScheme.AS Methods pretty :: RSRelationships -> Doc Source # pretties :: [RSRelationships] -> Doc Source #
Pretty RSRel Source #
Instance details Defined in RelationalScheme.AS Methods pretty :: RSRel -> Doc Source # pretties :: [RSRel] -> Doc Source #
Pretty RSQualId Source #
Instance details Defined in RelationalScheme.AS Methods pretty :: RSQualId -> Doc Source # pretties :: [RSQualId] -> Doc Source #
Pretty SPCRBIND Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPCRBIND -> Doc Source # pretties :: [SPCRBIND] -> Doc Source #
Pretty SPSettingLabel Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPSettingLabel -> Doc Source # pretties :: [SPSettingLabel] -> Doc Source #
Pretty SPHypothesis Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPHypothesis -> Doc Source # pretties :: [SPHypothesis] -> Doc Source #
Pretty SPSettingBody Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPSettingBody -> Doc Source # pretties :: [SPSettingBody] -> Doc Source #
Pretty SPSetting Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPSetting -> Doc Source # pretties :: [SPSetting] -> Doc Source #
Pretty SPLogState Source #	Creates a Doc from an `SPLogState`.
Instance details Defined in SoftFOL.Print Methods pretty :: SPLogState -> Doc Source # pretties :: [SPLogState] -> Doc Source #
Pretty SPDescription Source #	Creates a Doc from a SPASS description.
Instance details Defined in SoftFOL.Print Methods pretty :: SPDescription -> Doc Source # pretties :: [SPDescription] -> Doc Source #
Pretty SPValue Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPValue -> Doc Source # pretties :: [SPValue] -> Doc Source #
Pretty SPKey Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPKey -> Doc Source # pretties :: [SPKey] -> Doc Source #
Pretty SPParent Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPParent -> Doc Source # pretties :: [SPParent] -> Doc Source #
Pretty SPUserRuleAppl Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPUserRuleAppl -> Doc Source # pretties :: [SPUserRuleAppl] -> Doc Source #
Pretty SPRuleAppl Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPRuleAppl -> Doc Source # pretties :: [SPRuleAppl] -> Doc Source #
Pretty SPResult Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPResult -> Doc Source # pretties :: [SPResult] -> Doc Source #
Pretty SPReference Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPReference -> Doc Source # pretties :: [SPReference] -> Doc Source #
Pretty SPProofList Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPProofList -> Doc Source # pretties :: [SPProofList] -> Doc Source #
Pretty SPSymbol Source #	Creates a Doc from a SPASS Symbol. printSymbol :: SPSymbol-> Doc
Instance details Defined in SoftFOL.Print Methods pretty :: SPSymbol -> Doc Source # pretties :: [SPSymbol] -> Doc Source #
Pretty SPQuantSym Source #	Creates a Doc from a SPASS Quantifier Symbol.
Instance details Defined in SoftFOL.Print Methods pretty :: SPQuantSym -> Doc Source # pretties :: [SPQuantSym] -> Doc Source #
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 Methods pretty :: SPTerm -> Doc Source # pretties :: [SPTerm] -> Doc Source #
Pretty TermWsList Source #
Instance details Defined in SoftFOL.Print Methods pretty :: TermWsList -> Doc Source # pretties :: [TermWsList] -> Doc Source #
Pretty NSPClause Source #
Instance details Defined in SoftFOL.Print Methods pretty :: NSPClause -> Doc Source # pretties :: [NSPClause] -> Doc Source #
Pretty SPClauseType Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPClauseType -> Doc Source # pretties :: [SPClauseType] -> Doc Source #
Pretty SPOriginType Source #	Creates a Doc from a SPASS Origin Type
Instance details Defined in SoftFOL.Print Methods pretty :: SPOriginType -> Doc Source # pretties :: [SPOriginType] -> Doc Source #
Pretty SPClauseList Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SPClauseList -> Doc Source # pretties :: [SPClauseList] -> Doc Source #
Pretty SPFormulaList Source #	Creates a Doc from a SPASS Formula List
Instance details Defined in SoftFOL.Print Methods pretty :: SPFormulaList -> Doc Source # pretties :: [SPFormulaList] -> Doc Source #
Pretty SPDeclaration Source #	Creates a Doc from a SPASS Declaration
Instance details Defined in SoftFOL.Print Methods pretty :: SPDeclaration -> Doc Source # pretties :: [SPDeclaration] -> Doc Source #
Pretty SPSignSym Source #	Helper function. Creates a Doc from a Signature Symbol.
Instance details Defined in SoftFOL.Print Methods pretty :: SPSignSym -> Doc Source # pretties :: [SPSignSym] -> Doc Source #
Pretty SPSymbolList Source #	Creates a Doc from a SPASS Symbol List.
Instance details Defined in SoftFOL.Print Methods pretty :: SPSymbolList -> Doc Source # pretties :: [SPSymbolList] -> Doc Source #
Pretty SPLogicalPart Source #	Creates a Doc from a SPASS Logical Part.
Instance details Defined in SoftFOL.Print Methods pretty :: SPLogicalPart -> Doc Source # pretties :: [SPLogicalPart] -> Doc Source #
Pretty SPProblem Source #	Creates a Doc from a SPASS Problem.
Instance details Defined in SoftFOL.Print Methods pretty :: SPProblem -> Doc Source # pretties :: [SPProblem] -> Doc Source #
Pretty SFSymbType Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SFSymbType -> Doc Source # pretties :: [SFSymbType] -> Doc Source #
Pretty SFSymbol Source #
Instance details Defined in SoftFOL.Print Methods pretty :: SFSymbol -> Doc Source # pretties :: [SFSymbol] -> Doc Source #
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 Methods pretty :: ConsStatus -> Doc Source # pretties :: [ConsStatus] -> Doc Source #
Pretty ThmLinkStatus Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: ThmLinkStatus -> Doc Source # pretties :: [ThmLinkStatus] -> Doc Source #
Pretty DGRule Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: DGRule -> Doc Source # pretties :: [DGRule] -> Doc Source #
Pretty EdgeId Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: EdgeId -> Doc Source # pretties :: [EdgeId] -> Doc Source #
Pretty NodeName Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: NodeName -> Doc Source # pretties :: [NodeName] -> Doc Source #
Pretty Number Source #
Instance details Defined in THF.PrintTHF Methods pretty :: Number -> Doc Source # pretties :: [Number] -> Doc Source #
Pretty AtomicWord Source #
Instance details Defined in THF.PrintTHF Methods pretty :: AtomicWord -> Doc Source # pretties :: [AtomicWord] -> Doc Source #
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 Methods pretty :: FormulaData -> Doc Source # pretties :: [FormulaData] -> Doc Source #
Pretty GeneralFunction Source #
Instance details Defined in THF.PrintTHF Methods pretty :: GeneralFunction -> Doc Source # pretties :: [GeneralFunction] -> Doc Source #
Pretty GeneralData Source #
Instance details Defined in THF.PrintTHF Methods pretty :: GeneralData -> Doc Source # pretties :: [GeneralData] -> Doc Source #
Pretty GeneralTerm Source #
Instance details Defined in THF.PrintTHF Methods pretty :: GeneralTerm -> Doc Source # pretties :: [GeneralTerm] -> Doc Source #
Pretty StatusValue Source #
Instance details Defined in THF.PrintTHF Methods pretty :: StatusValue -> Doc Source # pretties :: [StatusValue] -> Doc Source #
Pretty InferenceStatus Source #
Instance details Defined in THF.PrintTHF Methods pretty :: InferenceStatus -> Doc Source # pretties :: [InferenceStatus] -> Doc Source #
Pretty InferenceItem Source #
Instance details Defined in THF.PrintTHF Methods pretty :: InferenceItem -> Doc Source # pretties :: [InferenceItem] -> Doc Source #
Pretty FormulaItem Source #
Instance details Defined in THF.PrintTHF Methods pretty :: FormulaItem -> Doc Source # pretties :: [FormulaItem] -> Doc Source #
Pretty InfoItem Source #
Instance details Defined in THF.PrintTHF Methods pretty :: InfoItem -> Doc Source # pretties :: [InfoItem] -> Doc Source #
Pretty TheoryName Source #
Instance details Defined in THF.PrintTHF Methods pretty :: TheoryName -> Doc Source # pretties :: [TheoryName] -> Doc Source #
Pretty FileSource Source #
Instance details Defined in THF.PrintTHF Methods pretty :: FileSource -> Doc Source # pretties :: [FileSource] -> Doc Source #
Pretty ExternalSource Source #
Instance details Defined in THF.PrintTHF Methods pretty :: ExternalSource -> Doc Source # pretties :: [ExternalSource] -> Doc Source #
Pretty IntroType Source #
Instance details Defined in THF.PrintTHF Methods pretty :: IntroType -> Doc Source # pretties :: [IntroType] -> Doc Source #
Pretty ParentInfo Source #
Instance details Defined in THF.PrintTHF Methods pretty :: ParentInfo -> Doc Source # pretties :: [ParentInfo] -> Doc Source #
Pretty DagSource Source #
Instance details Defined in THF.PrintTHF Methods pretty :: DagSource -> Doc Source # pretties :: [DagSource] -> Doc Source #
Pretty Source Source #
Instance details Defined in THF.PrintTHF Methods pretty :: Source -> Doc Source # pretties :: [Source] -> Doc Source #
Pretty PrincipalSymbol Source #
Instance details Defined in THF.PrintTHF Methods pretty :: PrincipalSymbol -> Doc Source # pretties :: [PrincipalSymbol] -> Doc Source #
Pretty SystemTerm Source #
Instance details Defined in THF.PrintTHF Methods pretty :: SystemTerm -> Doc Source # pretties :: [SystemTerm] -> Doc Source #
Pretty DefinedFunctor Source #
Instance details Defined in THF.PrintTHF Methods pretty :: DefinedFunctor -> Doc Source # pretties :: [DefinedFunctor] -> Doc Source #
Pretty DefinedPlainTerm Source #
Instance details Defined in THF.PrintTHF Methods pretty :: DefinedPlainTerm -> Doc Source # pretties :: [DefinedPlainTerm] -> Doc Source #
Pretty DefinedAtom Source #
Instance details Defined in THF.PrintTHF Methods pretty :: DefinedAtom -> Doc Source # pretties :: [DefinedAtom] -> Doc Source #
Pretty DefinedTerm Source #
Instance details Defined in THF.PrintTHF Methods pretty :: DefinedTerm -> Doc Source # pretties :: [DefinedTerm] -> Doc Source #
Pretty PlainTerm Source #
Instance details Defined in THF.PrintTHF Methods pretty :: PlainTerm -> Doc Source # pretties :: [PlainTerm] -> Doc Source #
Pretty FunctionTerm Source #
Instance details Defined in THF.PrintTHF Methods pretty :: FunctionTerm -> Doc Source # pretties :: [FunctionTerm] -> Doc Source #
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 Methods pretty :: DefinedPred -> Doc Source # pretties :: [DefinedPred] -> Doc Source #
Pretty DefinedProp Source #
Instance details Defined in THF.PrintTHF Methods pretty :: DefinedProp -> Doc Source # pretties :: [DefinedProp] -> Doc Source #
Pretty DefinedPlainFormula Source #
Instance details Defined in THF.PrintTHF Methods pretty :: DefinedPlainFormula -> Doc Source # pretties :: [DefinedPlainFormula] -> Doc Source #
Pretty DefinedType Source #
Instance details Defined in THF.PrintTHF Methods pretty :: DefinedType -> Doc Source # pretties :: [DefinedType] -> Doc Source #
Pretty AssocConnective Source #
Instance details Defined in THF.PrintTHF Methods pretty :: AssocConnective -> Doc Source # pretties :: [AssocConnective] -> Doc Source #
Pretty THFUnaryConnective Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFUnaryConnective -> Doc Source # pretties :: [THFUnaryConnective] -> Doc Source #
Pretty THFPairConnective Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFPairConnective -> Doc Source # pretties :: [THFPairConnective] -> Doc Source #
Pretty Quantifier Source #
Instance details Defined in THF.PrintTHF Methods pretty :: Quantifier -> Doc Source # pretties :: [Quantifier] -> Doc Source #
Pretty THFQuantifier Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFQuantifier -> Doc Source # pretties :: [THFQuantifier] -> Doc Source #
Pretty THFConnTerm Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFConnTerm -> Doc Source # pretties :: [THFConnTerm] -> Doc Source #
Pretty THFSequent Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFSequent -> Doc Source # pretties :: [THFSequent] -> Doc Source #
Pretty THFAtom Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFAtom -> Doc Source # pretties :: [THFAtom] -> Doc Source #
Pretty THFBinaryType Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFBinaryType -> Doc Source # pretties :: [THFBinaryType] -> Doc Source #
Pretty THFUnitaryType Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFUnitaryType -> Doc Source # pretties :: [THFUnitaryType] -> Doc Source #
Pretty THFTopLevelType Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFTopLevelType -> Doc Source # pretties :: [THFTopLevelType] -> Doc Source #
Pretty THFSubType Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFSubType -> Doc Source # pretties :: [THFSubType] -> Doc Source #
Pretty THFTypeableFormula Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFTypeableFormula -> Doc Source # pretties :: [THFTypeableFormula] -> Doc Source #
Pretty THFTypeFormula Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFTypeFormula -> Doc Source # pretties :: [THFTypeFormula] -> Doc Source #
Pretty THFTypedConst Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFTypedConst -> Doc Source # pretties :: [THFTypedConst] -> Doc Source #
Pretty THFVariable Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFVariable -> Doc Source # pretties :: [THFVariable] -> Doc Source #
Pretty THFQuantifiedFormula Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFQuantifiedFormula -> Doc Source # pretties :: [THFQuantifiedFormula] -> Doc Source #
Pretty THFUnitaryFormula Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFUnitaryFormula -> Doc Source # pretties :: [THFUnitaryFormula] -> Doc Source #
Pretty THFBinaryTuple Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFBinaryTuple -> Doc Source # pretties :: [THFBinaryTuple] -> Doc Source #
Pretty THFBinaryFormula Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFBinaryFormula -> Doc Source # pretties :: [THFBinaryFormula] -> Doc Source #
Pretty THFLogicFormula Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFLogicFormula -> Doc Source # pretties :: [THFLogicFormula] -> Doc Source #
Pretty THFFormula Source #
Instance details Defined in THF.PrintTHF Methods pretty :: THFFormula -> Doc Source # pretties :: [THFFormula] -> Doc Source #
Pretty FormulaRole Source #
Instance details Defined in THF.PrintTHF Methods pretty :: FormulaRole -> Doc Source # pretties :: [FormulaRole] -> Doc Source #
Pretty Annotations Source #
Instance details Defined in THF.PrintTHF Methods pretty :: Annotations -> Doc Source # pretties :: [Annotations] -> Doc Source #
Pretty Include Source #
Instance details Defined in THF.PrintTHF Methods pretty :: Include -> Doc Source # pretties :: [Include] -> Doc Source #
Pretty SystemComment Source #
Instance details Defined in THF.PrintTHF Methods pretty :: SystemComment -> Doc Source # pretties :: [SystemComment] -> Doc Source #
Pretty DefinedComment Source #
Instance details Defined in THF.PrintTHF Methods pretty :: DefinedComment -> Doc Source # pretties :: [DefinedComment] -> Doc Source #
Pretty Comment Source #
Instance details Defined in THF.PrintTHF Methods pretty :: Comment -> Doc Source # pretties :: [Comment] -> Doc Source #
Pretty TPTP_THF Source #
Instance details Defined in THF.PrintTHF Methods pretty :: TPTP_THF -> Doc Source # pretties :: [TPTP_THF] -> Doc Source #
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 Methods pretty :: SymbolTHF -> Doc Source # pretties :: [SymbolTHF] -> Doc Source #
Pretty BasicSpecTHF Source #
Instance details Defined in THF.Print Methods pretty :: BasicSpecTHF -> Doc Source # pretties :: [BasicSpecTHF] -> Doc Source #
Pretty ConstInfo Source #
Instance details Defined in THF.Print Methods pretty :: ConstInfo -> Doc Source # pretties :: [ConstInfo] -> Doc Source #
Pretty TypeInfo Source #
Instance details Defined in THF.Print Methods pretty :: TypeInfo -> Doc Source # pretties :: [TypeInfo] -> Doc Source #
Pretty SignTHF Source #
Instance details Defined in THF.Print Methods pretty :: SignTHF -> Doc Source # pretties :: [SignTHF] -> Doc Source #
Pretty AnyComorphism Source #
Instance details Defined in Logic.Comorphism Methods pretty :: AnyComorphism -> Doc Source # pretties :: [AnyComorphism] -> Doc Source #
Pretty GMorphism Source #
Instance details Defined in Logic.Grothendieck Methods pretty :: GMorphism -> Doc Source # pretties :: [GMorphism] -> Doc Source #
Pretty LogicGraph Source #
Instance details Defined in Logic.Grothendieck Methods pretty :: LogicGraph -> Doc Source # pretties :: [LogicGraph] -> Doc Source #
Pretty G_morphism Source #
Instance details Defined in Logic.Grothendieck Methods pretty :: G_morphism -> Doc Source # pretties :: [G_morphism] -> Doc Source #
Pretty G_symb_map_items_list Source #
Instance details Defined in Logic.Grothendieck Methods pretty :: G_symb_map_items_list -> Doc Source # pretties :: [G_symb_map_items_list] -> Doc Source #
Pretty G_symb_items_list Source #
Instance details Defined in Logic.Grothendieck Methods pretty :: G_symb_items_list -> Doc Source # pretties :: [G_symb_items_list] -> Doc Source #
Pretty G_symbol Source #
Instance details Defined in Logic.Grothendieck Methods pretty :: G_symbol -> Doc Source # pretties :: [G_symbol] -> Doc Source #
Pretty G_sign Source #
Instance details Defined in Logic.Grothendieck Methods pretty :: G_sign -> Doc Source # pretties :: [G_sign] -> Doc Source #
Pretty G_basic_spec Source #
Instance details Defined in Logic.Grothendieck Methods pretty :: G_basic_spec -> Doc Source # pretties :: [G_basic_spec] -> Doc Source #
Pretty CORRESPONDENCE Source #
Instance details Defined in Syntax.Print_AS_Library Methods pretty :: CORRESPONDENCE -> Doc Source # pretties :: [CORRESPONDENCE] -> Doc Source #
Pretty LABELED_ONTO_OR_INTPR_REF Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: LABELED_ONTO_OR_INTPR_REF -> Doc Source # pretties :: [LABELED_ONTO_OR_INTPR_REF] -> Doc Source #
Pretty Logic_name Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: Logic_name -> Doc Source # pretties :: [Logic_name] -> Doc Source #
Pretty Logic_code Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: Logic_code -> Doc Source # pretties :: [Logic_code] -> Doc Source #
Pretty LogicDescr Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: LogicDescr -> Doc Source # pretties :: [LogicDescr] -> Doc Source #
Pretty G_hiding Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: G_hiding -> Doc Source # pretties :: [G_hiding] -> Doc Source #
Pretty G_mapping Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: G_mapping -> Doc Source # pretties :: [G_mapping] -> Doc Source #
Pretty RESTRICTION Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: RESTRICTION -> Doc Source # pretties :: [RESTRICTION] -> Doc Source #
Pretty RENAMING Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: RENAMING -> Doc Source # pretties :: [RENAMING] -> Doc Source #
Pretty MINIMIZATION Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: MINIMIZATION -> Doc Source # pretties :: [MINIMIZATION] -> Doc Source #
Pretty APPROXIMATION Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: APPROXIMATION -> Doc Source # pretties :: [APPROXIMATION] -> Doc Source #
Pretty EXTRACTION Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: EXTRACTION -> Doc Source # pretties :: [EXTRACTION] -> Doc Source #
Pretty FILTERING Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: FILTERING -> Doc Source # pretties :: [FILTERING] -> Doc Source #
Pretty Network Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: Network -> Doc Source # pretties :: [Network] -> Doc Source #
Pretty Number Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Number -> Doc Source # pretties :: [Number] -> Doc Source #
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 Methods pretty :: Formula_data -> Doc Source # pretties :: [Formula_data] -> Doc Source #
Pretty General_function Source #
Instance details Defined in TPTP.Pretty Methods pretty :: General_function -> Doc Source # pretties :: [General_function] -> Doc Source #
Pretty General_data Source #
Instance details Defined in TPTP.Pretty Methods pretty :: General_data -> Doc Source # pretties :: [General_data] -> Doc Source #
Pretty General_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: General_term -> Doc Source # pretties :: [General_term] -> Doc Source #
Pretty Include Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Include -> Doc Source # pretties :: [Include] -> Doc Source #
Pretty Principal_symbol Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Principal_symbol -> Doc Source # pretties :: [Principal_symbol] -> Doc Source #
Pretty New_symbol_record Source #
Instance details Defined in TPTP.Pretty Methods pretty :: New_symbol_record -> Doc Source # pretties :: [New_symbol_record] -> Doc Source #
Pretty Inference_info Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Inference_info -> Doc Source # pretties :: [Inference_info] -> Doc Source #
Pretty Status_value Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Status_value -> Doc Source # pretties :: [Status_value] -> Doc Source #
Pretty Inference_status Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Inference_status -> Doc Source # pretties :: [Inference_status] -> Doc Source #
Pretty Inference_item Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Inference_item -> Doc Source # pretties :: [Inference_item] -> Doc Source #
Pretty Formula_item Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Formula_item -> Doc Source # pretties :: [Formula_item] -> Doc Source #
Pretty Info_item Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Info_item -> Doc Source # pretties :: [Info_item] -> Doc Source #
Pretty Useful_info Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Useful_info -> Doc Source # pretties :: [Useful_info] -> Doc Source #
Pretty Creator_source Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Creator_source -> Doc Source # pretties :: [Creator_source] -> Doc Source #
Pretty Theory_name Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Theory_name -> Doc Source # pretties :: [Theory_name] -> Doc Source #
Pretty Theory Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Theory -> Doc Source # pretties :: [Theory] -> Doc Source #
Pretty File_source Source #
Instance details Defined in TPTP.Pretty Methods pretty :: File_source -> Doc Source # pretties :: [File_source] -> Doc Source #
Pretty External_source Source #
Instance details Defined in TPTP.Pretty Methods pretty :: External_source -> Doc Source # pretties :: [External_source] -> Doc Source #
Pretty Intro_type Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Intro_type -> Doc Source # pretties :: [Intro_type] -> Doc Source #
Pretty Internal_source Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Internal_source -> Doc Source # pretties :: [Internal_source] -> Doc Source #
Pretty Parent_info Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Parent_info -> Doc Source # pretties :: [Parent_info] -> Doc Source #
Pretty Inference_record Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Inference_record -> Doc Source # pretties :: [Inference_record] -> Doc Source #
Pretty DAG_source Source #
Instance details Defined in TPTP.Pretty Methods pretty :: DAG_source -> Doc Source # pretties :: [DAG_source] -> Doc Source #
Pretty Source Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Source -> Doc Source # pretties :: [Source] -> Doc Source #
Pretty Defined_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Defined_term -> Doc Source # pretties :: [Defined_term] -> Doc Source #
Pretty Defined_functor Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Defined_functor -> Doc Source # pretties :: [Defined_functor] -> Doc Source #
Pretty Defined_infix_pred Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Defined_infix_pred -> Doc Source # pretties :: [Defined_infix_pred] -> Doc Source #
Pretty Defined_predicate Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Defined_predicate -> Doc Source # pretties :: [Defined_predicate] -> Doc Source #
Pretty Defined_proposition Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Defined_proposition -> Doc Source # pretties :: [Defined_proposition] -> Doc Source #
Pretty Untyped_atom Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Untyped_atom -> Doc Source # pretties :: [Untyped_atom] -> Doc Source #
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 Methods pretty :: Defined_type -> Doc Source # pretties :: [Defined_type] -> Doc Source #
Pretty Unary_connective Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Unary_connective -> Doc Source # pretties :: [Unary_connective] -> Doc Source #
Pretty Assoc_connective Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Assoc_connective -> Doc Source # pretties :: [Assoc_connective] -> Doc Source #
Pretty Binary_connective Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Binary_connective -> Doc Source # pretties :: [Binary_connective] -> Doc Source #
Pretty FOF_quantifier Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_quantifier -> Doc Source # pretties :: [FOF_quantifier] -> Doc Source #
Pretty TH1_unary_connective Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TH1_unary_connective -> Doc Source # pretties :: [TH1_unary_connective] -> Doc Source #
Pretty THF_unary_connective Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_unary_connective -> Doc Source # pretties :: [THF_unary_connective] -> Doc Source #
Pretty THF_pair_connective Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_pair_connective -> Doc Source # pretties :: [THF_pair_connective] -> Doc Source #
Pretty TH0_quantifier Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TH0_quantifier -> Doc Source # pretties :: [TH0_quantifier] -> Doc Source #
Pretty TH1_quantifier Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TH1_quantifier -> Doc Source # pretties :: [TH1_quantifier] -> Doc Source #
Pretty THF_quantifier Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_quantifier -> Doc Source # pretties :: [THF_quantifier] -> Doc Source #
Pretty Literal Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Literal -> Doc Source # pretties :: [Literal] -> Doc Source #
Pretty Disjunction Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Disjunction -> Doc Source # pretties :: [Disjunction] -> Doc Source #
Pretty CNF_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: CNF_formula -> Doc Source # pretties :: [CNF_formula] -> Doc Source #
Pretty FOF_formula_tuple Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_formula_tuple -> Doc Source # pretties :: [FOF_formula_tuple] -> Doc Source #
Pretty FOF_sequent Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_sequent -> Doc Source # pretties :: [FOF_sequent] -> Doc Source #
Pretty TFF_let_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_let_term -> Doc Source # pretties :: [TFF_let_term] -> Doc Source #
Pretty TFF_conditional_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_conditional_term -> Doc Source # pretties :: [TFF_conditional_term] -> Doc Source #
Pretty FOF_function_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_function_term -> Doc Source # pretties :: [FOF_function_term] -> Doc Source #
Pretty FOF_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_term -> Doc Source # pretties :: [FOF_term] -> Doc Source #
Pretty FOF_system_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_system_term -> Doc Source # pretties :: [FOF_system_term] -> Doc Source #
Pretty FOF_defined_plain_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_defined_plain_term -> Doc Source # pretties :: [FOF_defined_plain_term] -> Doc Source #
Pretty FOF_defined_atomic_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_defined_atomic_term -> Doc Source # pretties :: [FOF_defined_atomic_term] -> Doc Source #
Pretty FOF_defined_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_defined_term -> Doc Source # pretties :: [FOF_defined_term] -> Doc Source #
Pretty FOF_plain_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_plain_term -> Doc Source # pretties :: [FOF_plain_term] -> Doc Source #
Pretty FOF_system_atomic_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_system_atomic_formula -> Doc Source # pretties :: [FOF_system_atomic_formula] -> Doc Source #
Pretty FOF_defined_infix_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_defined_infix_formula -> Doc Source # pretties :: [FOF_defined_infix_formula] -> Doc Source #
Pretty FOF_defined_plain_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_defined_plain_formula -> Doc Source # pretties :: [FOF_defined_plain_formula] -> Doc Source #
Pretty FOF_defined_atomic_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_defined_atomic_formula -> Doc Source # pretties :: [FOF_defined_atomic_formula] -> Doc Source #
Pretty FOF_plain_atomic_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_plain_atomic_formula -> Doc Source # pretties :: [FOF_plain_atomic_formula] -> Doc Source #
Pretty FOF_atomic_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_atomic_formula -> Doc Source # pretties :: [FOF_atomic_formula] -> Doc Source #
Pretty FOF_infix_unary Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_infix_unary -> Doc Source # pretties :: [FOF_infix_unary] -> Doc Source #
Pretty FOF_unary_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_unary_formula -> Doc Source # pretties :: [FOF_unary_formula] -> Doc Source #
Pretty FOF_quantified_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_quantified_formula -> Doc Source # pretties :: [FOF_quantified_formula] -> Doc Source #
Pretty FOF_unitary_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_unitary_formula -> Doc Source # pretties :: [FOF_unitary_formula] -> Doc Source #
Pretty FOF_binary_assoc Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_binary_assoc -> Doc Source # pretties :: [FOF_binary_assoc] -> Doc Source #
Pretty FOF_binary_nonassoc Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_binary_nonassoc -> Doc Source # pretties :: [FOF_binary_nonassoc] -> Doc Source #
Pretty FOF_binary_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_binary_formula -> Doc Source # pretties :: [FOF_binary_formula] -> Doc Source #
Pretty FOF_logic_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_logic_formula -> Doc Source # pretties :: [FOF_logic_formula] -> Doc Source #
Pretty FOF_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_formula -> Doc Source # pretties :: [FOF_formula] -> Doc Source #
Pretty TCF_quantified_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TCF_quantified_formula -> Doc Source # pretties :: [TCF_quantified_formula] -> Doc Source #
Pretty TCF_logic_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TCF_logic_formula -> Doc Source # pretties :: [TCF_logic_formula] -> Doc Source #
Pretty TCF_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TCF_formula -> Doc Source # pretties :: [TCF_formula] -> Doc Source #
Pretty TFF_xprod_type Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_xprod_type -> Doc Source # pretties :: [TFF_xprod_type] -> Doc Source #
Pretty TFF_mapping_type Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_mapping_type -> Doc Source # pretties :: [TFF_mapping_type] -> Doc Source #
Pretty TFF_atomic_type Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_atomic_type -> Doc Source # pretties :: [TFF_atomic_type] -> Doc Source #
Pretty TFF_unitary_type Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_unitary_type -> Doc Source # pretties :: [TFF_unitary_type] -> Doc Source #
Pretty TFF_monotype Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_monotype -> Doc Source # pretties :: [TFF_monotype] -> Doc Source #
Pretty TF1_quantified_type Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TF1_quantified_type -> Doc Source # pretties :: [TF1_quantified_type] -> Doc Source #
Pretty TFF_top_level_type Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_top_level_type -> Doc Source # pretties :: [TFF_top_level_type] -> Doc Source #
Pretty TFF_subtype Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_subtype -> Doc Source # pretties :: [TFF_subtype] -> Doc Source #
Pretty TFF_typed_atom Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_typed_atom -> Doc Source # pretties :: [TFF_typed_atom] -> Doc Source #
Pretty TFF_formula_tuple Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_formula_tuple -> Doc Source # pretties :: [TFF_formula_tuple] -> Doc Source #
Pretty TFF_sequent Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_sequent -> Doc Source # pretties :: [TFF_sequent] -> Doc Source #
Pretty TFF_let_formula_binding Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_let_formula_binding -> Doc Source # pretties :: [TFF_let_formula_binding] -> Doc Source #
Pretty TFF_let_formula_defn Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_let_formula_defn -> Doc Source # pretties :: [TFF_let_formula_defn] -> Doc Source #
Pretty TFF_let_formula_defns Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_let_formula_defns -> Doc Source # pretties :: [TFF_let_formula_defns] -> Doc Source #
Pretty TFF_let_term_binding Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_let_term_binding -> Doc Source # pretties :: [TFF_let_term_binding] -> Doc Source #
Pretty TFF_let_term_defn Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_let_term_defn -> Doc Source # pretties :: [TFF_let_term_defn] -> Doc Source #
Pretty TFF_let_term_defns Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_let_term_defns -> Doc Source # pretties :: [TFF_let_term_defns] -> Doc Source #
Pretty TFF_let Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_let -> Doc Source # pretties :: [TFF_let] -> Doc Source #
Pretty TFF_conditional Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_conditional -> Doc Source # pretties :: [TFF_conditional] -> Doc Source #
Pretty TFF_unary_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_unary_formula -> Doc Source # pretties :: [TFF_unary_formula] -> Doc Source #
Pretty TFF_typed_variable Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_typed_variable -> Doc Source # pretties :: [TFF_typed_variable] -> Doc Source #
Pretty TFF_variable Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_variable -> Doc Source # pretties :: [TFF_variable] -> Doc Source #
Pretty TFF_quantified_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_quantified_formula -> Doc Source # pretties :: [TFF_quantified_formula] -> Doc Source #
Pretty TFF_unitary_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_unitary_formula -> Doc Source # pretties :: [TFF_unitary_formula] -> Doc Source #
Pretty TFF_binary_assoc Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_binary_assoc -> Doc Source # pretties :: [TFF_binary_assoc] -> Doc Source #
Pretty TFF_binary_nonassoc Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_binary_nonassoc -> Doc Source # pretties :: [TFF_binary_nonassoc] -> Doc Source #
Pretty TFF_binary_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_binary_formula -> Doc Source # pretties :: [TFF_binary_formula] -> Doc Source #
Pretty TFF_logic_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_logic_formula -> Doc Source # pretties :: [TFF_logic_formula] -> Doc Source #
Pretty TFF_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_formula -> Doc Source # pretties :: [TFF_formula] -> Doc Source #
Pretty TFX_logic_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFX_logic_formula -> Doc Source # pretties :: [TFX_logic_formula] -> Doc Source #
Pretty TFX_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFX_formula -> Doc Source # pretties :: [TFX_formula] -> Doc Source #
Pretty THF_tuple Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_tuple -> Doc Source # pretties :: [THF_tuple] -> Doc Source #
Pretty THF_sequent Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_sequent -> Doc Source # pretties :: [THF_sequent] -> Doc Source #
Pretty THF_binary_type Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_binary_type -> Doc Source # pretties :: [THF_binary_type] -> Doc Source #
Pretty THF_unitary_type Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_unitary_type -> Doc Source # pretties :: [THF_unitary_type] -> Doc Source #
Pretty THF_top_level_type Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_top_level_type -> Doc Source # pretties :: [THF_top_level_type] -> Doc Source #
Pretty THF_subtype Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_subtype -> Doc Source # pretties :: [THF_subtype] -> Doc Source #
Pretty THF_typeable_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_typeable_formula -> Doc Source # pretties :: [THF_typeable_formula] -> Doc Source #
Pretty THF_type_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_type_formula -> Doc Source # pretties :: [THF_type_formula] -> Doc Source #
Pretty THF_let_defn_LHS Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_let_defn_LHS -> Doc Source # pretties :: [THF_let_defn_LHS] -> Doc Source #
Pretty THF_let_plain_defn Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_let_plain_defn -> Doc Source # pretties :: [THF_let_plain_defn] -> Doc Source #
Pretty THF_let_quantified_defn Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_let_quantified_defn -> Doc Source # pretties :: [THF_let_quantified_defn] -> Doc Source #
Pretty THF_let_defn Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_let_defn -> Doc Source # pretties :: [THF_let_defn] -> Doc Source #
Pretty THF_let_defns Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_let_defns -> Doc Source # pretties :: [THF_let_defns] -> Doc Source #
Pretty THF_let Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_let -> Doc Source # pretties :: [THF_let] -> Doc Source #
Pretty THF_conditional Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_conditional -> Doc Source # pretties :: [THF_conditional] -> Doc Source #
Pretty THF_conn_term Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_conn_term -> Doc Source # pretties :: [THF_conn_term] -> Doc Source #
Pretty THF_function Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_function -> Doc Source # pretties :: [THF_function] -> Doc Source #
Pretty THF_atom Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_atom -> Doc Source # pretties :: [THF_atom] -> Doc Source #
Pretty THF_unary_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_unary_formula -> Doc Source # pretties :: [THF_unary_formula] -> Doc Source #
Pretty THF_typed_variable Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_typed_variable -> Doc Source # pretties :: [THF_typed_variable] -> Doc Source #
Pretty THF_variable Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_variable -> Doc Source # pretties :: [THF_variable] -> Doc Source #
Pretty THF_quantification Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_quantification -> Doc Source # pretties :: [THF_quantification] -> Doc Source #
Pretty THF_quantified_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_quantified_formula -> Doc Source # pretties :: [THF_quantified_formula] -> Doc Source #
Pretty THF_unitary_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_unitary_formula -> Doc Source # pretties :: [THF_unitary_formula] -> Doc Source #
Pretty THF_binary_tuple Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_binary_tuple -> Doc Source # pretties :: [THF_binary_tuple] -> Doc Source #
Pretty THF_binary_pair Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_binary_pair -> Doc Source # pretties :: [THF_binary_pair] -> Doc Source #
Pretty THF_binary_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_binary_formula -> Doc Source # pretties :: [THF_binary_formula] -> Doc Source #
Pretty THF_logic_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_logic_formula -> Doc Source # pretties :: [THF_logic_formula] -> Doc Source #
Pretty THF_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_formula -> Doc Source # pretties :: [THF_formula] -> Doc Source #
Pretty Formula_role Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Formula_role -> Doc Source # pretties :: [Formula_role] -> Doc Source #
Pretty Annotations Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Annotations -> Doc Source # pretties :: [Annotations] -> Doc Source #
Pretty CNF_annotated Source #
Instance details Defined in TPTP.Pretty Methods pretty :: CNF_annotated -> Doc Source # pretties :: [CNF_annotated] -> Doc Source #
Pretty FOF_annotated Source #
Instance details Defined in TPTP.Pretty Methods pretty :: FOF_annotated -> Doc Source # pretties :: [FOF_annotated] -> Doc Source #
Pretty TCF_annotated Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TCF_annotated -> Doc Source # pretties :: [TCF_annotated] -> Doc Source #
Pretty TFF_annotated Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFF_annotated -> Doc Source # pretties :: [TFF_annotated] -> Doc Source #
Pretty TFX_annotated Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TFX_annotated -> Doc Source # pretties :: [TFX_annotated] -> Doc Source #
Pretty THF_annotated Source #
Instance details Defined in TPTP.Pretty Methods pretty :: THF_annotated -> Doc Source # pretties :: [THF_annotated] -> Doc Source #
Pretty TPI_annotated Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TPI_annotated -> Doc Source # pretties :: [TPI_annotated] -> Doc Source #
Pretty Annotated_formula Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Annotated_formula -> Doc Source # pretties :: [Annotated_formula] -> Doc Source #
Pretty SystemComment Source #
Instance details Defined in TPTP.Pretty Methods pretty :: SystemComment -> Doc Source # pretties :: [SystemComment] -> Doc Source #
Pretty DefinedComment Source #
Instance details Defined in TPTP.Pretty Methods pretty :: DefinedComment -> Doc Source # pretties :: [DefinedComment] -> Doc Source #
Pretty Comment Source #
Instance details Defined in TPTP.Pretty Methods pretty :: Comment -> Doc Source # pretties :: [Comment] -> Doc Source #
Pretty TPTP_input Source #
Instance details Defined in TPTP.Pretty Methods pretty :: TPTP_input -> Doc Source # pretties :: [TPTP_input] -> Doc Source #
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 Methods pretty :: BASIC_SPEC -> Doc Source # pretties :: [BASIC_SPEC] -> Doc Source #
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 Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Pretty ItemNameMap Source #
Instance details Defined in Syntax.Print_AS_Library Methods pretty :: ItemNameMap -> Doc Source # pretties :: [ItemNameMap] -> Doc Source #
Pretty ALIGN_ARITIES Source #
Instance details Defined in Syntax.Print_AS_Library Methods pretty :: ALIGN_ARITIES -> Doc Source # pretties :: [ALIGN_ARITIES] -> Doc Source #
Pretty G_theory Source #
Instance details Defined in Static.GTheory Methods pretty :: G_theory -> Doc Source # pretties :: [G_theory] -> Doc Source #
Pretty DGraph Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: DGraph -> Doc Source # pretties :: [DGraph] -> Doc Source #
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 Methods pretty :: RTNodeLab -> Doc Source # pretties :: [RTNodeLab] -> Doc Source #
Pretty RTNodeType Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: RTNodeType -> Doc Source # pretties :: [RTNodeType] -> Doc Source #
Pretty DGChange Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: DGChange -> Doc Source # pretties :: [DGChange] -> Doc Source #
Pretty AlignSig Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: AlignSig -> Doc Source # pretties :: [AlignSig] -> Doc Source #
Pretty GlobalEntry Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: GlobalEntry -> Doc Source # pretties :: [GlobalEntry] -> Doc Source #
Pretty RefSig Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: RefSig -> Doc Source # pretties :: [RefSig] -> Doc Source #
Pretty ImpUnitSigOrSig Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: ImpUnitSigOrSig -> Doc Source # pretties :: [ImpUnitSigOrSig] -> Doc Source #
Pretty UnitSig Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: UnitSig -> Doc Source # pretties :: [UnitSig] -> Doc Source #
Pretty ExtViewSig Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: ExtViewSig -> Doc Source # pretties :: [ExtViewSig] -> Doc Source #
Pretty ExtGenSig Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: ExtGenSig -> Doc Source # pretties :: [ExtGenSig] -> Doc Source #
Pretty DGLinkLab Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: DGLinkLab -> Doc Source # pretties :: [DGLinkLab] -> Doc Source #
Pretty DGLinkType Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: DGLinkType -> Doc Source # pretties :: [DGLinkType] -> Doc Source #
Pretty DGLinkOrigin Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: DGLinkOrigin -> Doc Source # pretties :: [DGLinkOrigin] -> Doc Source #
Pretty DGNodeLab Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: DGNodeLab -> Doc Source # pretties :: [DGNodeLab] -> Doc Source #
Pretty DGNodeInfo Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: DGNodeInfo -> Doc Source # pretties :: [DGNodeInfo] -> Doc Source #
Pretty DGOrigin Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: DGOrigin -> Doc Source # pretties :: [DGOrigin] -> Doc Source #
Pretty NodeSig Source #
Instance details Defined in Static.PrintDevGraph Methods pretty :: NodeSig -> Doc Source # pretties :: [NodeSig] -> Doc Source #
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 Methods pretty :: FORMULA -> Doc Source # pretties :: [FORMULA] -> Doc Source #
Pretty BASIC_SPEC Source #
Instance details Defined in Temporal.AS_BASIC_Temporal Methods pretty :: BASIC_SPEC -> Doc Source # pretties :: [BASIC_SPEC] -> Doc Source #
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 Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
Pretty Symbol Source #
Instance details Defined in Temporal.Symbol Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
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 Methods pretty :: Spc_Wrap -> Doc Source # pretties :: [Spc_Wrap] -> Doc Source #
Pretty Frm_Wrap Source #
Instance details Defined in TopHybrid.Print_AS Methods pretty :: Frm_Wrap -> Doc Source # pretties :: [Frm_Wrap] -> Doc Source #
Pretty TH_BASIC_ITEM Source #
Instance details Defined in TopHybrid.Print_AS Methods pretty :: TH_BASIC_ITEM -> Doc Source # pretties :: [TH_BASIC_ITEM] -> Doc Source #
Pretty Sgn_Wrap Source #
Instance details Defined in TopHybrid.Print_AS Methods pretty :: Sgn_Wrap -> Doc Source # pretties :: [Sgn_Wrap] -> Doc Source #
Pretty Procs Source #
Instance details Defined in VSE.As Methods pretty :: Procs -> Doc Source # pretties :: [Procs] -> Doc Source #
Pretty Defproc Source #
Instance details Defined in VSE.As Methods pretty :: Defproc -> Doc Source # pretties :: [Defproc] -> Doc Source #
Pretty VSEforms Source #
Instance details Defined in VSE.As Methods pretty :: VSEforms -> Doc Source # pretties :: [VSEforms] -> Doc Source #
Pretty VarDecl Source #
Instance details Defined in VSE.As Methods pretty :: VarDecl -> Doc Source # pretties :: [VarDecl] -> Doc Source #
Pretty PlainProgram Source #
Instance details Defined in VSE.As Methods pretty :: PlainProgram -> Doc Source # pretties :: [PlainProgram] -> Doc Source #
Pretty Procdecls Source #
Instance details Defined in VSE.As Methods pretty :: Procdecls -> Doc Source # pretties :: [Procdecls] -> Doc Source #
Pretty Sigentry Source #
Instance details Defined in VSE.As Methods pretty :: Sigentry -> Doc Source # pretties :: [Sigentry] -> Doc Source #
Pretty Profile Source #
Instance details Defined in VSE.As Methods pretty :: Profile -> Doc Source # pretties :: [Profile] -> Doc Source #
Pretty Procparam Source #
Instance details Defined in VSE.As Methods pretty :: Procparam -> Doc Source # pretties :: [Procparam] -> Doc Source #
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 Methods pretty :: ClosedInterval a -> Doc Source # pretties :: [ClosedInterval a] -> Doc Source #
(Ord a, Pretty a) => Pretty (SetOrInterval a) Source #
Instance details Defined in CSL.Print_AS Methods pretty :: SetOrInterval a -> Doc Source # pretties :: [SetOrInterval a] -> Doc Source #
Pretty a => Pretty (ElemWOrd a) Source #
Instance details Defined in Logic.Prover Methods pretty :: ElemWOrd a -> Doc Source # pretties :: [ElemWOrd a] -> Doc Source #
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 Methods pretty :: DefaultMorphism a -> Doc Source # pretties :: [DefaultMorphism a] -> Doc Source #
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 Methods pretty :: PRED_ITEM f -> Doc Source # pretties :: [PRED_ITEM f] -> Doc Source #
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 Methods pretty :: SORT_ITEM f -> Doc Source # pretties :: [SORT_ITEM f] -> Doc Source #
Pretty (DefMorExt e) Source #
Instance details Defined in CASL.Morphism Methods pretty :: DefMorExt e -> Doc Source # pretties :: [DefMorExt e] -> Doc Source #
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 Methods pretty :: SimpValue a -> Doc Source # pretties :: [SimpValue a] -> Doc Source #
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 Methods pretty :: TH_FORMULA f -> Doc Source # pretties :: [TH_FORMULA f] -> Doc Source #
Pretty b => Pretty (TH_BSPEC b) Source #
Instance details Defined in TopHybrid.Print_AS Methods pretty :: TH_BSPEC b -> Doc Source # pretties :: [TH_BSPEC b] -> Doc Source #
Pretty s => Pretty (THybridSign s) Source #
Instance details Defined in TopHybrid.Print_AS Methods pretty :: THybridSign s -> Doc Source # pretties :: [THybridSign s] -> Doc Source #
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 #

optBraces :: CSize -> Doc -> 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 #

pairElems :: Doc -> Doc -> 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