Copyright	(c) DFKI GmbH 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(derive Typeable instances)
Safe Haskell	None

TPTP.ATC_TPTP

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): BASIC_SPEC TPTP TPTP_input Comment DefinedComment SystemComment Annotated_formula TPI_annotated THF_annotated TFX_annotated TFF_annotated TCF_annotated FOF_annotated CNF_annotated Annotations Formula_role THF_formula THF_logic_formula THF_binary_formula THF_binary_pair THF_binary_tuple THF_unitary_formula THF_quantified_formula THF_quantification THF_variable THF_typed_variable THF_unary_formula THF_atom THF_function THF_conn_term THF_conditional THF_let THF_let_defns THF_let_defn THF_let_quantified_defn THF_let_plain_defn THF_let_defn_LHS THF_type_formula THF_typeable_formula THF_subtype THF_top_level_type THF_unitary_type THF_binary_type THF_sequent THF_tuple TFX_formula TFX_logic_formula TFF_formula TFF_logic_formula TFF_binary_formula TFF_binary_nonassoc TFF_binary_assoc TFF_unitary_formula TFF_quantified_formula TFF_variable TFF_typed_variable TFF_unary_formula TFF_conditional TFF_let TFF_let_term_defns TFF_let_term_defn TFF_let_term_binding TFF_let_formula_defns TFF_let_formula_defn TFF_let_formula_binding TFF_sequent TFF_formula_tuple TFF_typed_atom TFF_subtype TFF_top_level_type TF1_quantified_type TFF_monotype TFF_unitary_type TFF_atomic_type TFF_mapping_type TFF_xprod_type TCF_formula TCF_logic_formula TCF_quantified_formula FOF_formula FOF_logic_formula FOF_binary_formula FOF_binary_nonassoc FOF_binary_assoc FOF_unitary_formula FOF_quantified_formula FOF_unary_formula FOF_infix_unary FOF_atomic_formula FOF_plain_atomic_formula FOF_defined_atomic_formula FOF_defined_plain_formula FOF_defined_infix_formula FOF_system_atomic_formula FOF_plain_term FOF_defined_term FOF_defined_atomic_term FOF_defined_plain_term FOF_system_term FOF_term FOF_function_term TFF_conditional_term TFF_let_term FOF_sequent FOF_formula_tuple CNF_formula Disjunction Literal THF_quantifier TH1_quantifier TH0_quantifier THF_pair_connective THF_unary_connective TH1_unary_connective FOF_quantifier Binary_connective Assoc_connective Unary_connective Defined_type Atom Untyped_atom Defined_proposition Defined_predicate Defined_infix_pred Defined_functor Defined_term Source DAG_source Inference_record Parent_info Internal_source Intro_type External_source File_source Theory Theory_name Creator_source Useful_info Info_item Formula_item Inference_item Inference_status Status_value Inference_info New_symbol_record Principal_symbol Include General_term General_data General_function Formula_data Name Number Symbol SymbolType THFTypeable FunctorType PredicateType Type_functorType Sign Sublogic

Orphan instances

