Hets - the Heterogeneous Tool Set
Copyright(c) Eugen Kuksa University of Magdeburg 2017
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerEugen Kuksa <kuksa@iks.cs.ovgu.de>
Stabilityprovisional
Portabilityportable
Safe HaskellNone

TPTP.Pretty

Description

A pretty printer for the TPTP Input Syntax v6.4.0.7 taken from http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html

Documentation

printBasicTheory :: (Sign, [Named Sentence]) -> Doc Source #

printNamedSentence :: Named Sentence -> Doc Source #

Orphan instances

Pretty Number Source # 
Instance details

Methods

pretty :: Number -> Doc Source #

pretties :: [Number] -> Doc Source #

Pretty Name Source # 
Instance details

Methods

pretty :: Name -> Doc Source #

pretties :: [Name] -> Doc Source #

Pretty Formula_data Source # 
Instance details

Methods

pretty :: Formula_data -> Doc Source #

pretties :: [Formula_data] -> Doc Source #

Pretty General_function Source # 
Instance details

Methods

pretty :: General_function -> Doc Source #

pretties :: [General_function] -> Doc Source #

Pretty General_data Source # 
Instance details

Methods

pretty :: General_data -> Doc Source #

pretties :: [General_data] -> Doc Source #

Pretty General_term Source # 
Instance details

Methods

pretty :: General_term -> Doc Source #

pretties :: [General_term] -> Doc Source #

Pretty Include Source # 
Instance details

Methods

pretty :: Include -> Doc Source #

pretties :: [Include] -> Doc Source #

Pretty Principal_symbol Source # 
Instance details

Methods

pretty :: Principal_symbol -> Doc Source #

pretties :: [Principal_symbol] -> Doc Source #

Pretty New_symbol_record Source # 
Instance details

Methods

pretty :: New_symbol_record -> Doc Source #

pretties :: [New_symbol_record] -> Doc Source #

Pretty Inference_info Source # 
Instance details

Methods

pretty :: Inference_info -> Doc Source #

pretties :: [Inference_info] -> Doc Source #

Pretty Status_value Source # 
Instance details

Methods

pretty :: Status_value -> Doc Source #

pretties :: [Status_value] -> Doc Source #

Pretty Inference_status Source # 
Instance details

Methods

pretty :: Inference_status -> Doc Source #

pretties :: [Inference_status] -> Doc Source #

Pretty Inference_item Source # 
Instance details

Methods

pretty :: Inference_item -> Doc Source #

pretties :: [Inference_item] -> Doc Source #

Pretty Formula_item Source # 
Instance details

Methods

pretty :: Formula_item -> Doc Source #

pretties :: [Formula_item] -> Doc Source #

Pretty Info_item Source # 
Instance details

Methods

pretty :: Info_item -> Doc Source #

pretties :: [Info_item] -> Doc Source #

Pretty Useful_info Source # 
Instance details

Methods

pretty :: Useful_info -> Doc Source #

pretties :: [Useful_info] -> Doc Source #

Pretty Creator_source Source # 
Instance details

Methods

pretty :: Creator_source -> Doc Source #

pretties :: [Creator_source] -> Doc Source #

Pretty Theory_name Source # 
Instance details

Methods

pretty :: Theory_name -> Doc Source #

pretties :: [Theory_name] -> Doc Source #

Pretty Theory Source # 
Instance details

Methods

pretty :: Theory -> Doc Source #

pretties :: [Theory] -> Doc Source #

Pretty File_source Source # 
Instance details

Methods

pretty :: File_source -> Doc Source #

pretties :: [File_source] -> Doc Source #

Pretty External_source Source # 
Instance details

Methods

pretty :: External_source -> Doc Source #

pretties :: [External_source] -> Doc Source #

Pretty Intro_type Source # 
Instance details

Methods

pretty :: Intro_type -> Doc Source #

pretties :: [Intro_type] -> Doc Source #

Pretty Internal_source Source # 
Instance details

