Copyright	(c) Eugen Kuksa University of Magdeburg 2017
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Eugen Kuksa <kuksa@iks.cs.ovgu.de>
Stability	provisional
Portability	portable
Safe Haskell	None

TPTP.Pretty

Contents

Orphan instances

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 #

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result