Generic Number Source #
Instance details Associated Types type Rep Number :: Type -> Type Methods from :: Number -> Rep Number x to :: Rep Number x -> Number
Generic Name Source #
Instance details Associated Types type Rep Name :: Type -> Type Methods from :: Name -> Rep Name x to :: Rep Name x -> Name
Generic Formula_data Source #
Instance details Associated Types type Rep Formula_data :: Type -> Type Methods from :: Formula_data -> Rep Formula_data x to :: Rep Formula_data x -> Formula_data
Generic General_function Source #
Instance details Associated Types type Rep General_function :: Type -> Type Methods from :: General_function -> Rep General_function x to :: Rep General_function x -> General_function
Generic General_data Source #
Instance details Associated Types type Rep General_data :: Type -> Type Methods from :: General_data -> Rep General_data x to :: Rep General_data x -> General_data
Generic General_term Source #
Instance details Associated Types type Rep General_term :: Type -> Type Methods from :: General_term -> Rep General_term x to :: Rep General_term x -> General_term
Generic Include Source #
Instance details Associated Types type Rep Include :: Type -> Type Methods from :: Include -> Rep Include x to :: Rep Include x -> Include
Generic Principal_symbol Source #
Instance details Associated Types type Rep Principal_symbol :: Type -> Type Methods from :: Principal_symbol -> Rep Principal_symbol x to :: Rep Principal_symbol x -> Principal_symbol
Generic New_symbol_record Source #
Instance details Associated Types type Rep New_symbol_record :: Type -> Type Methods from :: New_symbol_record -> Rep New_symbol_record x to :: Rep New_symbol_record x -> New_symbol_record
Generic Inference_info Source #
Instance details Associated Types type Rep Inference_info :: Type -> Type Methods from :: Inference_info -> Rep Inference_info x to :: Rep Inference_info x -> Inference_info
Generic Status_value Source #
Instance details Associated Types type Rep Status_value :: Type -> Type Methods from :: Status_value -> Rep Status_value x to :: Rep Status_value x -> Status_value
Generic Inference_status Source #
Instance details Associated Types type Rep Inference_status :: Type -> Type Methods from :: Inference_status -> Rep Inference_status x to :: Rep Inference_status x -> Inference_status
Generic Inference_item Source #
Instance details Associated Types type Rep Inference_item :: Type -> Type Methods from :: Inference_item -> Rep Inference_item x to :: Rep Inference_item x -> Inference_item
Generic Formula_item Source #
Instance details Associated Types type Rep Formula_item :: Type -> Type Methods from :: Formula_item -> Rep Formula_item x to :: Rep Formula_item x -> Formula_item
Generic Info_item Source #
Instance details Associated Types type Rep Info_item :: Type -> Type Methods from :: Info_item -> Rep Info_item x to :: Rep Info_item x -> Info_item
Generic Useful_info Source #
Instance details Associated Types type Rep Useful_info :: Type -> Type Methods from :: Useful_info -> Rep Useful_info x to :: Rep Useful_info x -> Useful_info
Generic Creator_source Source #
Instance details Associated Types type Rep Creator_source :: Type -> Type Methods from :: Creator_source -> Rep Creator_source x to :: Rep Creator_source x -> Creator_source
Generic Theory_name Source #
Instance details Associated Types type Rep Theory_name :: Type -> Type Methods from :: Theory_name -> Rep Theory_name x to :: Rep Theory_name x -> Theory_name
Generic Theory Source #
Instance details Associated Types type Rep Theory :: Type -> Type Methods from :: Theory -> Rep Theory x to :: Rep Theory x -> Theory
Generic File_source Source #
Instance details Associated Types type Rep File_source :: Type -> Type Methods from :: File_source -> Rep File_source x to :: Rep File_source x -> File_source
Generic External_source Source #
Instance details Associated Types type Rep External_source :: Type -> Type Methods from :: External_source -> Rep External_source x to :: Rep External_source x -> External_source
Generic Intro_type Source #
Instance details Associated Types type Rep Intro_type :: Type -> Type Methods from :: Intro_type -> Rep Intro_type x to :: Rep Intro_type x -> Intro_type
Generic Internal_source Source #
Instance details Associated Types type Rep Internal_source :: Type -> Type Methods from :: Internal_source -> Rep Internal_source x to :: Rep Internal_source x -> Internal_source
Generic Parent_info Source #
Instance details Associated Types type Rep Parent_info :: Type -> Type Methods from :: Parent_info -> Rep Parent_info x to :: Rep Parent_info x -> Parent_info
Generic Inference_record Source #
Instance details Associated Types type Rep Inference_record :: Type -> Type Methods from :: Inference_record -> Rep Inference_record x to :: Rep Inference_record x -> Inference_record
Generic DAG_source Source #
Instance details Associated Types type Rep DAG_source :: Type -> Type Methods from :: DAG_source -> Rep DAG_source x to :: Rep DAG_source x -> DAG_source
Generic Source Source #
Instance details Associated Types type Rep Source :: Type -> Type Methods from :: Source -> Rep Source x to :: Rep Source x -> Source
Generic Defined_term Source #
Instance details Associated Types type Rep Defined_term :: Type -> Type Methods from :: Defined_term -> Rep Defined_term x to :: Rep Defined_term x -> Defined_term
Generic Defined_functor Source #
Instance details Associated Types type Rep Defined_functor :: Type -> Type Methods from :: Defined_functor -> Rep Defined_functor x to :: Rep Defined_functor x -> Defined_functor
Generic Defined_infix_pred Source #
Instance details Associated Types type Rep Defined_infix_pred :: Type -> Type Methods from :: Defined_infix_pred -> Rep Defined_infix_pred x to :: Rep Defined_infix_pred x -> Defined_infix_pred
Generic Defined_predicate Source #
Instance details Associated Types type Rep Defined_predicate :: Type -> Type Methods from :: Defined_predicate -> Rep Defined_predicate x to :: Rep Defined_predicate x -> Defined_predicate
Generic Defined_proposition Source #
Instance details Associated Types type Rep Defined_proposition :: Type -> Type Methods from :: Defined_proposition -> Rep Defined_proposition x to :: Rep Defined_proposition x -> Defined_proposition
Generic Untyped_atom Source #
Instance details Associated Types type Rep Untyped_atom :: Type -> Type Methods from :: Untyped_atom -> Rep Untyped_atom x to :: Rep Untyped_atom x -> Untyped_atom
Generic Atom Source #
Instance details Associated Types type Rep Atom :: Type -> Type Methods from :: Atom -> Rep Atom x to :: Rep Atom x -> Atom
Generic Defined_type Source #
Instance details Associated Types type Rep Defined_type :: Type -> Type Methods from :: Defined_type -> Rep Defined_type x to :: Rep Defined_type x -> Defined_type
Generic Unary_connective Source #
Instance details Associated Types type Rep Unary_connective :: Type -> Type Methods from :: Unary_connective -> Rep Unary_connective x to :: Rep Unary_connective x -> Unary_connective
Generic Assoc_connective Source #
Instance details Associated Types type Rep Assoc_connective :: Type -> Type Methods from :: Assoc_connective -> Rep Assoc_connective x to :: Rep Assoc_connective x -> Assoc_connective
Generic Binary_connective Source #
Instance details Associated Types type Rep Binary_connective :: Type -> Type Methods from :: Binary_connective -> Rep Binary_connective x to :: Rep Binary_connective x -> Binary_connective
Generic FOF_quantifier Source #
Instance details Associated Types type Rep FOF_quantifier :: Type -> Type Methods from :: FOF_quantifier -> Rep FOF_quantifier x to :: Rep FOF_quantifier x -> FOF_quantifier
Generic TH1_unary_connective Source #
Instance details Associated Types type Rep TH1_unary_connective :: Type -> Type Methods from :: TH1_unary_connective -> Rep TH1_unary_connective x to :: Rep TH1_unary_connective x -> TH1_unary_connective
Generic THF_unary_connective Source #
Instance details Associated Types type Rep THF_unary_connective :: Type -> Type Methods from :: THF_unary_connective -> Rep THF_unary_connective x to :: Rep THF_unary_connective x -> THF_unary_connective
Generic THF_pair_connective Source #
Instance details Associated Types type Rep THF_pair_connective :: Type -> Type Methods from :: THF_pair_connective -> Rep THF_pair_connective x to :: Rep THF_pair_connective x -> THF_pair_connective
Generic TH0_quantifier Source #
Instance details Associated Types type Rep TH0_quantifier :: Type -> Type Methods from :: TH0_quantifier -> Rep TH0_quantifier x to :: Rep TH0_quantifier x -> TH0_quantifier
Generic TH1_quantifier Source #
Instance details Associated Types type Rep TH1_quantifier :: Type -> Type Methods from :: TH1_quantifier -> Rep TH1_quantifier x to :: Rep TH1_quantifier x -> TH1_quantifier
Generic THF_quantifier Source #
Instance details Associated Types type Rep THF_quantifier :: Type -> Type Methods from :: THF_quantifier -> Rep THF_quantifier x to :: Rep THF_quantifier x -> THF_quantifier
Generic Literal Source #
Instance details Associated Types type Rep Literal :: Type -> Type Methods from :: Literal -> Rep Literal x to :: Rep Literal x -> Literal
Generic Disjunction Source #
Instance details Associated Types type Rep Disjunction :: Type -> Type Methods from :: Disjunction -> Rep Disjunction x to :: Rep Disjunction x -> Disjunction
Generic CNF_formula Source #
Instance details Associated Types type Rep CNF_formula :: Type -> Type Methods from :: CNF_formula -> Rep CNF_formula x to :: Rep CNF_formula x -> CNF_formula
Generic FOF_formula_tuple Source #
Instance details Associated Types type Rep FOF_formula_tuple :: Type -> Type Methods from :: FOF_formula_tuple -> Rep FOF_formula_tuple x to :: Rep FOF_formula_tuple x -> FOF_formula_tuple
Generic FOF_sequent Source #
Instance details Associated Types type Rep FOF_sequent :: Type -> Type Methods from :: FOF_sequent -> Rep FOF_sequent x to :: Rep FOF_sequent x -> FOF_sequent
Generic TFF_let_term Source #
Instance details Associated Types type Rep TFF_let_term :: Type -> Type Methods from :: TFF_let_term -> Rep TFF_let_term x to :: Rep TFF_let_term x -> TFF_let_term
Generic TFF_conditional_term Source #
Instance details Associated Types type Rep TFF_conditional_term :: Type -> Type Methods from :: TFF_conditional_term -> Rep TFF_conditional_term x to :: Rep TFF_conditional_term x -> TFF_conditional_term
Generic FOF_function_term Source #
Instance details Associated Types type Rep FOF_function_term :: Type -> Type Methods from :: FOF_function_term -> Rep FOF_function_term x to :: Rep FOF_function_term x -> FOF_function_term
Generic FOF_term Source #
Instance details Associated Types type Rep FOF_term :: Type -> Type Methods from :: FOF_term -> Rep FOF_term x to :: Rep FOF_term x -> FOF_term
Generic FOF_system_term Source #
Instance details Associated Types type Rep FOF_system_term :: Type -> Type Methods from :: FOF_system_term -> Rep FOF_system_term x to :: Rep FOF_system_term x -> FOF_system_term
Generic FOF_defined_plain_term Source #
Instance details Associated Types type Rep FOF_defined_plain_term :: Type -> Type Methods from :: FOF_defined_plain_term -> Rep FOF_defined_plain_term x to :: Rep FOF_defined_plain_term x -> FOF_defined_plain_term
Generic FOF_defined_atomic_term Source #
Instance details Associated Types type Rep FOF_defined_atomic_term :: Type -> Type Methods from :: FOF_defined_atomic_term -> Rep FOF_defined_atomic_term x to :: Rep FOF_defined_atomic_term x -> FOF_defined_atomic_term
Generic FOF_defined_term Source #
Instance details Associated Types type Rep FOF_defined_term :: Type -> Type Methods from :: FOF_defined_term -> Rep FOF_defined_term x to :: Rep FOF_defined_term x -> FOF_defined_term
Generic FOF_plain_term Source #
Instance details Associated Types type Rep FOF_plain_term :: Type -> Type Methods from :: FOF_plain_term -> Rep FOF_plain_term x to :: Rep FOF_plain_term x -> FOF_plain_term
Generic FOF_system_atomic_formula Source #
Instance details Associated Types type Rep FOF_system_atomic_formula :: Type -> Type Methods from :: FOF_system_atomic_formula -> Rep FOF_system_atomic_formula x to :: Rep FOF_system_atomic_formula x -> FOF_system_atomic_formula
Generic FOF_defined_infix_formula Source #
Instance details Associated Types type Rep FOF_defined_infix_formula :: Type -> Type Methods from :: FOF_defined_infix_formula -> Rep FOF_defined_infix_formula x to :: Rep FOF_defined_infix_formula x -> FOF_defined_infix_formula
Generic FOF_defined_plain_formula Source #
Instance details Associated Types type Rep FOF_defined_plain_formula :: Type -> Type Methods from :: FOF_defined_plain_formula -> Rep FOF_defined_plain_formula x to :: Rep FOF_defined_plain_formula x -> FOF_defined_plain_formula
Generic FOF_defined_atomic_formula Source #
Instance details Associated Types type Rep FOF_defined_atomic_formula :: Type -> Type Methods from :: FOF_defined_atomic_formula -> Rep FOF_defined_atomic_formula x to :: Rep FOF_defined_atomic_formula x -> FOF_defined_atomic_formula
Generic FOF_plain_atomic_formula Source #
Instance details Associated Types type Rep FOF_plain_atomic_formula :: Type -> Type Methods from :: FOF_plain_atomic_formula -> Rep FOF_plain_atomic_formula x to :: Rep FOF_plain_atomic_formula x -> FOF_plain_atomic_formula
Generic FOF_atomic_formula Source #
Instance details Associated Types type Rep FOF_atomic_formula :: Type -> Type Methods from :: FOF_atomic_formula -> Rep FOF_atomic_formula x to :: Rep FOF_atomic_formula x -> FOF_atomic_formula
Generic FOF_infix_unary Source #
Instance details Associated Types type Rep FOF_infix_unary :: Type -> Type Methods from :: FOF_infix_unary -> Rep FOF_infix_unary x to :: Rep FOF_infix_unary x -> FOF_infix_unary
Generic FOF_unary_formula Source #
Instance details Associated Types type Rep FOF_unary_formula :: Type -> Type Methods from :: FOF_unary_formula -> Rep FOF_unary_formula x to :: Rep FOF_unary_formula x -> FOF_unary_formula
Generic FOF_quantified_formula Source #
Instance details Associated Types type Rep FOF_quantified_formula :: Type -> Type Methods from :: FOF_quantified_formula -> Rep FOF_quantified_formula x to :: Rep FOF_quantified_formula x -> FOF_quantified_formula
Generic FOF_unitary_formula Source #
Instance details Associated Types type Rep FOF_unitary_formula :: Type -> Type Methods from :: FOF_unitary_formula -> Rep FOF_unitary_formula x to :: Rep FOF_unitary_formula x -> FOF_unitary_formula
Generic FOF_binary_assoc Source #
Instance details Associated Types type Rep FOF_binary_assoc :: Type -> Type Methods from :: FOF_binary_assoc -> Rep FOF_binary_assoc x to :: Rep FOF_binary_assoc x -> FOF_binary_assoc
Generic FOF_binary_nonassoc Source #
Instance details Associated Types type Rep FOF_binary_nonassoc :: Type -> Type Methods from :: FOF_binary_nonassoc -> Rep FOF_binary_nonassoc x to :: Rep FOF_binary_nonassoc x -> FOF_binary_nonassoc
Generic FOF_binary_formula Source #
Instance details Associated Types type Rep FOF_binary_formula :: Type -> Type Methods from :: FOF_binary_formula -> Rep FOF_binary_formula x to :: Rep FOF_binary_formula x -> FOF_binary_formula
Generic FOF_logic_formula Source #
Instance details Associated Types type Rep FOF_logic_formula :: Type -> Type Methods from :: FOF_logic_formula -> Rep FOF_logic_formula x to :: Rep FOF_logic_formula x -> FOF_logic_formula
Generic FOF_formula Source #
Instance details Associated Types type Rep FOF_formula :: Type -> Type Methods from :: FOF_formula -> Rep FOF_formula x to :: Rep FOF_formula x -> FOF_formula
Generic TCF_quantified_formula Source #
Instance details Associated Types type Rep TCF_quantified_formula :: Type -> Type Methods from :: TCF_quantified_formula -> Rep TCF_quantified_formula x to :: Rep TCF_quantified_formula x -> TCF_quantified_formula
Generic TCF_logic_formula Source #
Instance details Associated Types type Rep TCF_logic_formula :: Type -> Type Methods from :: TCF_logic_formula -> Rep TCF_logic_formula x to :: Rep TCF_logic_formula x -> TCF_logic_formula
Generic TCF_formula Source #
Instance details Associated Types type Rep TCF_formula :: Type -> Type Methods from :: TCF_formula -> Rep TCF_formula x to :: Rep TCF_formula x -> TCF_formula
Generic TFF_xprod_type Source #
Instance details Associated Types type Rep TFF_xprod_type :: Type -> Type Methods from :: TFF_xprod_type -> Rep TFF_xprod_type x to :: Rep TFF_xprod_type x -> TFF_xprod_type
Generic TFF_mapping_type Source #
Instance details Associated Types type Rep TFF_mapping_type :: Type -> Type Methods from :: TFF_mapping_type -> Rep TFF_mapping_type x to :: Rep TFF_mapping_type x -> TFF_mapping_type
Generic TFF_atomic_type Source #
Instance details Associated Types type Rep TFF_atomic_type :: Type -> Type Methods from :: TFF_atomic_type -> Rep TFF_atomic_type x to :: Rep TFF_atomic_type x -> TFF_atomic_type
Generic TFF_unitary_type Source #
Instance details Associated Types type Rep TFF_unitary_type :: Type -> Type Methods from :: TFF_unitary_type -> Rep TFF_unitary_type x to :: Rep TFF_unitary_type x -> TFF_unitary_type
Generic TFF_monotype Source #
Instance details Associated Types type Rep TFF_monotype :: Type -> Type Methods from :: TFF_monotype -> Rep TFF_monotype x to :: Rep TFF_monotype x -> TFF_monotype
Generic TF1_quantified_type Source #
Instance details Associated Types type Rep TF1_quantified_type :: Type -> Type Methods from :: TF1_quantified_type -> Rep TF1_quantified_type x to :: Rep TF1_quantified_type x -> TF1_quantified_type
Generic TFF_top_level_type Source #
Instance details Associated Types type Rep TFF_top_level_type :: Type -> Type Methods from :: TFF_top_level_type -> Rep TFF_top_level_type x to :: Rep TFF_top_level_type x -> TFF_top_level_type
Generic TFF_subtype Source #
Instance details Associated Types type Rep TFF_subtype :: Type -> Type Methods from :: TFF_subtype -> Rep TFF_subtype x to :: Rep TFF_subtype x -> TFF_subtype
Generic TFF_typed_atom Source #
Instance details Associated Types type Rep TFF_typed_atom :: Type -> Type Methods from :: TFF_typed_atom -> Rep TFF_typed_atom x to :: Rep TFF_typed_atom x -> TFF_typed_atom
Generic TFF_formula_tuple Source #
Instance details Associated Types type Rep TFF_formula_tuple :: Type -> Type Methods from :: TFF_formula_tuple -> Rep TFF_formula_tuple x to :: Rep TFF_formula_tuple x -> TFF_formula_tuple
Generic TFF_sequent Source #
Instance details Associated Types type Rep TFF_sequent :: Type -> Type Methods from :: TFF_sequent -> Rep TFF_sequent x to :: Rep TFF_sequent x -> TFF_sequent
Generic TFF_let_formula_binding Source #
Instance details Associated Types type Rep TFF_let_formula_binding :: Type -> Type Methods from :: TFF_let_formula_binding -> Rep TFF_let_formula_binding x to :: Rep TFF_let_formula_binding x -> TFF_let_formula_binding
Generic TFF_let_formula_defn Source #
Instance details Associated Types type Rep TFF_let_formula_defn :: Type -> Type Methods from :: TFF_let_formula_defn -> Rep TFF_let_formula_defn x to :: Rep TFF_let_formula_defn x -> TFF_let_formula_defn
Generic TFF_let_formula_defns Source #
Instance details Associated Types type Rep TFF_let_formula_defns :: Type -> Type Methods from :: TFF_let_formula_defns -> Rep TFF_let_formula_defns x to :: Rep TFF_let_formula_defns x -> TFF_let_formula_defns
Generic TFF_let_term_binding Source #
Instance details Associated Types type Rep TFF_let_term_binding :: Type -> Type Methods from :: TFF_let_term_binding -> Rep TFF_let_term_binding x to :: Rep TFF_let_term_binding x -> TFF_let_term_binding
Generic TFF_let_term_defn Source #
Instance details Associated Types type Rep TFF_let_term_defn :: Type -> Type Methods from :: TFF_let_term_defn -> Rep TFF_let_term_defn x to :: Rep TFF_let_term_defn x -> TFF_let_term_defn
Generic TFF_let_term_defns Source #
Instance details Associated Types type Rep TFF_let_term_defns :: Type -> Type Methods from :: TFF_let_term_defns -> Rep TFF_let_term_defns x to :: Rep TFF_let_term_defns x -> TFF_let_term_defns
Generic TFF_let Source #
Instance details Associated Types type Rep TFF_let :: Type -> Type Methods from :: TFF_let -> Rep TFF_let x to :: Rep TFF_let x -> TFF_let
Generic TFF_conditional Source #
Instance details Associated Types type Rep TFF_conditional :: Type -> Type Methods from :: TFF_conditional -> Rep TFF_conditional x to :: Rep TFF_conditional x -> TFF_conditional
Generic TFF_unary_formula Source #
Instance details Associated Types type Rep TFF_unary_formula :: Type -> Type Methods from :: TFF_unary_formula -> Rep TFF_unary_formula x to :: Rep TFF_unary_formula x -> TFF_unary_formula
Generic TFF_typed_variable Source #
Instance details Associated Types type Rep TFF_typed_variable :: Type -> Type Methods from :: TFF_typed_variable -> Rep TFF_typed_variable x to :: Rep TFF_typed_variable x -> TFF_typed_variable
Generic TFF_variable Source #
Instance details Associated Types type Rep TFF_variable :: Type -> Type Methods from :: TFF_variable -> Rep TFF_variable x to :: Rep TFF_variable x -> TFF_variable
Generic TFF_quantified_formula Source #
Instance details Associated Types type Rep TFF_quantified_formula :: Type -> Type Methods from :: TFF_quantified_formula -> Rep TFF_quantified_formula x to :: Rep TFF_quantified_formula x -> TFF_quantified_formula
Generic TFF_unitary_formula Source #
Instance details Associated Types type Rep TFF_unitary_formula :: Type -> Type Methods from :: TFF_unitary_formula -> Rep TFF_unitary_formula x to :: Rep TFF_unitary_formula x -> TFF_unitary_formula
Generic TFF_binary_assoc Source #
Instance details Associated Types type Rep TFF_binary_assoc :: Type -> Type Methods from :: TFF_binary_assoc -> Rep TFF_binary_assoc x to :: Rep TFF_binary_assoc x -> TFF_binary_assoc
Generic TFF_binary_nonassoc Source #
Instance details Associated Types type Rep TFF_binary_nonassoc :: Type -> Type Methods from :: TFF_binary_nonassoc -> Rep TFF_binary_nonassoc x to :: Rep TFF_binary_nonassoc x -> TFF_binary_nonassoc
Generic TFF_binary_formula Source #
Instance details Associated Types type Rep TFF_binary_formula :: Type -> Type Methods from :: TFF_binary_formula -> Rep TFF_binary_formula x to :: Rep TFF_binary_formula x -> TFF_binary_formula
Generic TFF_logic_formula Source #
Instance details Associated Types type Rep TFF_logic_formula :: Type -> Type Methods from :: TFF_logic_formula -> Rep TFF_logic_formula x to :: Rep TFF_logic_formula x -> TFF_logic_formula
Generic TFF_formula Source #
Instance details Associated Types type Rep TFF_formula :: Type -> Type Methods from :: TFF_formula -> Rep TFF_formula x to :: Rep TFF_formula x -> TFF_formula
Generic TFX_logic_formula Source #
Instance details Associated Types type Rep TFX_logic_formula :: Type -> Type Methods from :: TFX_logic_formula -> Rep TFX_logic_formula x to :: Rep TFX_logic_formula x -> TFX_logic_formula
Generic TFX_formula Source #
Instance details Associated Types type Rep TFX_formula :: Type -> Type Methods from :: TFX_formula -> Rep TFX_formula x to :: Rep TFX_formula x -> TFX_formula
Generic THF_tuple Source #
Instance details Associated Types type Rep THF_tuple :: Type -> Type Methods from :: THF_tuple -> Rep THF_tuple x to :: Rep THF_tuple x -> THF_tuple
Generic THF_sequent Source #
Instance details Associated Types type Rep THF_sequent :: Type -> Type Methods from :: THF_sequent -> Rep THF_sequent x to :: Rep THF_sequent x -> THF_sequent
Generic THF_binary_type Source #
Instance details Associated Types type Rep THF_binary_type :: Type -> Type Methods from :: THF_binary_type -> Rep THF_binary_type x to :: Rep THF_binary_type x -> THF_binary_type
Generic THF_unitary_type Source #
Instance details Associated Types type Rep THF_unitary_type :: Type -> Type Methods from :: THF_unitary_type -> Rep THF_unitary_type x to :: Rep THF_unitary_type x -> THF_unitary_type
Generic THF_top_level_type Source #
Instance details Associated Types type Rep THF_top_level_type :: Type -> Type Methods from :: THF_top_level_type -> Rep THF_top_level_type x to :: Rep THF_top_level_type x -> THF_top_level_type
Generic THF_subtype Source #
Instance details Associated Types type Rep THF_subtype :: Type -> Type Methods from :: THF_subtype -> Rep THF_subtype x to :: Rep THF_subtype x -> THF_subtype
Generic THF_typeable_formula Source #
Instance details Associated Types type Rep THF_typeable_formula :: Type -> Type Methods from :: THF_typeable_formula -> Rep THF_typeable_formula x to :: Rep THF_typeable_formula x -> THF_typeable_formula
Generic THF_type_formula Source #
Instance details Associated Types type Rep THF_type_formula :: Type -> Type Methods from :: THF_type_formula -> Rep THF_type_formula x to :: Rep THF_type_formula x -> THF_type_formula
Generic THF_let_defn_LHS Source #
Instance details Associated Types type Rep THF_let_defn_LHS :: Type -> Type Methods from :: THF_let_defn_LHS -> Rep THF_let_defn_LHS x to :: Rep THF_let_defn_LHS x -> THF_let_defn_LHS
Generic THF_let_plain_defn Source #
Instance details Associated Types type Rep THF_let_plain_defn :: Type -> Type Methods from :: THF_let_plain_defn -> Rep THF_let_plain_defn x to :: Rep THF_let_plain_defn x -> THF_let_plain_defn
Generic THF_let_quantified_defn Source #
Instance details Associated Types type Rep THF_let_quantified_defn :: Type -> Type Methods from :: THF_let_quantified_defn -> Rep THF_let_quantified_defn x to :: Rep THF_let_quantified_defn x -> THF_let_quantified_defn
Generic THF_let_defn Source #
Instance details Associated Types type Rep THF_let_defn :: Type -> Type Methods from :: THF_let_defn -> Rep THF_let_defn x to :: Rep THF_let_defn x -> THF_let_defn
Generic THF_let_defns Source #
Instance details Associated Types type Rep THF_let_defns :: Type -> Type Methods from :: THF_let_defns -> Rep THF_let_defns x to :: Rep THF_let_defns x -> THF_let_defns
Generic THF_let Source #
Instance details Associated Types type Rep THF_let :: Type -> Type Methods from :: THF_let -> Rep THF_let x to :: Rep THF_let x -> THF_let
Generic THF_conditional Source #
Instance details Associated Types type Rep THF_conditional :: Type -> Type Methods from :: THF_conditional -> Rep THF_conditional x to :: Rep THF_conditional x -> THF_conditional
Generic THF_conn_term Source #
Instance details Associated Types type Rep THF_conn_term :: Type -> Type Methods from :: THF_conn_term -> Rep THF_conn_term x to :: Rep THF_conn_term x -> THF_conn_term
Generic THF_function Source #
Instance details Associated Types type Rep THF_function :: Type -> Type Methods from :: THF_function -> Rep THF_function x to :: Rep THF_function x -> THF_function
Generic THF_atom Source #
Instance details Associated Types type Rep THF_atom :: Type -> Type Methods from :: THF_atom -> Rep THF_atom x to :: Rep THF_atom x -> THF_atom
Generic THF_unary_formula Source #
Instance details Associated Types type Rep THF_unary_formula :: Type -> Type Methods from :: THF_unary_formula -> Rep THF_unary_formula x to :: Rep THF_unary_formula x -> THF_unary_formula
Generic THF_typed_variable Source #
Instance details Associated Types type Rep THF_typed_variable :: Type -> Type Methods from :: THF_typed_variable -> Rep THF_typed_variable x to :: Rep THF_typed_variable x -> THF_typed_variable
Generic THF_variable Source #
Instance details Associated Types type Rep THF_variable :: Type -> Type Methods from :: THF_variable -> Rep THF_variable x to :: Rep THF_variable x -> THF_variable
Generic THF_quantification Source #
Instance details Associated Types type Rep THF_quantification :: Type -> Type Methods from :: THF_quantification -> Rep THF_quantification x to :: Rep THF_quantification x -> THF_quantification
Generic THF_quantified_formula Source #
Instance details Associated Types type Rep THF_quantified_formula :: Type -> Type Methods from :: THF_quantified_formula -> Rep THF_quantified_formula x to :: Rep THF_quantified_formula x -> THF_quantified_formula
Generic THF_unitary_formula Source #
Instance details Associated Types type Rep THF_unitary_formula :: Type -> Type Methods from :: THF_unitary_formula -> Rep THF_unitary_formula x to :: Rep THF_unitary_formula x -> THF_unitary_formula
Generic THF_binary_tuple Source #
Instance details Associated Types type Rep THF_binary_tuple :: Type -> Type Methods from :: THF_binary_tuple -> Rep THF_binary_tuple x to :: Rep THF_binary_tuple x -> THF_binary_tuple
Generic THF_binary_pair Source #
Instance details Associated Types type Rep THF_binary_pair :: Type -> Type Methods from :: THF_binary_pair -> Rep THF_binary_pair x to :: Rep THF_binary_pair x -> THF_binary_pair
Generic THF_binary_formula Source #
Instance details Associated Types type Rep THF_binary_formula :: Type -> Type Methods from :: THF_binary_formula -> Rep THF_binary_formula x to :: Rep THF_binary_formula x -> THF_binary_formula
Generic THF_logic_formula Source #
Instance details Associated Types type Rep THF_logic_formula :: Type -> Type Methods from :: THF_logic_formula -> Rep THF_logic_formula x to :: Rep THF_logic_formula x -> THF_logic_formula
Generic THF_formula Source #
Instance details Associated Types type Rep THF_formula :: Type -> Type Methods from :: THF_formula -> Rep THF_formula x to :: Rep THF_formula x -> THF_formula
Generic Formula_role Source #
Instance details Associated Types type Rep Formula_role :: Type -> Type Methods from :: Formula_role -> Rep Formula_role x to :: Rep Formula_role x -> Formula_role
Generic Annotations Source #
Instance details Associated Types type Rep Annotations :: Type -> Type Methods from :: Annotations -> Rep Annotations x to :: Rep Annotations x -> Annotations
Generic CNF_annotated Source #
Instance details Associated Types type Rep CNF_annotated :: Type -> Type Methods from :: CNF_annotated -> Rep CNF_annotated x to :: Rep CNF_annotated x -> CNF_annotated
Generic FOF_annotated Source #
Instance details Associated Types type Rep FOF_annotated :: Type -> Type Methods from :: FOF_annotated -> Rep FOF_annotated x to :: Rep FOF_annotated x -> FOF_annotated
Generic TCF_annotated Source #
Instance details Associated Types type Rep TCF_annotated :: Type -> Type Methods from :: TCF_annotated -> Rep TCF_annotated x to :: Rep TCF_annotated x -> TCF_annotated
Generic TFF_annotated Source #
Instance details Associated Types type Rep TFF_annotated :: Type -> Type Methods from :: TFF_annotated -> Rep TFF_annotated x to :: Rep TFF_annotated x -> TFF_annotated
Generic TFX_annotated Source #
Instance details Associated Types type Rep TFX_annotated :: Type -> Type Methods from :: TFX_annotated -> Rep TFX_annotated x to :: Rep TFX_annotated x -> TFX_annotated
Generic THF_annotated Source #
Instance details Associated Types type Rep THF_annotated :: Type -> Type Methods from :: THF_annotated -> Rep THF_annotated x to :: Rep THF_annotated x -> THF_annotated
Generic TPI_annotated Source #
Instance details Associated Types type Rep TPI_annotated :: Type -> Type Methods from :: TPI_annotated -> Rep TPI_annotated x to :: Rep TPI_annotated x -> TPI_annotated
Generic Annotated_formula Source #
Instance details Associated Types type Rep Annotated_formula :: Type -> Type Methods from :: Annotated_formula -> Rep Annotated_formula x to :: Rep Annotated_formula x -> Annotated_formula
Generic SystemComment Source #
Instance details Associated Types type Rep SystemComment :: Type -> Type Methods from :: SystemComment -> Rep SystemComment x to :: Rep SystemComment x -> SystemComment
Generic DefinedComment Source #
Instance details Associated Types type Rep DefinedComment :: Type -> Type Methods from :: DefinedComment -> Rep DefinedComment x to :: Rep DefinedComment x -> DefinedComment
Generic Comment Source #
Instance details Associated Types type Rep Comment :: Type -> Type Methods from :: Comment -> Rep Comment x to :: Rep Comment x -> Comment
Generic TPTP_input Source #
Instance details Associated Types type Rep TPTP_input :: Type -> Type Methods from :: TPTP_input -> Rep TPTP_input x to :: Rep TPTP_input x -> TPTP_input
Generic TPTP Source #
Instance details Associated Types type Rep TPTP :: Type -> Type Methods from :: TPTP -> Rep TPTP x to :: Rep TPTP x -> TPTP
Generic BASIC_SPEC Source #
Instance details Associated Types type Rep BASIC_SPEC :: Type -> Type Methods from :: BASIC_SPEC -> Rep BASIC_SPEC x to :: Rep BASIC_SPEC x -> BASIC_SPEC
Generic Sign Source #
Instance details Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
Generic Type_functorType Source #
Instance details Associated Types type Rep Type_functorType :: Type -> Type Methods from :: Type_functorType -> Rep Type_functorType x to :: Rep Type_functorType x -> Type_functorType
Generic PredicateType Source #
Instance details Associated Types type Rep PredicateType :: Type -> Type Methods from :: PredicateType -> Rep PredicateType x to :: Rep PredicateType x -> PredicateType
Generic FunctorType Source #
Instance details Associated Types type Rep FunctorType :: Type -> Type Methods from :: FunctorType -> Rep FunctorType x to :: Rep FunctorType x -> FunctorType
Generic THFTypeable Source #
Instance details Associated Types type Rep THFTypeable :: Type -> Type Methods from :: THFTypeable -> Rep THFTypeable x to :: Rep THFTypeable x -> THFTypeable
Generic SymbolType Source #
Instance details Associated Types type Rep SymbolType :: Type -> Type Methods from :: SymbolType -> Rep SymbolType x to :: Rep SymbolType x -> SymbolType
Generic Symbol Source #
Instance details Associated Types type Rep Symbol :: Type -> Type Methods from :: Symbol -> Rep Symbol x to :: Rep Symbol x -> Symbol
Generic Sublogic Source #
Instance details Associated Types type Rep Sublogic :: Type -> Type Methods from :: Sublogic -> Rep Sublogic x to :: Rep Sublogic x -> Sublogic
FromJSON Number Source #
Instance details Methods parseJSON :: Value -> Parser Number parseJSONList :: Value -> Parser [Number]
FromJSON Name Source #
Instance details Methods parseJSON :: Value -> Parser Name parseJSONList :: Value -> Parser [Name]
FromJSON Formula_data Source #
Instance details Methods parseJSON :: Value -> Parser Formula_data parseJSONList :: Value -> Parser [Formula_data]
FromJSON General_function Source #
Instance details Methods parseJSON :: Value -> Parser General_function parseJSONList :: Value -> Parser [General_function]
FromJSON General_data Source #
Instance details Methods parseJSON :: Value -> Parser General_data parseJSONList :: Value -> Parser [General_data]
FromJSON General_term Source #
Instance details Methods parseJSON :: Value -> Parser General_term parseJSONList :: Value -> Parser [General_term]
FromJSON Include Source #
Instance details Methods parseJSON :: Value -> Parser Include parseJSONList :: Value -> Parser [Include]
FromJSON Principal_symbol Source #
Instance details Methods parseJSON :: Value -> Parser Principal_symbol parseJSONList :: Value -> Parser [Principal_symbol]
FromJSON New_symbol_record Source #
Instance details Methods parseJSON :: Value -> Parser New_symbol_record parseJSONList :: Value -> Parser [New_symbol_record]
FromJSON Inference_info Source #
Instance details Methods parseJSON :: Value -> Parser Inference_info parseJSONList :: Value -> Parser [Inference_info]
FromJSON Status_value Source #
Instance details Methods parseJSON :: Value -> Parser Status_value parseJSONList :: Value -> Parser [Status_value]
FromJSON Inference_status Source #
Instance details Methods parseJSON :: Value -> Parser Inference_status parseJSONList :: Value -> Parser [Inference_status]
FromJSON Inference_item Source #
Instance details Methods parseJSON :: Value -> Parser Inference_item parseJSONList :: Value -> Parser [Inference_item]
FromJSON Formula_item Source #
Instance details Methods parseJSON :: Value -> Parser Formula_item parseJSONList :: Value -> Parser [Formula_item]
FromJSON Info_item Source #
Instance details Methods parseJSON :: Value -> Parser Info_item parseJSONList :: Value -> Parser [Info_item]
FromJSON Useful_info Source #
Instance details Methods parseJSON :: Value -> Parser Useful_info parseJSONList :: Value -> Parser [Useful_info]
FromJSON Creator_source Source #
Instance details Methods parseJSON :: Value -> Parser Creator_source parseJSONList :: Value -> Parser [Creator_source]
FromJSON Theory_name Source #
Instance details Methods parseJSON :: Value -> Parser Theory_name parseJSONList :: Value -> Parser [Theory_name]
FromJSON Theory Source #
Instance details Methods parseJSON :: Value -> Parser Theory parseJSONList :: Value -> Parser [Theory]
FromJSON File_source Source #
Instance details Methods parseJSON :: Value -> Parser File_source parseJSONList :: Value -> Parser [File_source]
FromJSON External_source Source #
Instance details Methods parseJSON :: Value -> Parser External_source parseJSONList :: Value -> Parser [External_source]
FromJSON Intro_type Source #
Instance details Methods parseJSON :: Value -> Parser Intro_type parseJSONList :: Value -> Parser [Intro_type]
FromJSON Internal_source Source #
Instance details Methods parseJSON :: Value -> Parser Internal_source parseJSONList :: Value -> Parser [Internal_source]
FromJSON Parent_info Source #
Instance details Methods parseJSON :: Value -> Parser Parent_info parseJSONList :: Value -> Parser [Parent_info]
FromJSON Inference_record Source #
Instance details Methods parseJSON :: Value -> Parser Inference_record parseJSONList :: Value -> Parser [Inference_record]
FromJSON DAG_source Source #
Instance details Methods parseJSON :: Value -> Parser DAG_source parseJSONList :: Value -> Parser [DAG_source]
FromJSON Source Source #
Instance details Methods parseJSON :: Value -> Parser Source parseJSONList :: Value -> Parser [Source]
FromJSON Defined_term Source #
Instance details Methods parseJSON :: Value -> Parser Defined_term parseJSONList :: Value -> Parser [Defined_term]
FromJSON Defined_functor Source #
Instance details Methods parseJSON :: Value -> Parser Defined_functor parseJSONList :: Value -> Parser [Defined_functor]
FromJSON Defined_infix_pred Source #
Instance details Methods parseJSON :: Value -> Parser Defined_infix_pred parseJSONList :: Value -> Parser [Defined_infix_pred]
FromJSON Defined_predicate Source #
Instance details Methods parseJSON :: Value -> Parser Defined_predicate parseJSONList :: Value -> Parser [Defined_predicate]
FromJSON Defined_proposition Source #
Instance details Methods parseJSON :: Value -> Parser Defined_proposition parseJSONList :: Value -> Parser [Defined_proposition]
FromJSON Untyped_atom Source #
Instance details Methods parseJSON :: Value -> Parser Untyped_atom parseJSONList :: Value -> Parser [Untyped_atom]
FromJSON Atom Source #
Instance details Methods parseJSON :: Value -> Parser Atom parseJSONList :: Value -> Parser [Atom]
FromJSON Defined_type Source #
Instance details Methods parseJSON :: Value -> Parser Defined_type parseJSONList :: Value -> Parser [Defined_type]
FromJSON Unary_connective Source #
Instance details Methods parseJSON :: Value -> Parser Unary_connective parseJSONList :: Value -> Parser [Unary_connective]
FromJSON Assoc_connective Source #
Instance details Methods parseJSON :: Value -> Parser Assoc_connective parseJSONList :: Value -> Parser [Assoc_connective]
FromJSON Binary_connective Source #
Instance details Methods parseJSON :: Value -> Parser Binary_connective parseJSONList :: Value -> Parser [Binary_connective]
FromJSON FOF_quantifier Source #
Instance details Methods parseJSON :: Value -> Parser FOF_quantifier parseJSONList :: Value -> Parser [FOF_quantifier]
FromJSON TH1_unary_connective Source #
Instance details Methods parseJSON :: Value -> Parser TH1_unary_connective parseJSONList :: Value -> Parser [TH1_unary_connective]
FromJSON THF_unary_connective Source #
Instance details Methods parseJSON :: Value -> Parser THF_unary_connective parseJSONList :: Value -> Parser [THF_unary_connective]
FromJSON THF_pair_connective Source #
Instance details Methods parseJSON :: Value -> Parser THF_pair_connective parseJSONList :: Value -> Parser [THF_pair_connective]
FromJSON TH0_quantifier Source #
Instance details Methods parseJSON :: Value -> Parser TH0_quantifier parseJSONList :: Value -> Parser [TH0_quantifier]
FromJSON TH1_quantifier Source #
Instance details Methods parseJSON :: Value -> Parser TH1_quantifier parseJSONList :: Value -> Parser [TH1_quantifier]
FromJSON THF_quantifier Source #
Instance details Methods parseJSON :: Value -> Parser THF_quantifier parseJSONList :: Value -> Parser [THF_quantifier]
FromJSON Literal Source #
Instance details Methods parseJSON :: Value -> Parser Literal parseJSONList :: Value -> Parser [Literal]
FromJSON Disjunction Source #
Instance details Methods parseJSON :: Value -> Parser Disjunction parseJSONList :: Value -> Parser [Disjunction]
FromJSON CNF_formula Source #
Instance details Methods parseJSON :: Value -> Parser CNF_formula parseJSONList :: Value -> Parser [CNF_formula]
FromJSON FOF_formula_tuple Source #
Instance details Methods parseJSON :: Value -> Parser FOF_formula_tuple parseJSONList :: Value -> Parser [FOF_formula_tuple]
FromJSON FOF_sequent Source #
Instance details Methods parseJSON :: Value -> Parser FOF_sequent parseJSONList :: Value -> Parser [FOF_sequent]
FromJSON TFF_let_term Source #
Instance details Methods parseJSON :: Value -> Parser TFF_let_term parseJSONList :: Value -> Parser [TFF_let_term]
FromJSON TFF_conditional_term Source #
Instance details Methods parseJSON :: Value -> Parser TFF_conditional_term parseJSONList :: Value -> Parser [TFF_conditional_term]
FromJSON FOF_function_term Source #
Instance details Methods parseJSON :: Value -> Parser FOF_function_term parseJSONList :: Value -> Parser [FOF_function_term]
FromJSON FOF_term Source #
Instance details Methods parseJSON :: Value -> Parser FOF_term parseJSONList :: Value -> Parser [FOF_term]
FromJSON FOF_system_term Source #
Instance details Methods parseJSON :: Value -> Parser FOF_system_term parseJSONList :: Value -> Parser [FOF_system_term]
FromJSON FOF_defined_plain_term Source #
Instance details Methods parseJSON :: Value -> Parser FOF_defined_plain_term parseJSONList :: Value -> Parser [FOF_defined_plain_term]
FromJSON FOF_defined_atomic_term Source #
Instance details Methods parseJSON :: Value -> Parser FOF_defined_atomic_term parseJSONList :: Value -> Parser [FOF_defined_atomic_term]
FromJSON FOF_defined_term Source #
Instance details Methods parseJSON :: Value -> Parser FOF_defined_term parseJSONList :: Value -> Parser [FOF_defined_term]
FromJSON FOF_plain_term Source #
Instance details Methods parseJSON :: Value -> Parser FOF_plain_term parseJSONList :: Value -> Parser [FOF_plain_term]
FromJSON FOF_system_atomic_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_system_atomic_formula parseJSONList :: Value -> Parser [FOF_system_atomic_formula]
FromJSON FOF_defined_infix_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_defined_infix_formula parseJSONList :: Value -> Parser [FOF_defined_infix_formula]
FromJSON FOF_defined_plain_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_defined_plain_formula parseJSONList :: Value -> Parser [FOF_defined_plain_formula]
FromJSON FOF_defined_atomic_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_defined_atomic_formula parseJSONList :: Value -> Parser [FOF_defined_atomic_formula]
FromJSON FOF_plain_atomic_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_plain_atomic_formula parseJSONList :: Value -> Parser [FOF_plain_atomic_formula]
FromJSON FOF_atomic_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_atomic_formula parseJSONList :: Value -> Parser [FOF_atomic_formula]
FromJSON FOF_infix_unary Source #
Instance details Methods parseJSON :: Value -> Parser FOF_infix_unary parseJSONList :: Value -> Parser [FOF_infix_unary]
FromJSON FOF_unary_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_unary_formula parseJSONList :: Value -> Parser [FOF_unary_formula]
FromJSON FOF_quantified_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_quantified_formula parseJSONList :: Value -> Parser [FOF_quantified_formula]
FromJSON FOF_unitary_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_unitary_formula parseJSONList :: Value -> Parser [FOF_unitary_formula]
FromJSON FOF_binary_assoc Source #
Instance details Methods parseJSON :: Value -> Parser FOF_binary_assoc parseJSONList :: Value -> Parser [FOF_binary_assoc]
FromJSON FOF_binary_nonassoc Source #
Instance details Methods parseJSON :: Value -> Parser FOF_binary_nonassoc parseJSONList :: Value -> Parser [FOF_binary_nonassoc]
FromJSON FOF_binary_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_binary_formula parseJSONList :: Value -> Parser [FOF_binary_formula]
FromJSON FOF_logic_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_logic_formula parseJSONList :: Value -> Parser [FOF_logic_formula]
FromJSON FOF_formula Source #
Instance details Methods parseJSON :: Value -> Parser FOF_formula parseJSONList :: Value -> Parser [FOF_formula]
FromJSON TCF_quantified_formula Source #
Instance details Methods parseJSON :: Value -> Parser TCF_quantified_formula parseJSONList :: Value -> Parser [TCF_quantified_formula]
FromJSON TCF_logic_formula Source #
Instance details Methods parseJSON :: Value -> Parser TCF_logic_formula parseJSONList :: Value -> Parser [TCF_logic_formula]
FromJSON TCF_formula Source #
Instance details Methods parseJSON :: Value -> Parser TCF_formula parseJSONList :: Value -> Parser [TCF_formula]
FromJSON TFF_xprod_type Source #
Instance details Methods parseJSON :: Value -> Parser TFF_xprod_type parseJSONList :: Value -> Parser [TFF_xprod_type]
FromJSON TFF_mapping_type Source #
Instance details Methods parseJSON :: Value -> Parser TFF_mapping_type parseJSONList :: Value -> Parser [TFF_mapping_type]
FromJSON TFF_atomic_type Source #
Instance details Methods parseJSON :: Value -> Parser TFF_atomic_type parseJSONList :: Value -> Parser [TFF_atomic_type]
FromJSON TFF_unitary_type Source #
Instance details Methods parseJSON :: Value -> Parser TFF_unitary_type parseJSONList :: Value -> Parser [TFF_unitary_type]
FromJSON TFF_monotype Source #
Instance details Methods parseJSON :: Value -> Parser TFF_monotype parseJSONList :: Value -> Parser [TFF_monotype]
FromJSON TF1_quantified_type Source #
Instance details Methods parseJSON :: Value -> Parser TF1_quantified_type parseJSONList :: Value -> Parser [TF1_quantified_type]
FromJSON TFF_top_level_type Source #
Instance details Methods parseJSON :: Value -> Parser TFF_top_level_type parseJSONList :: Value -> Parser [TFF_top_level_type]
FromJSON TFF_subtype Source #
Instance details Methods parseJSON :: Value -> Parser TFF_subtype parseJSONList :: Value -> Parser [TFF_subtype]
FromJSON TFF_typed_atom Source #
Instance details Methods parseJSON :: Value -> Parser TFF_typed_atom parseJSONList :: Value -> Parser [TFF_typed_atom]
FromJSON TFF_formula_tuple Source #
Instance details Methods parseJSON :: Value -> Parser TFF_formula_tuple parseJSONList :: Value -> Parser [TFF_formula_tuple]
FromJSON TFF_sequent Source #
Instance details Methods parseJSON :: Value -> Parser TFF_sequent parseJSONList :: Value -> Parser [TFF_sequent]
FromJSON TFF_let_formula_binding Source #
Instance details Methods parseJSON :: Value -> Parser TFF_let_formula_binding parseJSONList :: Value -> Parser [TFF_let_formula_binding]
FromJSON TFF_let_formula_defn Source #
Instance details Methods parseJSON :: Value -> Parser TFF_let_formula_defn parseJSONList :: Value -> Parser [TFF_let_formula_defn]
FromJSON TFF_let_formula_defns Source #
Instance details Methods parseJSON :: Value -> Parser TFF_let_formula_defns parseJSONList :: Value -> Parser [TFF_let_formula_defns]
FromJSON TFF_let_term_binding Source #
Instance details Methods parseJSON :: Value -> Parser TFF_let_term_binding parseJSONList :: Value -> Parser [TFF_let_term_binding]
FromJSON TFF_let_term_defn Source #
Instance details Methods parseJSON :: Value -> Parser TFF_let_term_defn parseJSONList :: Value -> Parser [TFF_let_term_defn]
FromJSON TFF_let_term_defns Source #
Instance details Methods parseJSON :: Value -> Parser TFF_let_term_defns parseJSONList :: Value -> Parser [TFF_let_term_defns]
FromJSON TFF_let Source #
Instance details Methods parseJSON :: Value -> Parser TFF_let parseJSONList :: Value -> Parser [TFF_let]
FromJSON TFF_conditional Source #
Instance details Methods parseJSON :: Value -> Parser TFF_conditional parseJSONList :: Value -> Parser [TFF_conditional]
FromJSON TFF_unary_formula Source #
Instance details Methods parseJSON :: Value -> Parser TFF_unary_formula parseJSONList :: Value -> Parser [TFF_unary_formula]
FromJSON TFF_typed_variable Source #
Instance details Methods parseJSON :: Value -> Parser TFF_typed_variable parseJSONList :: Value -> Parser [TFF_typed_variable]
FromJSON TFF_variable Source #
Instance details Methods parseJSON :: Value -> Parser TFF_variable parseJSONList :: Value -> Parser [TFF_variable]
FromJSON TFF_quantified_formula Source #
Instance details Methods parseJSON :: Value -> Parser TFF_quantified_formula parseJSONList :: Value -> Parser [TFF_quantified_formula]
FromJSON TFF_unitary_formula Source #
Instance details Methods parseJSON :: Value -> Parser TFF_unitary_formula parseJSONList :: Value -> Parser [TFF_unitary_formula]
FromJSON TFF_binary_assoc Source #
Instance details Methods parseJSON :: Value -> Parser TFF_binary_assoc parseJSONList :: Value -> Parser [TFF_binary_assoc]
FromJSON TFF_binary_nonassoc Source #
Instance details Methods parseJSON :: Value -> Parser TFF_binary_nonassoc parseJSONList :: Value -> Parser [TFF_binary_nonassoc]
FromJSON TFF_binary_formula Source #
Instance details Methods parseJSON :: Value -> Parser TFF_binary_formula parseJSONList :: Value -> Parser [TFF_binary_formula]
FromJSON TFF_logic_formula Source #
Instance details Methods parseJSON :: Value -> Parser TFF_logic_formula parseJSONList :: Value -> Parser [TFF_logic_formula]
FromJSON TFF_formula Source #
Instance details Methods parseJSON :: Value -> Parser TFF_formula parseJSONList :: Value -> Parser [TFF_formula]
FromJSON TFX_logic_formula Source #
Instance details Methods parseJSON :: Value -> Parser TFX_logic_formula parseJSONList :: Value -> Parser [TFX_logic_formula]
FromJSON TFX_formula Source #
Instance details Methods parseJSON :: Value -> Parser TFX_formula parseJSONList :: Value -> Parser [TFX_formula]
FromJSON THF_tuple Source #
Instance details Methods parseJSON :: Value -> Parser THF_tuple parseJSONList :: Value -> Parser [THF_tuple]
FromJSON THF_sequent Source #
Instance details Methods parseJSON :: Value -> Parser THF_sequent parseJSONList :: Value -> Parser [THF_sequent]
FromJSON THF_binary_type Source #
Instance details Methods parseJSON :: Value -> Parser THF_binary_type parseJSONList :: Value -> Parser [THF_binary_type]
FromJSON THF_unitary_type Source #
Instance details Methods parseJSON :: Value -> Parser THF_unitary_type parseJSONList :: Value -> Parser [THF_unitary_type]
FromJSON THF_top_level_type Source #
Instance details Methods parseJSON :: Value -> Parser THF_top_level_type parseJSONList :: Value -> Parser [THF_top_level_type]
FromJSON THF_subtype Source #
Instance details Methods parseJSON :: Value -> Parser THF_subtype parseJSONList :: Value -> Parser [THF_subtype]
FromJSON THF_typeable_formula Source #
Instance details Methods parseJSON :: Value -> Parser THF_typeable_formula parseJSONList :: Value -> Parser [THF_typeable_formula]
FromJSON THF_type_formula Source #
Instance details Methods parseJSON :: Value -> Parser THF_type_formula parseJSONList :: Value -> Parser [THF_type_formula]
FromJSON THF_let_defn_LHS Source #
Instance details Methods parseJSON :: Value -> Parser THF_let_defn_LHS parseJSONList :: Value -> Parser [THF_let_defn_LHS]
FromJSON THF_let_plain_defn Source #
Instance details Methods parseJSON :: Value -> Parser THF_let_plain_defn parseJSONList :: Value -> Parser [THF_let_plain_defn]
FromJSON THF_let_quantified_defn Source #
Instance details Methods parseJSON :: Value -> Parser THF_let_quantified_defn parseJSONList :: Value -> Parser [THF_let_quantified_defn]
FromJSON THF_let_defn Source #
Instance details Methods parseJSON :: Value -> Parser THF_let_defn parseJSONList :: Value -> Parser [THF_let_defn]
FromJSON THF_let_defns Source #
Instance details Methods parseJSON :: Value -> Parser THF_let_defns parseJSONList :: Value -> Parser [THF_let_defns]
FromJSON THF_let Source #
Instance details Methods parseJSON :: Value -> Parser THF_let parseJSONList :: Value -> Parser [THF_let]
FromJSON THF_conditional Source #
Instance details Methods parseJSON :: Value -> Parser THF_conditional parseJSONList :: Value -> Parser [THF_conditional]
FromJSON THF_conn_term Source #
Instance details Methods parseJSON :: Value -> Parser THF_conn_term parseJSONList :: Value -> Parser [THF_conn_term]
FromJSON THF_function Source #
Instance details Methods parseJSON :: Value -> Parser THF_function parseJSONList :: Value -> Parser [THF_function]
FromJSON THF_atom Source #
Instance details Methods parseJSON :: Value -> Parser THF_atom parseJSONList :: Value -> Parser [THF_atom]
FromJSON THF_unary_formula Source #
Instance details Methods parseJSON :: Value -> Parser THF_unary_formula parseJSONList :: Value -> Parser [THF_unary_formula]
FromJSON THF_typed_variable Source #
Instance details Methods parseJSON :: Value -> Parser THF_typed_variable parseJSONList :: Value -> Parser [THF_typed_variable]
FromJSON THF_variable Source #
Instance details Methods parseJSON :: Value -> Parser THF_variable parseJSONList :: Value -> Parser [THF_variable]
FromJSON THF_quantification Source #
Instance details Methods parseJSON :: Value -> Parser THF_quantification parseJSONList :: Value -> Parser [THF_quantification]
FromJSON THF_quantified_formula Source #
Instance details Methods parseJSON :: Value -> Parser THF_quantified_formula parseJSONList :: Value -> Parser [THF_quantified_formula]
FromJSON THF_unitary_formula Source #
Instance details Methods parseJSON :: Value -> Parser THF_unitary_formula parseJSONList :: Value -> Parser [THF_unitary_formula]
FromJSON THF_binary_tuple Source #
Instance details Methods parseJSON :: Value -> Parser THF_binary_tuple parseJSONList :: Value -> Parser [THF_binary_tuple]
FromJSON THF_binary_pair Source #
Instance details Methods parseJSON :: Value -> Parser THF_binary_pair parseJSONList :: Value -> Parser [THF_binary_pair]
FromJSON THF_binary_formula Source #
Instance details Methods parseJSON :: Value -> Parser THF_binary_formula parseJSONList :: Value -> Parser [THF_binary_formula]
FromJSON THF_logic_formula Source #
Instance details Methods parseJSON :: Value -> Parser THF_logic_formula parseJSONList :: Value -> Parser [THF_logic_formula]
FromJSON THF_formula Source #
Instance details Methods parseJSON :: Value -> Parser THF_formula parseJSONList :: Value -> Parser [THF_formula]
FromJSON Formula_role Source #
Instance details Methods parseJSON :: Value -> Parser Formula_role parseJSONList :: Value -> Parser [Formula_role]
FromJSON Annotations Source #
Instance details Methods parseJSON :: Value -> Parser Annotations parseJSONList :: Value -> Parser [Annotations]
FromJSON CNF_annotated Source #
Instance details Methods parseJSON :: Value -> Parser CNF_annotated parseJSONList :: Value -> Parser [CNF_annotated]
FromJSON FOF_annotated Source #
Instance details Methods parseJSON :: Value -> Parser FOF_annotated parseJSONList :: Value -> Parser [FOF_annotated]
FromJSON TCF_annotated Source #
Instance details Methods parseJSON :: Value -> Parser TCF_annotated parseJSONList :: Value -> Parser [TCF_annotated]
FromJSON TFF_annotated Source #
Instance details Methods parseJSON :: Value -> Parser TFF_annotated parseJSONList :: Value -> Parser [TFF_annotated]
FromJSON TFX_annotated Source #
Instance details Methods parseJSON :: Value -> Parser TFX_annotated parseJSONList :: Value -> Parser [TFX_annotated]
FromJSON THF_annotated Source #
Instance details Methods parseJSON :: Value -> Parser THF_annotated parseJSONList :: Value -> Parser [THF_annotated]
FromJSON TPI_annotated Source #
Instance details Methods parseJSON :: Value -> Parser TPI_annotated parseJSONList :: Value -> Parser [TPI_annotated]
FromJSON Annotated_formula Source #
Instance details Methods parseJSON :: Value -> Parser Annotated_formula parseJSONList :: Value -> Parser [Annotated_formula]
FromJSON SystemComment Source #
Instance details Methods parseJSON :: Value -> Parser SystemComment parseJSONList :: Value -> Parser [SystemComment]
FromJSON DefinedComment Source #
Instance details Methods parseJSON :: Value -> Parser DefinedComment parseJSONList :: Value -> Parser [DefinedComment]
FromJSON Comment Source #
Instance details Methods parseJSON :: Value -> Parser Comment parseJSONList :: Value -> Parser [Comment]
FromJSON TPTP_input Source #
Instance details Methods parseJSON :: Value -> Parser TPTP_input parseJSONList :: Value -> Parser [TPTP_input]
FromJSON TPTP Source #
Instance details Methods parseJSON :: Value -> Parser TPTP parseJSONList :: Value -> Parser [TPTP]
FromJSON BASIC_SPEC Source #
Instance details Methods parseJSON :: Value -> Parser BASIC_SPEC parseJSONList :: Value -> Parser [BASIC_SPEC]
FromJSON Sign Source #
Instance details Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
FromJSON Type_functorType Source #
Instance details Methods parseJSON :: Value -> Parser Type_functorType parseJSONList :: Value -> Parser [Type_functorType]
FromJSON PredicateType Source #
Instance details Methods parseJSON :: Value -> Parser PredicateType parseJSONList :: Value -> Parser [PredicateType]
FromJSON FunctorType Source #
Instance details Methods parseJSON :: Value -> Parser FunctorType parseJSONList :: Value -> Parser [FunctorType]
FromJSON THFTypeable Source #
Instance details Methods parseJSON :: Value -> Parser THFTypeable parseJSONList :: Value -> Parser [THFTypeable]
FromJSON SymbolType Source #
Instance details Methods parseJSON :: Value -> Parser SymbolType parseJSONList :: Value -> Parser [SymbolType]
FromJSON Symbol Source #
Instance details Methods parseJSON :: Value -> Parser Symbol parseJSONList :: Value -> Parser [Symbol]
FromJSON Sublogic Source #
Instance details Methods parseJSON :: Value -> Parser Sublogic parseJSONList :: Value -> Parser [Sublogic]
ToJSON Number Source #
Instance details Methods toJSON :: Number -> Value toEncoding :: Number -> Encoding toJSONList :: [Number] -> Value toEncodingList :: [Number] -> Encoding
ToJSON Name Source #
Instance details Methods toJSON :: Name -> Value toEncoding :: Name -> Encoding toJSONList :: [Name] -> Value toEncodingList :: [Name] -> Encoding
ToJSON Formula_data Source #
Instance details Methods toJSON :: Formula_data -> Value toEncoding :: Formula_data -> Encoding toJSONList :: [Formula_data] -> Value toEncodingList :: [Formula_data] -> Encoding
ToJSON General_function Source #
Instance details Methods toJSON :: General_function -> Value toEncoding :: General_function -> Encoding toJSONList :: [General_function] -> Value toEncodingList :: [General_function] -> Encoding
ToJSON General_data Source #
Instance details Methods toJSON :: General_data -> Value toEncoding :: General_data -> Encoding toJSONList :: [General_data] -> Value toEncodingList :: [General_data] -> Encoding
ToJSON General_term Source #
Instance details Methods toJSON :: General_term -> Value toEncoding :: General_term -> Encoding toJSONList :: [General_term] -> Value toEncodingList :: [General_term] -> Encoding
ToJSON Include Source #
Instance details Methods toJSON :: Include -> Value toEncoding :: Include -> Encoding toJSONList :: [Include] -> Value toEncodingList :: [Include] -> Encoding
ToJSON Principal_symbol Source #
Instance details Methods toJSON :: Principal_symbol -> Value toEncoding :: Principal_symbol -> Encoding toJSONList :: [Principal_symbol] -> Value toEncodingList :: [Principal_symbol] -> Encoding
ToJSON New_symbol_record Source #
Instance details Methods toJSON :: New_symbol_record -> Value toEncoding :: New_symbol_record -> Encoding toJSONList :: [New_symbol_record] -> Value toEncodingList :: [New_symbol_record] -> Encoding
ToJSON Inference_info Source #
Instance details Methods toJSON :: Inference_info -> Value toEncoding :: Inference_info -> Encoding toJSONList :: [Inference_info] -> Value toEncodingList :: [Inference_info] -> Encoding
ToJSON Status_value Source #
Instance details Methods toJSON :: Status_value -> Value toEncoding :: Status_value -> Encoding toJSONList :: [Status_value] -> Value toEncodingList :: [Status_value] -> Encoding
ToJSON Inference_status Source #
Instance details Methods toJSON :: Inference_status -> Value toEncoding :: Inference_status -> Encoding toJSONList :: [Inference_status] -> Value toEncodingList :: [Inference_status] -> Encoding
ToJSON Inference_item Source #
Instance details Methods toJSON :: Inference_item -> Value toEncoding :: Inference_item -> Encoding toJSONList :: [Inference_item] -> Value toEncodingList :: [Inference_item] -> Encoding
ToJSON Formula_item Source #
Instance details Methods toJSON :: Formula_item -> Value toEncoding :: Formula_item -> Encoding toJSONList :: [Formula_item] -> Value toEncodingList :: [Formula_item] -> Encoding
ToJSON Info_item Source #
Instance details Methods toJSON :: Info_item -> Value toEncoding :: Info_item -> Encoding toJSONList :: [Info_item] -> Value toEncodingList :: [Info_item] -> Encoding
ToJSON Useful_info Source #
Instance details Methods toJSON :: Useful_info -> Value toEncoding :: Useful_info -> Encoding toJSONList :: [Useful_info] -> Value toEncodingList :: [Useful_info] -> Encoding
ToJSON Creator_source Source #
Instance details Methods toJSON :: Creator_source -> Value toEncoding :: Creator_source -> Encoding toJSONList :: [Creator_source] -> Value toEncodingList :: [Creator_source] -> Encoding
ToJSON Theory_name Source #
Instance details Methods toJSON :: Theory_name -> Value toEncoding :: Theory_name -> Encoding toJSONList :: [Theory_name] -> Value toEncodingList :: [Theory_name] -> Encoding
ToJSON Theory Source #
Instance details Methods toJSON :: Theory -> Value toEncoding :: Theory -> Encoding toJSONList :: [Theory] -> Value toEncodingList :: [Theory] -> Encoding
ToJSON File_source Source #
Instance details Methods toJSON :: File_source -> Value toEncoding :: File_source -> Encoding toJSONList :: [File_source] -> Value toEncodingList :: [File_source] -> Encoding
ToJSON External_source Source #
Instance details Methods toJSON :: External_source -> Value toEncoding :: External_source -> Encoding toJSONList :: [External_source] -> Value toEncodingList :: [External_source] -> Encoding
ToJSON Intro_type Source #
Instance details Methods toJSON :: Intro_type -> Value toEncoding :: Intro_type -> Encoding toJSONList :: [Intro_type] -> Value toEncodingList :: [Intro_type] -> Encoding
ToJSON Internal_source Source #
Instance details Methods toJSON :: Internal_source -> Value toEncoding :: Internal_source -> Encoding toJSONList :: [Internal_source] -> Value toEncodingList :: [Internal_source] -> Encoding
ToJSON Parent_info Source #
Instance details Methods toJSON :: Parent_info -> Value toEncoding :: Parent_info -> Encoding toJSONList :: [Parent_info] -> Value toEncodingList :: [Parent_info] -> Encoding
ToJSON Inference_record Source #
Instance details Methods toJSON :: Inference_record -> Value toEncoding :: Inference_record -> Encoding toJSONList :: [Inference_record] -> Value toEncodingList :: [Inference_record] -> Encoding
ToJSON DAG_source Source #
Instance details Methods toJSON :: DAG_source -> Value toEncoding :: DAG_source -> Encoding toJSONList :: [DAG_source] -> Value toEncodingList :: [DAG_source] -> Encoding
ToJSON Source Source #
Instance details Methods toJSON :: Source -> Value toEncoding :: Source -> Encoding toJSONList :: [Source] -> Value toEncodingList :: [Source] -> Encoding
ToJSON Defined_term Source #
Instance details Methods toJSON :: Defined_term -> Value toEncoding :: Defined_term -> Encoding toJSONList :: [Defined_term] -> Value toEncodingList :: [Defined_term] -> Encoding
ToJSON Defined_functor Source #
Instance details Methods toJSON :: Defined_functor -> Value toEncoding :: Defined_functor -> Encoding toJSONList :: [Defined_functor] -> Value toEncodingList :: [Defined_functor] -> Encoding
ToJSON Defined_infix_pred Source #
Instance details Methods toJSON :: Defined_infix_pred -> Value toEncoding :: Defined_infix_pred -> Encoding toJSONList :: [Defined_infix_pred] -> Value toEncodingList :: [Defined_infix_pred] -> Encoding
ToJSON Defined_predicate Source #
Instance details Methods toJSON :: Defined_predicate -> Value toEncoding :: Defined_predicate -> Encoding toJSONList :: [Defined_predicate] -> Value toEncodingList :: [Defined_predicate] -> Encoding
ToJSON Defined_proposition Source #
Instance details Methods toJSON :: Defined_proposition -> Value toEncoding :: Defined_proposition -> Encoding toJSONList :: [Defined_proposition] -> Value toEncodingList :: [Defined_proposition] -> Encoding
ToJSON Untyped_atom Source #
Instance details Methods toJSON :: Untyped_atom -> Value toEncoding :: Untyped_atom -> Encoding toJSONList :: [Untyped_atom] -> Value toEncodingList :: [Untyped_atom] -> Encoding
ToJSON Atom Source #
Instance details Methods toJSON :: Atom -> Value toEncoding :: Atom -> Encoding toJSONList :: [Atom] -> Value toEncodingList :: [Atom] -> Encoding
ToJSON Defined_type Source #
Instance details Methods toJSON :: Defined_type -> Value toEncoding :: Defined_type -> Encoding toJSONList :: [Defined_type] -> Value toEncodingList :: [Defined_type] -> Encoding
ToJSON Unary_connective Source #
Instance details Methods toJSON :: Unary_connective -> Value toEncoding :: Unary_connective -> Encoding toJSONList :: [Unary_connective] -> Value toEncodingList :: [Unary_connective] -> Encoding
ToJSON Assoc_connective Source #
Instance details Methods toJSON :: Assoc_connective -> Value toEncoding :: Assoc_connective -> Encoding toJSONList :: [Assoc_connective] -> Value toEncodingList :: [Assoc_connective] -> Encoding
ToJSON Binary_connective Source #
Instance details Methods toJSON :: Binary_connective -> Value toEncoding :: Binary_connective -> Encoding toJSONList :: [Binary_connective] -> Value toEncodingList :: [Binary_connective] -> Encoding
ToJSON FOF_quantifier Source #
Instance details Methods toJSON :: FOF_quantifier -> Value toEncoding :: FOF_quantifier -> Encoding toJSONList :: [FOF_quantifier] -> Value toEncodingList :: [FOF_quantifier] -> Encoding
ToJSON TH1_unary_connective Source #
Instance details Methods toJSON :: TH1_unary_connective -> Value toEncoding :: TH1_unary_connective -> Encoding toJSONList :: [TH1_unary_connective] -> Value toEncodingList :: [TH1_unary_connective] -> Encoding
ToJSON THF_unary_connective Source #
Instance details Methods toJSON :: THF_unary_connective -> Value toEncoding :: THF_unary_connective -> Encoding toJSONList :: [THF_unary_connective] -> Value toEncodingList :: [THF_unary_connective] -> Encoding
ToJSON THF_pair_connective Source #
Instance details Methods toJSON :: THF_pair_connective -> Value toEncoding :: THF_pair_connective -> Encoding toJSONList :: [THF_pair_connective] -> Value toEncodingList :: [THF_pair_connective] -> Encoding
ToJSON TH0_quantifier Source #
Instance details Methods toJSON :: TH0_quantifier -> Value toEncoding :: TH0_quantifier -> Encoding toJSONList :: [TH0_quantifier] -> Value toEncodingList :: [TH0_quantifier] -> Encoding
ToJSON TH1_quantifier Source #
Instance details Methods toJSON :: TH1_quantifier -> Value toEncoding :: TH1_quantifier -> Encoding toJSONList :: [TH1_quantifier] -> Value toEncodingList :: [TH1_quantifier] -> Encoding
ToJSON THF_quantifier Source #
Instance details Methods toJSON :: THF_quantifier -> Value toEncoding :: THF_quantifier -> Encoding toJSONList :: [THF_quantifier] -> Value toEncodingList :: [THF_quantifier] -> Encoding
ToJSON Literal Source #
Instance details Methods toJSON :: Literal -> Value toEncoding :: Literal -> Encoding toJSONList :: [Literal] -> Value toEncodingList :: [Literal] -> Encoding
ToJSON Disjunction Source #
Instance details Methods toJSON :: Disjunction -> Value toEncoding :: Disjunction -> Encoding toJSONList :: [Disjunction] -> Value toEncodingList :: [Disjunction] -> Encoding
ToJSON CNF_formula Source #
Instance details Methods toJSON :: CNF_formula -> Value toEncoding :: CNF_formula -> Encoding toJSONList :: [CNF_formula] -> Value toEncodingList :: [CNF_formula] -> Encoding
ToJSON FOF_formula_tuple Source #
Instance details Methods toJSON :: FOF_formula_tuple -> Value toEncoding :: FOF_formula_tuple -> Encoding toJSONList :: [FOF_formula_tuple] -> Value toEncodingList :: [FOF_formula_tuple] -> Encoding
ToJSON FOF_sequent Source #
Instance details Methods toJSON :: FOF_sequent -> Value toEncoding :: FOF_sequent -> Encoding toJSONList :: [FOF_sequent] -> Value toEncodingList :: [FOF_sequent] -> Encoding
ToJSON TFF_let_term Source #
Instance details Methods toJSON :: TFF_let_term -> Value toEncoding :: TFF_let_term -> Encoding toJSONList :: [TFF_let_term] -> Value toEncodingList :: [TFF_let_term] -> Encoding
ToJSON TFF_conditional_term Source #
Instance details Methods toJSON :: TFF_conditional_term -> Value toEncoding :: TFF_conditional_term -> Encoding toJSONList :: [TFF_conditional_term] -> Value toEncodingList :: [TFF_conditional_term] -> Encoding
ToJSON FOF_function_term Source #
Instance details Methods toJSON :: FOF_function_term -> Value toEncoding :: FOF_function_term -> Encoding toJSONList :: [FOF_function_term] -> Value toEncodingList :: [FOF_function_term] -> Encoding
ToJSON FOF_term Source #
Instance details Methods toJSON :: FOF_term -> Value toEncoding :: FOF_term -> Encoding toJSONList :: [FOF_term] -> Value toEncodingList :: [FOF_term] -> Encoding
ToJSON FOF_system_term Source #
Instance details Methods toJSON :: FOF_system_term -> Value toEncoding :: FOF_system_term -> Encoding toJSONList :: [FOF_system_term] -> Value toEncodingList :: [FOF_system_term] -> Encoding
ToJSON FOF_defined_plain_term Source #
Instance details Methods toJSON :: FOF_defined_plain_term -> Value toEncoding :: FOF_defined_plain_term -> Encoding toJSONList :: [FOF_defined_plain_term] -> Value toEncodingList :: [FOF_defined_plain_term] -> Encoding
ToJSON FOF_defined_atomic_term Source #
Instance details Methods toJSON :: FOF_defined_atomic_term -> Value toEncoding :: FOF_defined_atomic_term -> Encoding toJSONList :: [FOF_defined_atomic_term] -> Value toEncodingList :: [FOF_defined_atomic_term] -> Encoding
ToJSON FOF_defined_term Source #
Instance details Methods toJSON :: FOF_defined_term -> Value toEncoding :: FOF_defined_term -> Encoding toJSONList :: [FOF_defined_term] -> Value toEncodingList :: [FOF_defined_term] -> Encoding
ToJSON FOF_plain_term Source #
Instance details Methods toJSON :: FOF_plain_term -> Value toEncoding :: FOF_plain_term -> Encoding toJSONList :: [FOF_plain_term] -> Value toEncodingList :: [FOF_plain_term] -> Encoding
ToJSON FOF_system_atomic_formula Source #
Instance details Methods toJSON :: FOF_system_atomic_formula -> Value toEncoding :: FOF_system_atomic_formula -> Encoding toJSONList :: [FOF_system_atomic_formula] -> Value toEncodingList :: [FOF_system_atomic_formula] -> Encoding
ToJSON FOF_defined_infix_formula Source #
Instance details Methods toJSON :: FOF_defined_infix_formula -> Value toEncoding :: FOF_defined_infix_formula -> Encoding toJSONList :: [FOF_defined_infix_formula] -> Value toEncodingList :: [FOF_defined_infix_formula] -> Encoding
ToJSON FOF_defined_plain_formula Source #
Instance details Methods toJSON :: FOF_defined_plain_formula -> Value toEncoding :: FOF_defined_plain_formula -> Encoding toJSONList :: [FOF_defined_plain_formula] -> Value toEncodingList :: [FOF_defined_plain_formula] -> Encoding
ToJSON FOF_defined_atomic_formula Source #
Instance details Methods toJSON :: FOF_defined_atomic_formula -> Value toEncoding :: FOF_defined_atomic_formula -> Encoding toJSONList :: [FOF_defined_atomic_formula] -> Value toEncodingList :: [FOF_defined_atomic_formula] -> Encoding
ToJSON FOF_plain_atomic_formula Source #
Instance details Methods toJSON :: FOF_plain_atomic_formula -> Value toEncoding :: FOF_plain_atomic_formula -> Encoding toJSONList :: [FOF_plain_atomic_formula] -> Value toEncodingList :: [FOF_plain_atomic_formula] -> Encoding
ToJSON FOF_atomic_formula Source #
Instance details Methods toJSON :: FOF_atomic_formula -> Value toEncoding :: FOF_atomic_formula -> Encoding toJSONList :: [FOF_atomic_formula] -> Value toEncodingList :: [FOF_atomic_formula] -> Encoding
ToJSON FOF_infix_unary Source #
Instance details Methods toJSON :: FOF_infix_unary -> Value toEncoding :: FOF_infix_unary -> Encoding toJSONList :: [FOF_infix_unary] -> Value toEncodingList :: [FOF_infix_unary] -> Encoding
ToJSON FOF_unary_formula Source #
Instance details Methods toJSON :: FOF_unary_formula -> Value toEncoding :: FOF_unary_formula -> Encoding toJSONList :: [FOF_unary_formula] -> Value toEncodingList :: [FOF_unary_formula] -> Encoding
ToJSON FOF_quantified_formula Source #
Instance details Methods toJSON :: FOF_quantified_formula -> Value toEncoding :: FOF_quantified_formula -> Encoding toJSONList :: [FOF_quantified_formula] -> Value toEncodingList :: [FOF_quantified_formula] -> Encoding
ToJSON FOF_unitary_formula Source #
Instance details Methods toJSON :: FOF_unitary_formula -> Value toEncoding :: FOF_unitary_formula -> Encoding toJSONList :: [FOF_unitary_formula] -> Value toEncodingList :: [FOF_unitary_formula] -> Encoding
ToJSON FOF_binary_assoc Source #
Instance details Methods toJSON :: FOF_binary_assoc -> Value toEncoding :: FOF_binary_assoc -> Encoding toJSONList :: [FOF_binary_assoc] -> Value toEncodingList :: [FOF_binary_assoc] -> Encoding
ToJSON FOF_binary_nonassoc Source #
Instance details Methods toJSON :: FOF_binary_nonassoc -> Value toEncoding :: FOF_binary_nonassoc -> Encoding toJSONList :: [FOF_binary_nonassoc] -> Value toEncodingList :: [FOF_binary_nonassoc] -> Encoding
ToJSON FOF_binary_formula Source #
Instance details Methods toJSON :: FOF_binary_formula -> Value toEncoding :: FOF_binary_formula -> Encoding toJSONList :: [FOF_binary_formula] -> Value toEncodingList :: [FOF_binary_formula] -> Encoding
ToJSON FOF_logic_formula Source #
Instance details Methods toJSON :: FOF_logic_formula -> Value toEncoding :: FOF_logic_formula -> Encoding toJSONList :: [FOF_logic_formula] -> Value toEncodingList :: [FOF_logic_formula] -> Encoding
ToJSON FOF_formula Source #
Instance details Methods toJSON :: FOF_formula -> Value toEncoding :: FOF_formula -> Encoding toJSONList :: [FOF_formula] -> Value toEncodingList :: [FOF_formula] -> Encoding
ToJSON TCF_quantified_formula Source #
Instance details Methods toJSON :: TCF_quantified_formula -> Value toEncoding :: TCF_quantified_formula -> Encoding toJSONList :: [TCF_quantified_formula] -> Value toEncodingList :: [TCF_quantified_formula] -> Encoding
ToJSON TCF_logic_formula Source #
Instance details Methods toJSON :: TCF_logic_formula -> Value toEncoding :: TCF_logic_formula -> Encoding toJSONList :: [TCF_logic_formula] -> Value toEncodingList :: [TCF_logic_formula] -> Encoding
ToJSON TCF_formula Source #
Instance details Methods toJSON :: TCF_formula -> Value toEncoding :: TCF_formula -> Encoding toJSONList :: [TCF_formula] -> Value toEncodingList :: [TCF_formula] -> Encoding
ToJSON TFF_xprod_type Source #
Instance details Methods toJSON :: TFF_xprod_type -> Value toEncoding :: TFF_xprod_type -> Encoding toJSONList :: [TFF_xprod_type] -> Value toEncodingList :: [TFF_xprod_type] -> Encoding
ToJSON TFF_mapping_type Source #
Instance details Methods toJSON :: TFF_mapping_type -> Value toEncoding :: TFF_mapping_type -> Encoding toJSONList :: [TFF_mapping_type] -> Value toEncodingList :: [TFF_mapping_type] -> Encoding
ToJSON TFF_atomic_type Source #
Instance details Methods toJSON :: TFF_atomic_type -> Value toEncoding :: TFF_atomic_type -> Encoding toJSONList :: [TFF_atomic_type] -> Value toEncodingList :: [TFF_atomic_type] -> Encoding
ToJSON TFF_unitary_type Source #
Instance details Methods toJSON :: TFF_unitary_type -> Value toEncoding :: TFF_unitary_type -> Encoding toJSONList :: [TFF_unitary_type] -> Value toEncodingList :: [TFF_unitary_type] -> Encoding
ToJSON TFF_monotype Source #
Instance details Methods toJSON :: TFF_monotype -> Value toEncoding :: TFF_monotype -> Encoding toJSONList :: [TFF_monotype] -> Value toEncodingList :: [TFF_monotype] -> Encoding
ToJSON TF1_quantified_type Source #
Instance details Methods toJSON :: TF1_quantified_type -> Value toEncoding :: TF1_quantified_type -> Encoding toJSONList :: [TF1_quantified_type] -> Value toEncodingList :: [TF1_quantified_type] -> Encoding
ToJSON TFF_top_level_type Source #
Instance details Methods toJSON :: TFF_top_level_type -> Value toEncoding :: TFF_top_level_type -> Encoding toJSONList :: [TFF_top_level_type] -> Value toEncodingList :: [TFF_top_level_type] -> Encoding
ToJSON TFF_subtype Source #
Instance details Methods toJSON :: TFF_subtype -> Value toEncoding :: TFF_subtype -> Encoding toJSONList :: [TFF_subtype] -> Value toEncodingList :: [TFF_subtype] -> Encoding
ToJSON TFF_typed_atom Source #
Instance details Methods toJSON :: TFF_typed_atom -> Value toEncoding :: TFF_typed_atom -> Encoding toJSONList :: [TFF_typed_atom] -> Value toEncodingList :: [TFF_typed_atom] -> Encoding
ToJSON TFF_formula_tuple Source #
Instance details Methods toJSON :: TFF_formula_tuple -> Value toEncoding :: TFF_formula_tuple -> Encoding toJSONList :: [TFF_formula_tuple] -> Value toEncodingList :: [TFF_formula_tuple] -> Encoding
ToJSON TFF_sequent Source #
Instance details Methods toJSON :: TFF_sequent -> Value toEncoding :: TFF_sequent -> Encoding toJSONList :: [TFF_sequent] -> Value toEncodingList :: [TFF_sequent] -> Encoding
ToJSON TFF_let_formula_binding Source #
Instance details Methods toJSON :: TFF_let_formula_binding -> Value toEncoding :: TFF_let_formula_binding -> Encoding toJSONList :: [TFF_let_formula_binding] -> Value toEncodingList :: [TFF_let_formula_binding] -> Encoding
ToJSON TFF_let_formula_defn Source #
Instance details Methods toJSON :: TFF_let_formula_defn -> Value toEncoding :: TFF_let_formula_defn -> Encoding toJSONList :: [TFF_let_formula_defn] -> Value toEncodingList :: [TFF_let_formula_defn] -> Encoding
ToJSON TFF_let_formula_defns Source #
Instance details Methods toJSON :: TFF_let_formula_defns -> Value toEncoding :: TFF_let_formula_defns -> Encoding toJSONList :: [TFF_let_formula_defns] -> Value toEncodingList :: [TFF_let_formula_defns] -> Encoding
ToJSON TFF_let_term_binding Source #
Instance details Methods toJSON :: TFF_let_term_binding -> Value toEncoding :: TFF_let_term_binding -> Encoding toJSONList :: [TFF_let_term_binding] -> Value toEncodingList :: [TFF_let_term_binding] -> Encoding
ToJSON TFF_let_term_defn Source #
Instance details Methods toJSON :: TFF_let_term_defn -> Value toEncoding :: TFF_let_term_defn -> Encoding toJSONList :: [TFF_let_term_defn] -> Value toEncodingList :: [TFF_let_term_defn] -> Encoding
ToJSON TFF_let_term_defns Source #
Instance details Methods toJSON :: TFF_let_term_defns -> Value toEncoding :: TFF_let_term_defns -> Encoding toJSONList :: [TFF_let_term_defns] -> Value toEncodingList :: [TFF_let_term_defns] -> Encoding
ToJSON TFF_let Source #
Instance details Methods toJSON :: TFF_let -> Value toEncoding :: TFF_let -> Encoding toJSONList :: [TFF_let] -> Value toEncodingList :: [TFF_let] -> Encoding
ToJSON TFF_conditional Source #
Instance details Methods toJSON :: TFF_conditional -> Value toEncoding :: TFF_conditional -> Encoding toJSONList :: [TFF_conditional] -> Value toEncodingList :: [TFF_conditional] -> Encoding
ToJSON TFF_unary_formula Source #
Instance details Methods toJSON :: TFF_unary_formula -> Value toEncoding :: TFF_unary_formula -> Encoding toJSONList :: [TFF_unary_formula] -> Value toEncodingList :: [TFF_unary_formula] -> Encoding
ToJSON TFF_typed_variable Source #
Instance details Methods toJSON :: TFF_typed_variable -> Value toEncoding :: TFF_typed_variable -> Encoding toJSONList :: [TFF_typed_variable] -> Value toEncodingList :: [TFF_typed_variable] -> Encoding
ToJSON TFF_variable Source #
Instance details Methods toJSON :: TFF_variable -> Value toEncoding :: TFF_variable -> Encoding toJSONList :: [TFF_variable] -> Value toEncodingList :: [TFF_variable] -> Encoding
ToJSON TFF_quantified_formula Source #
Instance details Methods toJSON :: TFF_quantified_formula -> Value toEncoding :: TFF_quantified_formula -> Encoding toJSONList :: [TFF_quantified_formula] -> Value toEncodingList :: [TFF_quantified_formula] -> Encoding
ToJSON TFF_unitary_formula Source #
Instance details Methods toJSON :: TFF_unitary_formula -> Value toEncoding :: TFF_unitary_formula -> Encoding toJSONList :: [TFF_unitary_formula] -> Value toEncodingList :: [TFF_unitary_formula] -> Encoding
ToJSON TFF_binary_assoc Source #
Instance details Methods toJSON :: TFF_binary_assoc -> Value toEncoding :: TFF_binary_assoc -> Encoding toJSONList :: [TFF_binary_assoc] -> Value toEncodingList :: [TFF_binary_assoc] -> Encoding
ToJSON TFF_binary_nonassoc Source #
Instance details Methods toJSON :: TFF_binary_nonassoc -> Value toEncoding :: TFF_binary_nonassoc -> Encoding toJSONList :: [TFF_binary_nonassoc] -> Value toEncodingList :: [TFF_binary_nonassoc] -> Encoding
ToJSON TFF_binary_formula Source #
Instance details Methods toJSON :: TFF_binary_formula -> Value toEncoding :: TFF_binary_formula -> Encoding toJSONList :: [TFF_binary_formula] -> Value toEncodingList :: [TFF_binary_formula] -> Encoding
ToJSON TFF_logic_formula Source #
Instance details Methods toJSON :: TFF_logic_formula -> Value toEncoding :: TFF_logic_formula -> Encoding toJSONList :: [TFF_logic_formula] -> Value toEncodingList :: [TFF_logic_formula] -> Encoding
ToJSON TFF_formula Source #
Instance details Methods toJSON :: TFF_formula -> Value toEncoding :: TFF_formula -> Encoding toJSONList :: [TFF_formula] -> Value toEncodingList :: [TFF_formula] -> Encoding
ToJSON TFX_logic_formula Source #
Instance details Methods toJSON :: TFX_logic_formula -> Value toEncoding :: TFX_logic_formula -> Encoding toJSONList :: [TFX_logic_formula] -> Value toEncodingList :: [TFX_logic_formula] -> Encoding
ToJSON TFX_formula Source #
Instance details Methods toJSON :: TFX_formula -> Value toEncoding :: TFX_formula -> Encoding toJSONList :: [TFX_formula] -> Value toEncodingList :: [TFX_formula] -> Encoding
ToJSON THF_tuple Source #
Instance details Methods toJSON :: THF_tuple -> Value toEncoding :: THF_tuple -> Encoding toJSONList :: [THF_tuple] -> Value toEncodingList :: [THF_tuple] -> Encoding
ToJSON THF_sequent Source #
Instance details Methods toJSON :: THF_sequent -> Value toEncoding :: THF_sequent -> Encoding toJSONList :: [THF_sequent] -> Value toEncodingList :: [THF_sequent] -> Encoding
ToJSON THF_binary_type Source #
Instance details Methods toJSON :: THF_binary_type -> Value toEncoding :: THF_binary_type -> Encoding toJSONList :: [THF_binary_type] -> Value toEncodingList :: [THF_binary_type] -> Encoding
ToJSON THF_unitary_type Source #
Instance details Methods toJSON :: THF_unitary_type -> Value toEncoding :: THF_unitary_type -> Encoding toJSONList :: [THF_unitary_type] -> Value toEncodingList :: [THF_unitary_type] -> Encoding
ToJSON THF_top_level_type Source #
Instance details Methods toJSON :: THF_top_level_type -> Value toEncoding :: THF_top_level_type -> Encoding toJSONList :: [THF_top_level_type] -> Value toEncodingList :: [THF_top_level_type] -> Encoding
ToJSON THF_subtype Source #
Instance details Methods toJSON :: THF_subtype -> Value toEncoding :: THF_subtype -> Encoding toJSONList :: [THF_subtype] -> Value toEncodingList :: [THF_subtype] -> Encoding
ToJSON THF_typeable_formula Source #
Instance details Methods toJSON :: THF_typeable_formula -> Value toEncoding :: THF_typeable_formula -> Encoding toJSONList :: [THF_typeable_formula] -> Value toEncodingList :: [THF_typeable_formula] -> Encoding
ToJSON THF_type_formula Source #
Instance details Methods toJSON :: THF_type_formula -> Value toEncoding :: THF_type_formula -> Encoding toJSONList :: [THF_type_formula] -> Value toEncodingList :: [THF_type_formula] -> Encoding
ToJSON THF_let_defn_LHS Source #
Instance details Methods toJSON :: THF_let_defn_LHS -> Value toEncoding :: THF_let_defn_LHS -> Encoding toJSONList :: [THF_let_defn_LHS] -> Value toEncodingList :: [THF_let_defn_LHS] -> Encoding
ToJSON THF_let_plain_defn Source #
Instance details Methods toJSON :: THF_let_plain_defn -> Value toEncoding :: THF_let_plain_defn -> Encoding toJSONList :: [THF_let_plain_defn] -> Value toEncodingList :: [THF_let_plain_defn] -> Encoding
ToJSON THF_let_quantified_defn Source #
Instance details Methods toJSON :: THF_let_quantified_defn -> Value toEncoding :: THF_let_quantified_defn -> Encoding toJSONList :: [THF_let_quantified_defn] -> Value toEncodingList :: [THF_let_quantified_defn] -> Encoding
ToJSON THF_let_defn Source #
Instance details Methods toJSON :: THF_let_defn -> Value toEncoding :: THF_let_defn -> Encoding toJSONList :: [THF_let_defn] -> Value toEncodingList :: [THF_let_defn] -> Encoding
ToJSON THF_let_defns Source #
Instance details Methods toJSON :: THF_let_defns -> Value toEncoding :: THF_let_defns -> Encoding toJSONList :: [THF_let_defns] -> Value toEncodingList :: [THF_let_defns] -> Encoding
ToJSON THF_let Source #
Instance details Methods toJSON :: THF_let -> Value toEncoding :: THF_let -> Encoding toJSONList :: [THF_let] -> Value toEncodingList :: [THF_let] -> Encoding
ToJSON THF_conditional Source #
Instance details Methods toJSON :: THF_conditional -> Value toEncoding :: THF_conditional -> Encoding toJSONList :: [THF_conditional] -> Value toEncodingList :: [THF_conditional] -> Encoding
ToJSON THF_conn_term Source #
Instance details Methods toJSON :: THF_conn_term -> Value toEncoding :: THF_conn_term -> Encoding toJSONList :: [THF_conn_term] -> Value toEncodingList :: [THF_conn_term] -> Encoding
ToJSON THF_function Source #
Instance details Methods toJSON :: THF_function -> Value toEncoding :: THF_function -> Encoding toJSONList :: [THF_function] -> Value toEncodingList :: [THF_function] -> Encoding
ToJSON THF_atom Source #
Instance details Methods toJSON :: THF_atom -> Value toEncoding :: THF_atom -> Encoding toJSONList :: [THF_atom] -> Value toEncodingList :: [THF_atom] -> Encoding
ToJSON THF_unary_formula Source #
Instance details Methods toJSON :: THF_unary_formula -> Value toEncoding :: THF_unary_formula -> Encoding toJSONList :: [THF_unary_formula] -> Value toEncodingList :: [THF_unary_formula] -> Encoding
ToJSON THF_typed_variable Source #
Instance details Methods toJSON :: THF_typed_variable -> Value toEncoding :: THF_typed_variable -> Encoding toJSONList :: [THF_typed_variable] -> Value toEncodingList :: [THF_typed_variable] -> Encoding
ToJSON THF_variable Source #
Instance details Methods toJSON :: THF_variable -> Value toEncoding :: THF_variable -> Encoding toJSONList :: [THF_variable] -> Value toEncodingList :: [THF_variable] -> Encoding
ToJSON THF_quantification Source #
Instance details Methods toJSON :: THF_quantification -> Value toEncoding :: THF_quantification -> Encoding toJSONList :: [THF_quantification] -> Value toEncodingList :: [THF_quantification] -> Encoding
ToJSON THF_quantified_formula Source #
Instance details Methods toJSON :: THF_quantified_formula -> Value toEncoding :: THF_quantified_formula -> Encoding toJSONList :: [THF_quantified_formula] -> Value toEncodingList :: [THF_quantified_formula] -> Encoding
ToJSON THF_unitary_formula Source #
Instance details Methods toJSON :: THF_unitary_formula -> Value toEncoding :: THF_unitary_formula -> Encoding toJSONList :: [THF_unitary_formula] -> Value toEncodingList :: [THF_unitary_formula] -> Encoding
ToJSON THF_binary_tuple Source #
Instance details Methods toJSON :: THF_binary_tuple -> Value toEncoding :: THF_binary_tuple -> Encoding toJSONList :: [THF_binary_tuple] -> Value toEncodingList :: [THF_binary_tuple] -> Encoding
ToJSON THF_binary_pair Source #
Instance details Methods toJSON :: THF_binary_pair -> Value toEncoding :: THF_binary_pair -> Encoding toJSONList :: [THF_binary_pair] -> Value toEncodingList :: [THF_binary_pair] -> Encoding
ToJSON THF_binary_formula Source #
Instance details Methods toJSON :: THF_binary_formula -> Value toEncoding :: THF_binary_formula -> Encoding toJSONList :: [THF_binary_formula] -> Value toEncodingList :: [THF_binary_formula] -> Encoding
ToJSON THF_logic_formula Source #
Instance details Methods toJSON :: THF_logic_formula -> Value toEncoding :: THF_logic_formula -> Encoding toJSONList :: [THF_logic_formula] -> Value toEncodingList :: [THF_logic_formula] -> Encoding
ToJSON THF_formula Source #
Instance details Methods toJSON :: THF_formula -> Value toEncoding :: THF_formula -> Encoding toJSONList :: [THF_formula] -> Value toEncodingList :: [THF_formula] -> Encoding
ToJSON Formula_role Source #
Instance details Methods toJSON :: Formula_role -> Value toEncoding :: Formula_role -> Encoding toJSONList :: [Formula_role] -> Value toEncodingList :: [Formula_role] -> Encoding
ToJSON Annotations Source #
Instance details Methods toJSON :: Annotations -> Value toEncoding :: Annotations -> Encoding toJSONList :: [Annotations] -> Value toEncodingList :: [Annotations] -> Encoding
ToJSON CNF_annotated Source #
Instance details Methods toJSON :: CNF_annotated -> Value toEncoding :: CNF_annotated -> Encoding toJSONList :: [CNF_annotated] -> Value toEncodingList :: [CNF_annotated] -> Encoding
ToJSON FOF_annotated Source #
Instance details Methods toJSON :: FOF_annotated -> Value toEncoding :: FOF_annotated -> Encoding toJSONList :: [FOF_annotated] -> Value toEncodingList :: [FOF_annotated] -> Encoding
ToJSON TCF_annotated Source #
Instance details Methods toJSON :: TCF_annotated -> Value toEncoding :: TCF_annotated -> Encoding toJSONList :: [TCF_annotated] -> Value toEncodingList :: [TCF_annotated] -> Encoding
ToJSON TFF_annotated Source #
Instance details Methods toJSON :: TFF_annotated -> Value toEncoding :: TFF_annotated -> Encoding toJSONList :: [TFF_annotated] -> Value toEncodingList :: [TFF_annotated] -> Encoding
ToJSON TFX_annotated Source #
Instance details Methods toJSON :: TFX_annotated -> Value toEncoding :: TFX_annotated -> Encoding toJSONList :: [TFX_annotated] -> Value toEncodingList :: [TFX_annotated] -> Encoding
ToJSON THF_annotated Source #
Instance details Methods toJSON :: THF_annotated -> Value toEncoding :: THF_annotated -> Encoding toJSONList :: [THF_annotated] -> Value toEncodingList :: [THF_annotated] -> Encoding
ToJSON TPI_annotated Source #
Instance details Methods toJSON :: TPI_annotated -> Value toEncoding :: TPI_annotated -> Encoding toJSONList :: [TPI_annotated] -> Value toEncodingList :: [TPI_annotated] -> Encoding
ToJSON Annotated_formula Source #
Instance details Methods toJSON :: Annotated_formula -> Value toEncoding :: Annotated_formula -> Encoding toJSONList :: [Annotated_formula] -> Value toEncodingList :: [Annotated_formula] -> Encoding
ToJSON SystemComment Source #
Instance details Methods toJSON :: SystemComment -> Value toEncoding :: SystemComment -> Encoding toJSONList :: [SystemComment] -> Value toEncodingList :: [SystemComment] -> Encoding
ToJSON DefinedComment Source #
Instance details Methods toJSON :: DefinedComment -> Value toEncoding :: DefinedComment -> Encoding toJSONList :: [DefinedComment] -> Value toEncodingList :: [DefinedComment] -> Encoding
ToJSON Comment Source #
Instance details Methods toJSON :: Comment -> Value toEncoding :: Comment -> Encoding toJSONList :: [Comment] -> Value toEncodingList :: [Comment] -> Encoding
ToJSON TPTP_input Source #
Instance details Methods toJSON :: TPTP_input -> Value toEncoding :: TPTP_input -> Encoding toJSONList :: [TPTP_input] -> Value toEncodingList :: [TPTP_input] -> Encoding
ToJSON TPTP Source #
Instance details Methods toJSON :: TPTP -> Value toEncoding :: TPTP -> Encoding toJSONList :: [TPTP] -> Value toEncodingList :: [TPTP] -> Encoding
ToJSON BASIC_SPEC Source #
Instance details Methods toJSON :: BASIC_SPEC -> Value toEncoding :: BASIC_SPEC -> Encoding toJSONList :: [BASIC_SPEC] -> Value toEncodingList :: [BASIC_SPEC] -> Encoding
ToJSON Sign Source #
Instance details Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> Encoding
ToJSON Type_functorType Source #
Instance details Methods toJSON :: Type_functorType -> Value toEncoding :: Type_functorType -> Encoding toJSONList :: [Type_functorType] -> Value toEncodingList :: [Type_functorType] -> Encoding
ToJSON PredicateType Source #
Instance details Methods toJSON :: PredicateType -> Value toEncoding :: PredicateType -> Encoding toJSONList :: [PredicateType] -> Value toEncodingList :: [PredicateType] -> Encoding
ToJSON FunctorType Source #
Instance details Methods toJSON :: FunctorType -> Value toEncoding :: FunctorType -> Encoding toJSONList :: [FunctorType] -> Value toEncodingList :: [FunctorType] -> Encoding
ToJSON THFTypeable Source #
Instance details Methods toJSON :: THFTypeable -> Value toEncoding :: THFTypeable -> Encoding toJSONList :: [THFTypeable] -> Value toEncodingList :: [THFTypeable] -> Encoding
ToJSON SymbolType Source #
Instance details Methods toJSON :: SymbolType -> Value toEncoding :: SymbolType -> Encoding toJSONList :: [SymbolType] -> Value toEncodingList :: [SymbolType] -> Encoding
ToJSON Symbol Source #
Instance details Methods toJSON :: Symbol -> Value toEncoding :: Symbol -> Encoding toJSONList :: [Symbol] -> Value toEncodingList :: [Symbol] -> Encoding
ToJSON Sublogic Source #
Instance details Methods toJSON :: Sublogic -> Value toEncoding :: Sublogic -> Encoding toJSONList :: [Sublogic] -> Value toEncodingList :: [Sublogic] -> Encoding
ShATermConvertible Number Source #
Instance details Methods toShATermAux :: ATermTable -> Number -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Number] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Number) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Number])
ShATermConvertible Name Source #
Instance details Methods toShATermAux :: ATermTable -> Name -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Name] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Name) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Name])
ShATermConvertible Formula_data Source #
Instance details Methods toShATermAux :: ATermTable -> Formula_data -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Formula_data] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Formula_data) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Formula_data])
ShATermConvertible General_function Source #
Instance details Methods toShATermAux :: ATermTable -> General_function -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [General_function] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, General_function) fromShATermList' :: Int -> ATermTable -> (ATermTable, [General_function])
ShATermConvertible General_data Source #
Instance details Methods toShATermAux :: ATermTable -> General_data -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [General_data] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, General_data) fromShATermList' :: Int -> ATermTable -> (ATermTable, [General_data])
ShATermConvertible General_term Source #
Instance details Methods toShATermAux :: ATermTable -> General_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [General_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, General_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [General_term])
ShATermConvertible Include Source #
Instance details Methods toShATermAux :: ATermTable -> Include -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Include] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Include) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Include])
ShATermConvertible Principal_symbol Source #
Instance details Methods toShATermAux :: ATermTable -> Principal_symbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Principal_symbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Principal_symbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Principal_symbol])
ShATermConvertible New_symbol_record Source #
Instance details Methods toShATermAux :: ATermTable -> New_symbol_record -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [New_symbol_record] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, New_symbol_record) fromShATermList' :: Int -> ATermTable -> (ATermTable, [New_symbol_record])
ShATermConvertible Inference_info Source #
Instance details Methods toShATermAux :: ATermTable -> Inference_info -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Inference_info] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Inference_info) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Inference_info])
ShATermConvertible Status_value Source #
Instance details Methods toShATermAux :: ATermTable -> Status_value -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Status_value] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Status_value) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Status_value])
ShATermConvertible Inference_status Source #
Instance details Methods toShATermAux :: ATermTable -> Inference_status -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Inference_status] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Inference_status) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Inference_status])
ShATermConvertible Inference_item Source #
Instance details Methods toShATermAux :: ATermTable -> Inference_item -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Inference_item] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Inference_item) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Inference_item])
ShATermConvertible Formula_item Source #
Instance details Methods toShATermAux :: ATermTable -> Formula_item -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Formula_item] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Formula_item) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Formula_item])
ShATermConvertible Info_item Source #
Instance details Methods toShATermAux :: ATermTable -> Info_item -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Info_item] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Info_item) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Info_item])
ShATermConvertible Useful_info Source #
Instance details Methods toShATermAux :: ATermTable -> Useful_info -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Useful_info] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Useful_info) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Useful_info])
ShATermConvertible Creator_source Source #
Instance details Methods toShATermAux :: ATermTable -> Creator_source -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Creator_source] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Creator_source) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Creator_source])
ShATermConvertible Theory_name Source #
Instance details Methods toShATermAux :: ATermTable -> Theory_name -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Theory_name] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Theory_name) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Theory_name])
ShATermConvertible Theory Source #
Instance details Methods toShATermAux :: ATermTable -> Theory -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Theory] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Theory) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Theory])
ShATermConvertible File_source Source #
Instance details Methods toShATermAux :: ATermTable -> File_source -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [File_source] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, File_source) fromShATermList' :: Int -> ATermTable -> (ATermTable, [File_source])
ShATermConvertible External_source Source #
Instance details Methods toShATermAux :: ATermTable -> External_source -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [External_source] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, External_source) fromShATermList' :: Int -> ATermTable -> (ATermTable, [External_source])
ShATermConvertible Intro_type Source #
Instance details Methods toShATermAux :: ATermTable -> Intro_type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Intro_type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Intro_type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Intro_type])
ShATermConvertible Internal_source Source #
Instance details Methods toShATermAux :: ATermTable -> Internal_source -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Internal_source] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Internal_source) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Internal_source])
ShATermConvertible Parent_info Source #
Instance details Methods toShATermAux :: ATermTable -> Parent_info -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Parent_info] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Parent_info) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Parent_info])
ShATermConvertible Inference_record Source #
Instance details Methods toShATermAux :: ATermTable -> Inference_record -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Inference_record] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Inference_record) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Inference_record])
ShATermConvertible DAG_source Source #
Instance details Methods toShATermAux :: ATermTable -> DAG_source -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DAG_source] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DAG_source) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DAG_source])
ShATermConvertible Source Source #
Instance details Methods toShATermAux :: ATermTable -> Source -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Source] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Source) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Source])
ShATermConvertible Defined_term Source #
Instance details Methods toShATermAux :: ATermTable -> Defined_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Defined_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Defined_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Defined_term])
ShATermConvertible Defined_functor Source #
Instance details Methods toShATermAux :: ATermTable -> Defined_functor -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Defined_functor] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Defined_functor) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Defined_functor])
ShATermConvertible Defined_infix_pred Source #
Instance details Methods toShATermAux :: ATermTable -> Defined_infix_pred -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Defined_infix_pred] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Defined_infix_pred) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Defined_infix_pred])
ShATermConvertible Defined_predicate Source #
Instance details Methods toShATermAux :: ATermTable -> Defined_predicate -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Defined_predicate] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Defined_predicate) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Defined_predicate])
ShATermConvertible Defined_proposition Source #
Instance details Methods toShATermAux :: ATermTable -> Defined_proposition -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Defined_proposition] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Defined_proposition) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Defined_proposition])
ShATermConvertible Untyped_atom Source #
Instance details Methods toShATermAux :: ATermTable -> Untyped_atom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Untyped_atom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Untyped_atom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Untyped_atom])
ShATermConvertible Atom Source #
Instance details Methods toShATermAux :: ATermTable -> Atom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Atom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Atom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Atom])
ShATermConvertible Defined_type Source #
Instance details Methods toShATermAux :: ATermTable -> Defined_type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Defined_type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Defined_type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Defined_type])
ShATermConvertible Unary_connective Source #
Instance details Methods toShATermAux :: ATermTable -> Unary_connective -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Unary_connective] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Unary_connective) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Unary_connective])
ShATermConvertible Assoc_connective Source #
Instance details Methods toShATermAux :: ATermTable -> Assoc_connective -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Assoc_connective] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Assoc_connective) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Assoc_connective])
ShATermConvertible Binary_connective Source #
Instance details Methods toShATermAux :: ATermTable -> Binary_connective -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Binary_connective] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Binary_connective) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Binary_connective])
ShATermConvertible FOF_quantifier Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_quantifier -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_quantifier] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_quantifier) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_quantifier])
ShATermConvertible TH1_unary_connective Source #
Instance details Methods toShATermAux :: ATermTable -> TH1_unary_connective -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TH1_unary_connective] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TH1_unary_connective) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TH1_unary_connective])
ShATermConvertible THF_unary_connective Source #
Instance details Methods toShATermAux :: ATermTable -> THF_unary_connective -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_unary_connective] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_unary_connective) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_unary_connective])
ShATermConvertible THF_pair_connective Source #
Instance details Methods toShATermAux :: ATermTable -> THF_pair_connective -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_pair_connective] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_pair_connective) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_pair_connective])
ShATermConvertible TH0_quantifier Source #
Instance details Methods toShATermAux :: ATermTable -> TH0_quantifier -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TH0_quantifier] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TH0_quantifier) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TH0_quantifier])
ShATermConvertible TH1_quantifier Source #
Instance details Methods toShATermAux :: ATermTable -> TH1_quantifier -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TH1_quantifier] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TH1_quantifier) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TH1_quantifier])
ShATermConvertible THF_quantifier Source #
Instance details Methods toShATermAux :: ATermTable -> THF_quantifier -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_quantifier] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_quantifier) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_quantifier])
ShATermConvertible Literal Source #
Instance details Methods toShATermAux :: ATermTable -> Literal -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Literal] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Literal) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Literal])
ShATermConvertible Disjunction Source #
Instance details Methods toShATermAux :: ATermTable -> Disjunction -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Disjunction] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Disjunction) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Disjunction])
ShATermConvertible CNF_formula Source #
Instance details Methods toShATermAux :: ATermTable -> CNF_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CNF_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CNF_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CNF_formula])
ShATermConvertible FOF_formula_tuple Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_formula_tuple -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_formula_tuple] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_formula_tuple) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_formula_tuple])
ShATermConvertible FOF_sequent Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_sequent -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_sequent] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_sequent) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_sequent])
ShATermConvertible TFF_let_term Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_let_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_let_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_let_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_let_term])
ShATermConvertible TFF_conditional_term Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_conditional_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_conditional_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_conditional_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_conditional_term])
ShATermConvertible FOF_function_term Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_function_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_function_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_function_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_function_term])
ShATermConvertible FOF_term Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_term])
ShATermConvertible FOF_system_term Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_system_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_system_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_system_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_system_term])
ShATermConvertible FOF_defined_plain_term Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_defined_plain_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_defined_plain_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_defined_plain_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_defined_plain_term])
ShATermConvertible FOF_defined_atomic_term Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_defined_atomic_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_defined_atomic_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_defined_atomic_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_defined_atomic_term])
ShATermConvertible FOF_defined_term Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_defined_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_defined_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_defined_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_defined_term])
ShATermConvertible FOF_plain_term Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_plain_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_plain_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_plain_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_plain_term])
ShATermConvertible FOF_system_atomic_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_system_atomic_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_system_atomic_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_system_atomic_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_system_atomic_formula])
ShATermConvertible FOF_defined_infix_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_defined_infix_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_defined_infix_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_defined_infix_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_defined_infix_formula])
ShATermConvertible FOF_defined_plain_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_defined_plain_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_defined_plain_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_defined_plain_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_defined_plain_formula])
ShATermConvertible FOF_defined_atomic_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_defined_atomic_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_defined_atomic_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_defined_atomic_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_defined_atomic_formula])
ShATermConvertible FOF_plain_atomic_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_plain_atomic_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_plain_atomic_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_plain_atomic_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_plain_atomic_formula])
ShATermConvertible FOF_atomic_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_atomic_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_atomic_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_atomic_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_atomic_formula])
ShATermConvertible FOF_infix_unary Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_infix_unary -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_infix_unary] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_infix_unary) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_infix_unary])
ShATermConvertible FOF_unary_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_unary_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_unary_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_unary_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_unary_formula])
ShATermConvertible FOF_quantified_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_quantified_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_quantified_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_quantified_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_quantified_formula])
ShATermConvertible FOF_unitary_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_unitary_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_unitary_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_unitary_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_unitary_formula])
ShATermConvertible FOF_binary_assoc Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_binary_assoc -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_binary_assoc] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_binary_assoc) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_binary_assoc])
ShATermConvertible FOF_binary_nonassoc Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_binary_nonassoc -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_binary_nonassoc] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_binary_nonassoc) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_binary_nonassoc])
ShATermConvertible FOF_binary_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_binary_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_binary_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_binary_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_binary_formula])
ShATermConvertible FOF_logic_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_logic_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_logic_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_logic_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_logic_formula])
ShATermConvertible FOF_formula Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_formula])
ShATermConvertible TCF_quantified_formula Source #
Instance details Methods toShATermAux :: ATermTable -> TCF_quantified_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TCF_quantified_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TCF_quantified_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TCF_quantified_formula])
ShATermConvertible TCF_logic_formula Source #
Instance details Methods toShATermAux :: ATermTable -> TCF_logic_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TCF_logic_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TCF_logic_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TCF_logic_formula])
ShATermConvertible TCF_formula Source #
Instance details Methods toShATermAux :: ATermTable -> TCF_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TCF_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TCF_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TCF_formula])
ShATermConvertible TFF_xprod_type Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_xprod_type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_xprod_type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_xprod_type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_xprod_type])
ShATermConvertible TFF_mapping_type Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_mapping_type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_mapping_type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_mapping_type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_mapping_type])
ShATermConvertible TFF_atomic_type Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_atomic_type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_atomic_type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_atomic_type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_atomic_type])
ShATermConvertible TFF_unitary_type Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_unitary_type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_unitary_type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_unitary_type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_unitary_type])
ShATermConvertible TFF_monotype Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_monotype -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_monotype] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_monotype) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_monotype])
ShATermConvertible TF1_quantified_type Source #
Instance details Methods toShATermAux :: ATermTable -> TF1_quantified_type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TF1_quantified_type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TF1_quantified_type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TF1_quantified_type])
ShATermConvertible TFF_top_level_type Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_top_level_type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_top_level_type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_top_level_type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_top_level_type])
ShATermConvertible TFF_subtype Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_subtype -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_subtype] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_subtype) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_subtype])
ShATermConvertible TFF_typed_atom Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_typed_atom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_typed_atom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_typed_atom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_typed_atom])
ShATermConvertible TFF_formula_tuple Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_formula_tuple -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_formula_tuple] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_formula_tuple) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_formula_tuple])
ShATermConvertible TFF_sequent Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_sequent -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_sequent] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_sequent) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_sequent])
ShATermConvertible TFF_let_formula_binding Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_let_formula_binding -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_let_formula_binding] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_let_formula_binding) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_let_formula_binding])
ShATermConvertible TFF_let_formula_defn Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_let_formula_defn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_let_formula_defn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_let_formula_defn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_let_formula_defn])
ShATermConvertible TFF_let_formula_defns Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_let_formula_defns -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_let_formula_defns] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_let_formula_defns) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_let_formula_defns])
ShATermConvertible TFF_let_term_binding Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_let_term_binding -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_let_term_binding] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_let_term_binding) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_let_term_binding])
ShATermConvertible TFF_let_term_defn Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_let_term_defn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_let_term_defn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_let_term_defn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_let_term_defn])
ShATermConvertible TFF_let_term_defns Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_let_term_defns -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_let_term_defns] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_let_term_defns) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_let_term_defns])
ShATermConvertible TFF_let Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_let -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_let] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_let) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_let])
ShATermConvertible TFF_conditional Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_conditional -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_conditional] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_conditional) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_conditional])
ShATermConvertible TFF_unary_formula Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_unary_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_unary_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_unary_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_unary_formula])
ShATermConvertible TFF_typed_variable Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_typed_variable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_typed_variable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_typed_variable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_typed_variable])
ShATermConvertible TFF_variable Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_variable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_variable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_variable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_variable])
ShATermConvertible TFF_quantified_formula Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_quantified_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_quantified_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_quantified_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_quantified_formula])
ShATermConvertible TFF_unitary_formula Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_unitary_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_unitary_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_unitary_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_unitary_formula])
ShATermConvertible TFF_binary_assoc Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_binary_assoc -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_binary_assoc] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_binary_assoc) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_binary_assoc])
ShATermConvertible TFF_binary_nonassoc Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_binary_nonassoc -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_binary_nonassoc] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_binary_nonassoc) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_binary_nonassoc])
ShATermConvertible TFF_binary_formula Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_binary_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_binary_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_binary_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_binary_formula])
ShATermConvertible TFF_logic_formula Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_logic_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_logic_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_logic_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_logic_formula])
ShATermConvertible TFF_formula Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_formula])
ShATermConvertible TFX_logic_formula Source #
Instance details Methods toShATermAux :: ATermTable -> TFX_logic_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFX_logic_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFX_logic_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFX_logic_formula])
ShATermConvertible TFX_formula Source #
Instance details Methods toShATermAux :: ATermTable -> TFX_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFX_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFX_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFX_formula])
ShATermConvertible THF_tuple Source #
Instance details Methods toShATermAux :: ATermTable -> THF_tuple -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_tuple] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_tuple) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_tuple])
ShATermConvertible THF_sequent Source #
Instance details Methods toShATermAux :: ATermTable -> THF_sequent -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_sequent] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_sequent) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_sequent])
ShATermConvertible THF_binary_type Source #
Instance details Methods toShATermAux :: ATermTable -> THF_binary_type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_binary_type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_binary_type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_binary_type])
ShATermConvertible THF_unitary_type Source #
Instance details Methods toShATermAux :: ATermTable -> THF_unitary_type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_unitary_type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_unitary_type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_unitary_type])
ShATermConvertible THF_top_level_type Source #
Instance details Methods toShATermAux :: ATermTable -> THF_top_level_type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_top_level_type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_top_level_type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_top_level_type])
ShATermConvertible THF_subtype Source #
Instance details Methods toShATermAux :: ATermTable -> THF_subtype -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_subtype] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_subtype) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_subtype])
ShATermConvertible THF_typeable_formula Source #
Instance details Methods toShATermAux :: ATermTable -> THF_typeable_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_typeable_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_typeable_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_typeable_formula])
ShATermConvertible THF_type_formula Source #
Instance details Methods toShATermAux :: ATermTable -> THF_type_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_type_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_type_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_type_formula])
ShATermConvertible THF_let_defn_LHS Source #
Instance details Methods toShATermAux :: ATermTable -> THF_let_defn_LHS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_let_defn_LHS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_let_defn_LHS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_let_defn_LHS])
ShATermConvertible THF_let_plain_defn Source #
Instance details Methods toShATermAux :: ATermTable -> THF_let_plain_defn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_let_plain_defn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_let_plain_defn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_let_plain_defn])
ShATermConvertible THF_let_quantified_defn Source #
Instance details Methods toShATermAux :: ATermTable -> THF_let_quantified_defn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_let_quantified_defn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_let_quantified_defn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_let_quantified_defn])
ShATermConvertible THF_let_defn Source #
Instance details Methods toShATermAux :: ATermTable -> THF_let_defn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_let_defn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_let_defn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_let_defn])
ShATermConvertible THF_let_defns Source #
Instance details Methods toShATermAux :: ATermTable -> THF_let_defns -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_let_defns] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_let_defns) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_let_defns])
ShATermConvertible THF_let Source #
Instance details Methods toShATermAux :: ATermTable -> THF_let -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_let] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_let) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_let])
ShATermConvertible THF_conditional Source #
Instance details Methods toShATermAux :: ATermTable -> THF_conditional -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_conditional] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_conditional) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_conditional])
ShATermConvertible THF_conn_term Source #
Instance details Methods toShATermAux :: ATermTable -> THF_conn_term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_conn_term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_conn_term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_conn_term])
ShATermConvertible THF_function Source #
Instance details Methods toShATermAux :: ATermTable -> THF_function -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_function] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_function) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_function])
ShATermConvertible THF_atom Source #
Instance details Methods toShATermAux :: ATermTable -> THF_atom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_atom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_atom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_atom])
ShATermConvertible THF_unary_formula Source #
Instance details Methods toShATermAux :: ATermTable -> THF_unary_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_unary_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_unary_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_unary_formula])
ShATermConvertible THF_typed_variable Source #
Instance details Methods toShATermAux :: ATermTable -> THF_typed_variable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_typed_variable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_typed_variable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_typed_variable])
ShATermConvertible THF_variable Source #
Instance details Methods toShATermAux :: ATermTable -> THF_variable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_variable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_variable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_variable])
ShATermConvertible THF_quantification Source #
Instance details Methods toShATermAux :: ATermTable -> THF_quantification -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_quantification] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_quantification) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_quantification])
ShATermConvertible THF_quantified_formula Source #
Instance details Methods toShATermAux :: ATermTable -> THF_quantified_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_quantified_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_quantified_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_quantified_formula])
ShATermConvertible THF_unitary_formula Source #
Instance details Methods toShATermAux :: ATermTable -> THF_unitary_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_unitary_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_unitary_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_unitary_formula])
ShATermConvertible THF_binary_tuple Source #
Instance details Methods toShATermAux :: ATermTable -> THF_binary_tuple -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_binary_tuple] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_binary_tuple) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_binary_tuple])
ShATermConvertible THF_binary_pair Source #
Instance details Methods toShATermAux :: ATermTable -> THF_binary_pair -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_binary_pair] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_binary_pair) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_binary_pair])
ShATermConvertible THF_binary_formula Source #
Instance details Methods toShATermAux :: ATermTable -> THF_binary_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_binary_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_binary_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_binary_formula])
ShATermConvertible THF_logic_formula Source #
Instance details Methods toShATermAux :: ATermTable -> THF_logic_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_logic_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_logic_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_logic_formula])
ShATermConvertible THF_formula Source #
Instance details Methods toShATermAux :: ATermTable -> THF_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_formula])
ShATermConvertible Formula_role Source #
Instance details Methods toShATermAux :: ATermTable -> Formula_role -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Formula_role] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Formula_role) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Formula_role])
ShATermConvertible Annotations Source #
Instance details Methods toShATermAux :: ATermTable -> Annotations -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Annotations] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Annotations) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Annotations])
ShATermConvertible CNF_annotated Source #
Instance details Methods toShATermAux :: ATermTable -> CNF_annotated -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CNF_annotated] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CNF_annotated) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CNF_annotated])
ShATermConvertible FOF_annotated Source #
Instance details Methods toShATermAux :: ATermTable -> FOF_annotated -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FOF_annotated] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FOF_annotated) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FOF_annotated])
ShATermConvertible TCF_annotated Source #
Instance details Methods toShATermAux :: ATermTable -> TCF_annotated -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TCF_annotated] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TCF_annotated) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TCF_annotated])
ShATermConvertible TFF_annotated Source #
Instance details Methods toShATermAux :: ATermTable -> TFF_annotated -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFF_annotated] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFF_annotated) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFF_annotated])
ShATermConvertible TFX_annotated Source #
Instance details Methods toShATermAux :: ATermTable -> TFX_annotated -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TFX_annotated] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TFX_annotated) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TFX_annotated])
ShATermConvertible THF_annotated Source #
Instance details Methods toShATermAux :: ATermTable -> THF_annotated -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THF_annotated] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THF_annotated) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THF_annotated])
ShATermConvertible TPI_annotated Source #
Instance details Methods toShATermAux :: ATermTable -> TPI_annotated -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TPI_annotated] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TPI_annotated) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TPI_annotated])
ShATermConvertible Annotated_formula Source #
Instance details Methods toShATermAux :: ATermTable -> Annotated_formula -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Annotated_formula] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Annotated_formula) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Annotated_formula])
ShATermConvertible SystemComment Source #
Instance details Methods toShATermAux :: ATermTable -> SystemComment -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SystemComment] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SystemComment) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SystemComment])
ShATermConvertible DefinedComment Source #
Instance details Methods toShATermAux :: ATermTable -> DefinedComment -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefinedComment] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefinedComment) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefinedComment])
ShATermConvertible Comment Source #
Instance details Methods toShATermAux :: ATermTable -> Comment -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Comment] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Comment) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Comment])
ShATermConvertible TPTP_input Source #
Instance details Methods toShATermAux :: ATermTable -> TPTP_input -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TPTP_input] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TPTP_input) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TPTP_input])
ShATermConvertible TPTP Source #
Instance details Methods toShATermAux :: ATermTable -> TPTP -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TPTP] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TPTP) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TPTP])
ShATermConvertible BASIC_SPEC Source #
Instance details Methods toShATermAux :: ATermTable -> BASIC_SPEC -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASIC_SPEC] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASIC_SPEC) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASIC_SPEC])
ShATermConvertible Sign Source #
Instance details Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])
ShATermConvertible Type_functorType Source #
Instance details Methods toShATermAux :: ATermTable -> Type_functorType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Type_functorType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Type_functorType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Type_functorType])
ShATermConvertible PredicateType Source #
Instance details Methods toShATermAux :: ATermTable -> PredicateType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PredicateType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PredicateType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PredicateType])
ShATermConvertible FunctorType Source #
Instance details Methods toShATermAux :: ATermTable -> FunctorType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FunctorType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FunctorType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FunctorType])
ShATermConvertible THFTypeable Source #
Instance details Methods toShATermAux :: ATermTable -> THFTypeable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THFTypeable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THFTypeable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THFTypeable])
ShATermConvertible SymbolType Source #
Instance details Methods toShATermAux :: ATermTable -> SymbolType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbolType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbolType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbolType])
ShATermConvertible Symbol Source #
Instance details Methods toShATermAux :: ATermTable -> Symbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Symbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Symbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Symbol])
ShATermConvertible Sublogic Source #
Instance details Methods toShATermAux :: ATermTable -> Sublogic -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sublogic] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sublogic) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sublogic])