Methods

pretty :: Internal_source -> Doc Source #

pretties :: [Internal_source] -> Doc Source #

Pretty Parent_info Source # 
Instance details

Methods

pretty :: Parent_info -> Doc Source #

pretties :: [Parent_info] -> Doc Source #

Pretty Inference_record Source # 
Instance details

Methods

pretty :: Inference_record -> Doc Source #

pretties :: [Inference_record] -> Doc Source #

Pretty DAG_source Source # 
Instance details

Methods

pretty :: DAG_source -> Doc Source #

pretties :: [DAG_source] -> Doc Source #

Pretty Source Source # 
Instance details

Methods

pretty :: Source -> Doc Source #

pretties :: [Source] -> Doc Source #

Pretty Defined_term Source # 
Instance details

Methods

pretty :: Defined_term -> Doc Source #

pretties :: [Defined_term] -> Doc Source #

Pretty Defined_functor Source # 
Instance details

Methods

pretty :: Defined_functor -> Doc Source #

pretties :: [Defined_functor] -> Doc Source #

Pretty Defined_infix_pred Source # 
Instance details

Methods

pretty :: Defined_infix_pred -> Doc Source #

pretties :: [Defined_infix_pred] -> Doc Source #

Pretty Defined_predicate Source # 
Instance details

Methods

pretty :: Defined_predicate -> Doc Source #

pretties :: [Defined_predicate] -> Doc Source #

Pretty Defined_proposition Source # 
Instance details

Methods

pretty :: Defined_proposition -> Doc Source #

pretties :: [Defined_proposition] -> Doc Source #

Pretty Untyped_atom Source # 
Instance details

Methods

pretty :: Untyped_atom -> Doc Source #

pretties :: [Untyped_atom] -> Doc Source #

Pretty Atom Source # 
Instance details

Methods

pretty :: Atom -> Doc Source #

pretties :: [Atom] -> Doc Source #

Pretty Defined_type Source # 
Instance details

Methods

pretty :: Defined_type -> Doc Source #

pretties :: [Defined_type] -> Doc Source #

Pretty Unary_connective Source # 
Instance details

Methods

pretty :: Unary_connective -> Doc Source #

pretties :: [Unary_connective] -> Doc Source #

Pretty Assoc_connective Source # 
Instance details

Methods

pretty :: Assoc_connective -> Doc Source #

pretties :: [Assoc_connective] -> Doc Source #

Pretty Binary_connective Source # 
Instance details

Methods

pretty :: Binary_connective -> Doc Source #

pretties :: [Binary_connective] -> Doc Source #

Pretty FOF_quantifier Source # 
Instance details

Methods

pretty :: FOF_quantifier -> Doc Source #

pretties :: [FOF_quantifier] -> Doc Source #

Pretty TH1_unary_connective Source # 
Instance details

Methods

pretty :: TH1_unary_connective -> Doc Source #

pretties :: [TH1_unary_connective] -> Doc Source #

Pretty THF_unary_connective Source # 
Instance details

Methods

pretty :: THF_unary_connective -> Doc Source #

pretties :: [THF_unary_connective] -> Doc Source #

Pretty THF_pair_connective Source # 
Instance details

Methods

pretty :: THF_pair_connective -> Doc Source #

pretties :: [THF_pair_connective] -> Doc Source #

Pretty TH0_quantifier Source # 
Instance details

Methods

pretty :: TH0_quantifier -> Doc Source #

pretties :: [TH0_quantifier] -> Doc Source #

Pretty TH1_quantifier Source # 
Instance details

Methods

pretty :: TH1_quantifier -> Doc Source #

pretties :: [TH1_quantifier] -> Doc Source #

Pretty THF_quantifier Source # 
Instance details

Methods

pretty :: THF_quantifier -> Doc Source #

pretties :: [THF_quantifier] -> Doc Source #

Pretty Literal Source # 
Instance details

Methods

pretty :: Literal -> Doc Source #

