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

Contents

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

Orphan instances

Pretty Number Source # 
Pretty Name Source # 

Methods

pretty :: Name -> Doc Source #

pretties :: [Name] -> Doc Source #

Pretty Formula_data Source # 
Pretty General_function Source # 
Pretty General_data Source # 
Pretty General_term Source # 
Pretty Include Source # 
Pretty Principal_symbol Source # 
Pretty New_symbol_record Source # 
Pretty Inference_info Source # 
Pretty Status_value Source # 
Pretty Inference_status Source # 
Pretty Inference_item Source # 
Pretty Formula_item Source # 
Pretty Info_item Source # 
Pretty Useful_info Source # 
Pretty Creator_source Source # 
Pretty Theory_name Source # 
Pretty Theory Source # 
Pretty File_source Source # 
Pretty External_source Source # 
Pretty Intro_type Source # 
Pretty Internal_source Source # 
Pretty Parent_info Source # 
Pretty Inference_record Source # 
Pretty DAG_source Source # 
Pretty Source Source # 
Pretty Defined_term Source # 
Pretty Defined_functor Source # 
Pretty Defined_infix_pred Source # 
Pretty Defined_predicate Source # 
Pretty Defined_proposition Source # 
Pretty Untyped_atom Source # 
Pretty Atom Source # 

Methods

pretty :: Atom -> Doc Source #

pretties :: [Atom] -> Doc Source #

Pretty Defined_type Source # 
Pretty Unary_connective Source # 
Pretty Assoc_connective Source # 
Pretty Binary_connective Source # 
Pretty FOF_quantifier Source # 
Pretty TH1_unary_connective Source # 
Pretty THF_unary_connective Source # 
Pretty THF_pair_connective Source # 
Pretty TH0_quantifier Source # 
Pretty TH1_quantifier Source # 
Pretty THF_quantifier Source # 
Pretty Literal Source # 
Pretty Disjunction Source # 
Pretty CNF_formula Source # 
Pretty FOF_formula_tuple Source # 
Pretty FOF_sequent Source # 
Pretty TFF_let_term Source # 
Pretty TFF_conditional_term Source # 
Pretty FOF_function_term Source # 
Pretty FOF_term Source # 
Pretty FOF_system_term Source # 
Pretty FOF_defined_plain_term Source # 
Pretty FOF_defined_atomic_term Source # 
Pretty FOF_defined_term Source # 
Pretty FOF_plain_term Source # 
Pretty FOF_system_atomic_formula Source # 
Pretty FOF_defined_infix_formula Source # 
Pretty FOF_defined_plain_formula Source # 
Pretty FOF_defined_atomic_formula Source # 
Pretty FOF_plain_atomic_formula Source # 
Pretty FOF_atomic_formula Source # 
Pretty FOF_infix_unary Source # 
Pretty FOF_unary_formula Source # 
Pretty FOF_quantified_formula Source # 
Pretty FOF_unitary_formula Source # 
Pretty FOF_binary_assoc Source # 
Pretty FOF_binary_nonassoc Source # 
Pretty FOF_binary_formula Source # 
Pretty FOF_logic_formula Source # 
Pretty FOF_formula Source # 
Pretty TCF_quantified_formula Source # 
Pretty TCF_logic_formula Source # 
Pretty TCF_formula Source # 
Pretty TFF_xprod_type Source # 
Pretty TFF_mapping_type Source # 
Pretty TFF_atomic_type Source # 
Pretty TFF_unitary_type Source # 
Pretty TFF_monotype Source # 
Pretty TF1_quantified_type Source # 
Pretty TFF_top_level_type Source # 
Pretty TFF_subtype Source # 
Pretty TFF_typed_atom Source # 
Pretty TFF_formula_tuple Source # 
Pretty TFF_sequent Source # 
Pretty TFF_let_formula_binding Source # 
Pretty TFF_let_formula_defn Source # 
Pretty TFF_let_formula_defns Source # 
Pretty TFF_let_term_binding Source # 
Pretty TFF_let_term_defn Source # 
Pretty TFF_let_term_defns Source # 
Pretty TFF_let Source # 
Pretty TFF_conditional Source # 
Pretty TFF_unary_formula Source # 
Pretty TFF_typed_variable Source # 
Pretty TFF_variable Source # 
Pretty TFF_quantified_formula Source # 
Pretty TFF_unitary_formula Source # 
Pretty TFF_binary_assoc Source # 
Pretty TFF_binary_nonassoc Source # 
Pretty TFF_binary_formula Source # 
Pretty TFF_logic_formula Source # 
Pretty TFF_formula Source # 
Pretty TFX_logic_formula Source # 
Pretty TFX_formula Source # 
Pretty THF_tuple Source # 
Pretty THF_sequent Source # 
Pretty THF_binary_type Source # 
Pretty THF_unitary_type Source # 
Pretty THF_top_level_type Source # 
Pretty THF_subtype Source # 
Pretty THF_typeable_formula Source # 
Pretty THF_type_formula Source # 
Pretty THF_let_defn_LHS Source # 
Pretty THF_let_plain_defn Source # 
Pretty THF_let_quantified_defn Source # 
Pretty THF_let_defn Source # 
Pretty THF_let_defns Source # 
Pretty THF_let Source # 
Pretty THF_conditional Source # 
Pretty THF_conn_term Source # 
Pretty THF_function Source # 
Pretty THF_atom Source # 
Pretty THF_unary_formula Source # 
Pretty THF_typed_variable Source # 
Pretty THF_variable Source # 
Pretty THF_quantification Source # 
Pretty THF_quantified_formula Source # 
Pretty THF_unitary_formula Source # 
Pretty THF_binary_tuple Source # 
Pretty THF_binary_pair Source # 
Pretty THF_binary_formula Source # 
Pretty THF_logic_formula Source # 
Pretty THF_formula Source # 
Pretty Formula_role Source # 
Pretty Annotations Source # 
Pretty CNF_annotated Source # 
Pretty FOF_annotated Source # 
Pretty TCF_annotated Source # 
Pretty TFF_annotated Source # 
Pretty TFX_annotated Source # 
Pretty THF_annotated Source # 
Pretty TPI_annotated Source # 
Pretty Annotated_formula Source # 
Pretty SystemComment Source # 
Pretty DefinedComment Source # 
Pretty Comment Source # 
Pretty TPTP_input Source # 
Pretty TPTP Source # 

Methods

pretty :: TPTP -> Doc Source #

pretties :: [TPTP] -> Doc Source #

Pretty BASIC_SPEC Source # 
Pretty Sign Source # 

Methods

pretty :: Sign -> Doc Source #

pretties :: [Sign] -> Doc Source #

Pretty Symbol Source #