pretties :: [Literal] -> Doc Source #

Pretty Disjunction Source # 
Instance details

Methods

pretty :: Disjunction -> Doc Source #

pretties :: [Disjunction] -> Doc Source #

Pretty CNF_formula Source # 
Instance details

Methods

pretty :: CNF_formula -> Doc Source #

pretties :: [CNF_formula] -> Doc Source #

Pretty FOF_formula_tuple Source # 
Instance details

Methods

pretty :: FOF_formula_tuple -> Doc Source #

pretties :: [FOF_formula_tuple] -> Doc Source #

Pretty FOF_sequent Source # 
Instance details

Methods

pretty :: FOF_sequent -> Doc Source #

pretties :: [FOF_sequent] -> Doc Source #

Pretty TFF_let_term Source # 
Instance details

Methods

pretty :: TFF_let_term -> Doc Source #

pretties :: [TFF_let_term] -> Doc Source #

Pretty TFF_conditional_term Source # 
Instance details

Methods

pretty :: TFF_conditional_term -> Doc Source #

pretties :: [TFF_conditional_term] -> Doc Source #

Pretty FOF_function_term Source # 
Instance details

Methods

pretty :: FOF_function_term -> Doc Source #

pretties :: [FOF_function_term] -> Doc Source #

Pretty FOF_term Source # 
Instance details

Methods

pretty :: FOF_term -> Doc Source #

pretties :: [FOF_term] -> Doc Source #

Pretty FOF_system_term Source # 
Instance details

Methods

pretty :: FOF_system_term -> Doc Source #

pretties :: [FOF_system_term] -> Doc Source #

Pretty FOF_defined_plain_term Source # 
Instance details

Methods

pretty :: FOF_defined_plain_term -> Doc Source #

pretties :: [FOF_defined_plain_term] -> Doc Source #

Pretty FOF_defined_atomic_term Source # 
Instance details

Methods

pretty :: FOF_defined_atomic_term -> Doc Source #

pretties :: [FOF_defined_atomic_term] -> Doc Source #

Pretty FOF_defined_term Source # 
Instance details

Methods

pretty :: FOF_defined_term -> Doc Source #

pretties :: [FOF_defined_term] -> Doc Source #

Pretty FOF_plain_term Source # 
Instance details

Methods

pretty :: FOF_plain_term -> Doc Source #

pretties :: [FOF_plain_term] -> Doc Source #

Pretty FOF_system_atomic_formula Source # 
Instance details

Methods

pretty :: FOF_system_atomic_formula -> Doc Source #

pretties :: [FOF_system_atomic_formula] -> Doc Source #

Pretty FOF_defined_infix_formula Source # 
Instance details

Methods

pretty :: FOF_defined_infix_formula -> Doc Source #

pretties :: [FOF_defined_infix_formula] -> Doc Source #

Pretty FOF_defined_plain_formula Source # 
Instance details

Methods

pretty :: FOF_defined_plain_formula -> Doc Source #

pretties :: [FOF_defined_plain_formula] -> Doc Source #

Pretty FOF_defined_atomic_formula Source # 
Instance details

Methods

pretty :: FOF_defined_atomic_formula -> Doc Source #

pretties :: [FOF_defined_atomic_formula] -> Doc Source #

Pretty FOF_plain_atomic_formula Source # 
Instance details

Methods

pretty :: FOF_plain_atomic_formula -> Doc Source #

pretties :: [FOF_plain_atomic_formula] -> Doc Source #

Pretty FOF_atomic_formula Source # 
Instance details

Methods

pretty :: FOF_atomic_formula -> Doc Source #

pretties :: [FOF_atomic_formula] -> Doc Source #

Pretty FOF_infix_unary Source # 
Instance details

Methods

pretty :: FOF_infix_unary -> Doc Source #

pretties :: [FOF_infix_unary] -> Doc Source #

Pretty FOF_unary_formula Source # 
Instance details

Methods

pretty :: FOF_unary_formula -> Doc Source #

pretties :: [FOF_unary_formula] -> Doc Source #

Pretty FOF_quantified_formula Source # 
Instance details

Methods

pretty :: FOF_quantified_formula -> Doc Source #

pretties :: [FOF_quantified_formula] -> Doc Source #

Pretty FOF_unitary_formula Source # 
Instance details

Methods

pretty :: FOF_unitary_formula -> Doc Source #

pretties :: [FOF_unitary_formula] -> Doc Source #

Pretty FOF_binary_assoc Source # 
Instance details

Methods

pretty :: FOF_binary_assoc -> Doc Source #

pretties :: [FOF_binary_assoc] -> Doc Source #

Pretty FOF_binary_nonassoc Source # 
Instance details

Methods

pretty :: FOF_binary_nonassoc -> Doc Source #

pretties :: [FOF_binary_nonassoc] -> Doc Source #

Pretty FOF_binary_formula Source # 
Instance details

Methods

pretty :: FOF_binary_formula -> Doc Source #

pretties :: [FOF_binary_formula] -> Doc Source #

Pretty FOF_logic_formula Source # 
Instance details

Methods

pretty :: FOF_logic_formula -> Doc Source #

pretties :: [FOF_logic_formula] -> Doc Source #

Pretty FOF_formula Source # 
Instance details

Methods

pretty :: FOF_formula -> Doc Source #

pretties :: [FOF_formula] -> Doc Source #

Pretty TCF_quantified_formula Source # 
Instance details

Methods

pretty :: TCF_quantified_formula -> Doc Source #

pretties :: [TCF_quantified_formula] -> Doc Source #

Pretty TCF_logic_formula Source # 
Instance details

Methods

pretty :: TCF_logic_formula -> Doc Source #

pretties :: [TCF_logic_formula] -> Doc Source #

Pretty TCF_formula Source # 
Instance details

Methods

pretty :: TCF_formula -> Doc Source #

pretties :: [TCF_formula] -> Doc Source #

Pretty TFF_xprod_type Source # 
Instance details

Methods

pretty :: TFF_xprod_type -> Doc Source #

pretties :: [TFF_xprod_type] -> Doc Source #

Pretty TFF_mapping_type Source # 
Instance details

Methods

pretty :: TFF_mapping_type -> Doc Source #

pretties :: [TFF_mapping_type] -> Doc Source #

Pretty TFF_atomic_type Source # 
Instance details

Methods

pretty :: TFF_atomic_type -> Doc Source #

pretties :: [TFF_atomic_type] -> Doc Source #

Pretty TFF_unitary_type Source # 
Instance details

Methods

pretty :: TFF_unitary_type -> Doc Source #

pretties :: [TFF_unitary_type] -> Doc Source #

Pretty TFF_monotype Source # 
Instance details

Methods

pretty :: TFF_monotype -> Doc Source #

pretties :: [TFF_monotype] -> Doc Source #

Pretty TF1_quantified_type Source # 
Instance details

Methods

pretty :: TF1_quantified_type -> Doc Source #

pretties :: [TF1_quantified_type] -> Doc Source #

Pretty TFF_top_level_type Source # 
Instance details

Methods

pretty :: TFF_top_level_type -> Doc Source #

pretties :: [TFF_top_level_type] -> Doc Source #

Pretty TFF_subtype Source # 
Instance details

Methods

pretty :: TFF_subtype -> Doc Source #

pretties :: [TFF_subtype] -> Doc Source #

Pretty TFF_typed_atom Source # 
Instance details

Methods

pretty :: TFF_typed_atom -> Doc Source #

pretties :: [TFF_typed_atom] -> Doc Source #

Pretty TFF_formula_tuple Source # 
Instance details

Methods

pretty :: TFF_formula_tuple -> Doc Source #

pretties :: [TFF_formula_tuple] -> Doc Source #

Pretty TFF_sequent Source # 
Instance details

Methods

pretty :: TFF_sequent -> Doc Source #

pretties :: [TFF_sequent] -> Doc Source #

Pretty TFF_let_formula_binding Source # 
Instance details

Methods

pretty :: TFF_let_formula_binding -> Doc Source #

pretties :: [TFF_let_formula_binding] -> Doc Source #

Pretty TFF_let_formula_defn Source # 
Instance details

Methods

pretty :: TFF_let_formula_defn -> Doc Source #

pretties :: [TFF_let_formula_defn] -> Doc Source #

Pretty TFF_let_formula_defns Source # 
Instance details

Methods

pretty :: TFF_let_formula_defns -> Doc Source #

pretties :: [TFF_let_formula_defns] -> Doc Source #

Pretty TFF_let_term_binding Source # 
Instance details

Methods

pretty :: TFF_let_term_binding -> Doc Source #

pretties :: [TFF_let_term_binding] -> Doc Source #

Pretty TFF_let_term_defn Source # 
Instance details

Methods

pretty :: TFF_let_term_defn -> Doc Source #

pretties :: [TFF_let_term_defn] -> Doc Source #

Pretty TFF_let_term_defns Source # 
Instance details

Methods

pretty :: TFF_let_term_defns -> Doc Source #

pretties :: [TFF_let_term_defns] -> Doc Source #

Pretty TFF_let Source # 
Instance details

Methods

pretty :: TFF_let -> Doc Source #

pretties :: [TFF_let] -> Doc Source #

Pretty TFF_conditional Source # 
Instance details

Methods

pretty :: TFF_conditional -> Doc Source #

pretties :: [TFF_conditional] -> Doc Source #

Pretty TFF_unary_formula Source # 
Instance details

Methods

pretty :: TFF_unary_formula -> Doc Source #

pretties :: [TFF_unary_formula] -> Doc Source #

Pretty TFF_typed_variable Source # 
Instance details

Methods

pretty :: TFF_typed_variable -> Doc Source #

pretties :: [TFF_typed_variable] -> Doc Source #

Pretty TFF_variable Source # 
Instance details

Methods

pretty :: TFF_variable -> Doc Source #

pretties :: [TFF_variable] -> Doc Source #

Pretty TFF_quantified_formula Source # 
Instance details

Methods

pretty :: TFF_quantified_formula -> Doc Source #

pretties :: [TFF_quantified_formula] -> Doc Source #

Pretty TFF_unitary_formula Source # 
Instance details

Methods

pretty :: TFF_unitary_formula -> Doc Source #

pretties :: [TFF_unitary_formula] -> Doc Source #

Pretty TFF_binary_assoc Source # 
Instance details

Methods

pretty :: TFF_binary_assoc -> Doc Source #

pretties :: [TFF_binary_assoc] -> Doc Source #

Pretty TFF_binary_nonassoc Source # 
Instance details

Methods

pretty :: TFF_binary_nonassoc -> Doc Source #

pretties :: [TFF_binary_nonassoc] -> Doc Source #

Pretty TFF_binary_formula Source # 
Instance details

Methods

pretty :: TFF_binary_formula -> Doc Source #

pretties :: [TFF_binary_formula] -> Doc Source #

Pretty TFF_logic_formula Source # 
Instance details

Methods

pretty :: TFF_logic_formula -> Doc Source #

pretties :: [TFF_logic_formula] -> Doc Source #

Pretty TFF_formula Source # 
Instance details

Methods

pretty :: TFF_formula -> Doc Source #

pretties :: [TFF_formula] -> Doc Source #

Pretty TFX_logic_formula Source # 
Instance details

Methods

pretty :: TFX_logic_formula -> Doc Source #

pretties :: [TFX_logic_formula] -> Doc Source #

Pretty TFX_formula Source # 
Instance details

Methods

pretty :: TFX_formula -> Doc Source #

pretties :: [TFX_formula] -> Doc Source #

Pretty THF_tuple Source # 
Instance details

Methods

pretty :: THF_tuple -> Doc Source #

pretties :: [THF_tuple] -> Doc Source #

Pretty THF_sequent Source # 
Instance details

Methods

pretty :: THF_sequent -> Doc Source #

pretties :: [THF_sequent] -> Doc Source #

Pretty THF_binary_type Source # 
Instance details

Methods

pretty :: THF_binary_type -> Doc Source #

pretties :: [THF_binary_type] -> Doc Source #

Pretty THF_unitary_type Source # 
Instance details

Methods

pretty :: THF_unitary_type -> Doc Source #

pretties :: [THF_unitary_type] -> Doc Source #

Pretty THF_top_level_type Source # 
Instance details

Methods

pretty :: THF_top_level_type -> Doc Source #

pretties :: [THF_top_level_type] -> Doc Source #

Pretty THF_subtype Source # 
Instance details

Methods

pretty :: THF_subtype -> Doc Source #

pretties :: [THF_subtype] -> Doc Source #

Pretty THF_typeable_formula Source # 
Instance details

Methods

pretty :: THF_typeable_formula -> Doc Source #

pretties :: [THF_typeable_formula] -> Doc Source #

Pretty THF_type_formula Source # 
Instance details

Methods

pretty :: THF_type_formula -> Doc Source #

pretties :: [THF_type_formula] -> Doc Source #

Pretty THF_let_defn_LHS Source # 
Instance details

Methods

pretty :: THF_let_defn_LHS -> Doc Source #

pretties :: [THF_let_defn_LHS] -> Doc Source #

Pretty THF_let_plain_defn Source # 
Instance details

Methods

pretty :: THF_let_plain_defn -> Doc Source #

pretties :: [THF_let_plain_defn] -> Doc Source #

Pretty THF_let_quantified_defn Source # 
Instance details

Methods

pretty :: THF_let_quantified_defn -> Doc Source #

pretties :: [THF_let_quantified_defn] -> Doc Source #

Pretty THF_let_defn Source # 
Instance details

Methods

pretty :: THF_let_defn -> Doc Source #

pretties :: [THF_let_defn] -> Doc Source #

Pretty THF_let_defns Source # 
Instance details

Methods

pretty :: THF_let_defns -> Doc Source #

pretties :: [THF_let_defns] -> Doc Source #

Pretty THF_let Source # 
Instance details

Methods

pretty :: THF_let -> Doc Source #

pretties :: [THF_let] -> Doc Source #

Pretty THF_conditional Source # 
Instance details

Methods

pretty :: THF_conditional -> Doc Source #

pretties :: [THF_conditional] -> Doc Source #

Pretty THF_conn_term Source # 
Instance details

Methods

pretty :: THF_conn_term -> Doc Source #

pretties :: [THF_conn_term] -> Doc Source #

Pretty THF_function Source # 
Instance details

Methods

pretty :: THF_function -> Doc Source #

pretties :: [THF_function] -> Doc Source #

Pretty THF_atom Source # 
Instance details

Methods

pretty :: THF_atom -> Doc Source #

pretties :: [THF_atom] -> Doc Source #

Pretty THF_unary_formula Source # 
Instance details

Methods

pretty :: THF_unary_formula -> Doc Source #

pretties :: [THF_unary_formula] -> Doc Source #

Pretty THF_typed_variable Source # 
Instance details

Methods

pretty :: THF_typed_variable -> Doc Source #

pretties :: [THF_typed_variable] -> Doc Source #

Pretty THF_variable Source # 
Instance details

Methods

pretty :: THF_variable -> Doc Source #

pretties :: [THF_variable] -> Doc Source #

Pretty THF_quantification Source # 
Instance details

Methods

pretty :: THF_quantification -> Doc Source #

pretties :: [THF_quantification] -> Doc Source #

Pretty THF_quantified_formula Source # 
Instance details

Methods

pretty :: THF_quantified_formula -> Doc Source #

pretties :: [THF_quantified_formula] -> Doc Source #

Pretty THF_unitary_formula Source # 
Instance details

Methods

pretty :: THF_unitary_formula -> Doc Source #

pretties :: [THF_unitary_formula] -> Doc Source #

Pretty THF_binary_tuple Source # 
Instance details

Methods

pretty :: THF_binary_tuple -> Doc Source #

pretties :: [THF_binary_tuple] -> Doc Source #

Pretty THF_binary_pair Source # 
Instance details

Methods

pretty :: THF_binary_pair -> Doc Source #

pretties :: [THF_binary_pair] -> Doc Source #

Pretty THF_binary_formula Source # 
Instance details

Methods

pretty :: THF_binary_formula -> Doc Source #

pretties :: [THF_binary_formula] -> Doc Source #

Pretty THF_logic_formula Source # 
Instance details

Methods

pretty :: THF_logic_formula -> Doc Source #

pretties :: [THF_logic_formula] -> Doc Source #

Pretty THF_formula Source # 
Instance details

Methods

pretty :: THF_formula -> Doc Source #

pretties :: [THF_formula] -> Doc Source #

Pretty Formula_role Source # 
Instance details

Methods

pretty :: Formula_role -> Doc Source #

pretties :: [Formula_role] -> Doc Source #

Pretty Annotations Source # 
Instance details

Methods

pretty :: Annotations -> Doc Source #

pretties :: [Annotations] -> Doc Source #

Pretty CNF_annotated Source # 
Instance details

Methods

pretty :: CNF_annotated -> Doc Source #

pretties :: [CNF_annotated] -> Doc Source #

Pretty FOF_annotated Source # 
Instance details

Methods

pretty :: FOF_annotated -> Doc Source #

pretties :: [FOF_annotated] -> Doc Source #

Pretty TCF_annotated Source # 
Instance details

Methods

pretty :: TCF_annotated -> Doc Source #

pretties :: [TCF_annotated] -> Doc Source #

Pretty TFF_annotated Source # 
Instance details

Methods

pretty :: TFF_annotated -> Doc Source #

pretties :: [TFF_annotated] -> Doc Source #

Pretty TFX_annotated Source # 
Instance details

Methods

pretty :: TFX_annotated -> Doc Source #

pretties :: [TFX_annotated] -> Doc Source #

Pretty THF_annotated Source # 
Instance details

Methods

pretty :: THF_annotated -> Doc Source #

pretties :: [THF_annotated] -> Doc Source #

Pretty TPI_annotated Source # 
Instance details

Methods

pretty :: TPI_annotated -> Doc Source #

pretties :: [TPI_annotated] -> Doc Source #

Pretty Annotated_formula Source # 
Instance details

Methods

pretty :: Annotated_formula -> Doc Source #

pretties :: [Annotated_formula] -> Doc Source #

Pretty SystemComment Source # 
Instance details

Methods

pretty :: SystemComment -> Doc Source #

pretties :: [SystemComment] -> Doc Source #

Pretty DefinedComment Source # 
Instance details

Methods

pretty :: DefinedComment -> Doc Source #

pretties :: [DefinedComment] -> Doc Source #

Pretty Comment Source # 
Instance details

Methods

pretty :: Comment -> Doc Source #

pretties :: [Comment] -> Doc Source #

Pretty TPTP_input Source # 
Instance details

Methods

pretty :: TPTP_input -> Doc Source #

pretties :: [TPTP_input] -> Doc Source #

Pretty TPTP Source # 
Instance details

Methods

pretty :: TPTP -> Doc Source #

pretties :: [TPTP] -> Doc Source #

Pretty BASIC_SPEC Source # 
Instance details

Methods

pretty :: BASIC_SPEC -> Doc Source #

pretties :: [BASIC_SPEC] -> Doc Source #

Pretty Sign Source # 
Instance details

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty Symbol Source # 
Instance details

Methods

pretty :: Symbol -> Doc Source #

pretties :: [Symbol] -> Doc Source #