Hets - the Heterogeneous Tool Set

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

TPTP.AS

Description

Definition of abstract syntax for TPTP taken from [1]

References

1
G. Sutcliffe et al.: The TPTP language grammar in BNF. http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html

Note: The implemented version is saved at TPTPDocumentsSyntaxBNF.html

Note: The names of the data types are aligned with the names of the grammar rules at this reference page (modulo case).

2
C. Kaliszyk, G. Sutcliffe and F. Rabe: TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism https://kwarc.info/people/frabe/Research/KRS_thf1_16.pdf Note: for further information on TF0, TF1, TH0 and TH1

Documentation

newtype BASIC_SPEC Source #

Constructors

Basic_spec [Annoted TPTP] 

Instances

Eq BASIC_SPEC Source # 

Methods

(==) :: BASIC_SPEC -> BASIC_SPEC -> Bool

(/=) :: BASIC_SPEC -> BASIC_SPEC -> Bool

Data BASIC_SPEC Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BASIC_SPEC -> c BASIC_SPEC

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BASIC_SPEC

toConstr :: BASIC_SPEC -> Constr

dataTypeOf :: BASIC_SPEC -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c BASIC_SPEC)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BASIC_SPEC)

gmapT :: (forall b. Data b => b -> b) -> BASIC_SPEC -> BASIC_SPEC

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BASIC_SPEC -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BASIC_SPEC -> r

gmapQ :: (forall d. Data d => d -> u) -> BASIC_SPEC -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> BASIC_SPEC -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BASIC_SPEC -> m BASIC_SPEC

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BASIC_SPEC -> m BASIC_SPEC

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BASIC_SPEC -> m BASIC_SPEC

Ord BASIC_SPEC Source # 
Show BASIC_SPEC Source # 

Methods

showsPrec :: Int -> BASIC_SPEC -> ShowS

show :: BASIC_SPEC -> String

showList :: [BASIC_SPEC] -> ShowS

GetRange BASIC_SPEC Source # 
Syntax TPTP BASIC_SPEC Symbol () () Source # 
StaticAnalysis TPTP BASIC_SPEC Sentence () () Sign Morphism Symbol () Source # 

Methods

basic_analysis :: TPTP -> Maybe ((BASIC_SPEC, Sign, GlobalAnnos) -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named Sentence])) Source #

sen_analysis :: TPTP -> Maybe ((BASIC_SPEC, Sign, Sentence) -> Result Sentence) Source #

extBasicAnalysis :: TPTP -> IRI -> LibName -> BASIC_SPEC -> Sign -> GlobalAnnos -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named Sentence]) Source #

stat_symb_map_items :: TPTP -> Sign -> Maybe Sign -> [()] -> Result (EndoMap ()) Source #

stat_symb_items :: TPTP -> Sign -> [()] -> Result [()] Source #

convertTheory :: TPTP -> Maybe ((Sign, [Named Sentence]) -> BASIC_SPEC) Source #

ensures_amalgamability :: TPTP -> ([CASLAmalgOpt], Gr Sign (Int, Morphism), [(Int, Morphism)], Gr String String) -> Result Amalgamates Source #

quotient_term_algebra :: TPTP -> Morphism -> [Named Sentence] -> Result (Sign, [Named Sentence]) Source #

signature_colimit :: TPTP -> Gr Sign (Int, Morphism) -> Result (Sign, Map Int Morphism) Source #

qualify :: TPTP -> SIMPLE_ID -> LibName -> Morphism -> Sign -> Result (Morphism, [Named Sentence]) Source #

symbol_to_raw :: TPTP -> Symbol -> () Source #

id_to_raw :: TPTP -> Id -> () Source #

matches :: TPTP -> Symbol -> () -> Bool Source #

empty_signature :: TPTP -> Sign Source #

add_symb_to_sign :: TPTP -> Sign -> Symbol -> Result Sign Source #

signature_union :: TPTP -> Sign -> Sign -> Result Sign Source #

signatureDiff :: TPTP -> Sign -> Sign -> Result Sign Source #

intersection :: TPTP -> Sign -> Sign -> Result Sign Source #

final_union :: TPTP -> Sign -> Sign -> Result Sign Source #

morphism_union :: TPTP -> Morphism -> Morphism -> Result Morphism Source #

is_subsig :: TPTP -> Sign -> Sign -> Bool Source #

subsig_inclusion :: TPTP -> Sign -> Sign -> Result Morphism Source #

generated_sign :: TPTP -> Set Symbol -> Sign -> Result Morphism Source #

cogenerated_sign :: TPTP -> Set Symbol -> Sign -> Result Morphism Source #

induced_from_morphism :: TPTP -> EndoMap () -> Sign -> Result Morphism Source #

induced_from_to_morphism :: TPTP -> EndoMap () -> ExtSign Sign Symbol -> ExtSign Sign Symbol -> Result Morphism Source #

is_transportable :: TPTP -> Morphism -> Bool Source #

is_injective :: TPTP -> Morphism -> Bool Source #

theory_to_taxonomy :: TPTP -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Sentence] -> Result MMiSSOntology Source #

corresp2th :: TPTP -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap Symbol -> EndoMap Symbol -> REL_REF -> Result (Sign, [Named Sentence], Sign, Sign, EndoMap Symbol, EndoMap Symbol) Source #

equiv2cospan :: TPTP -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap Symbol, EndoMap Symbol) Source #

extract_module :: TPTP -> [IRI] -> (Sign, [Named Sentence]) -> Result (Sign, [Named Sentence]) Source #

Logic TPTP Sublogic BASIC_SPEC Sentence () () Sign Morphism Symbol () ProofTree Source # 

Methods

parse_basic_sen :: TPTP -> Maybe (BASIC_SPEC -> AParser st Sentence) Source #

stability :: TPTP -> Stability Source #

data_logic :: TPTP -> Maybe AnyLogic Source #

top_sublogic :: TPTP -> Sublogic Source #

all_sublogics :: TPTP -> [Sublogic] Source #

bottomSublogic :: TPTP -> Maybe Sublogic Source #

sublogicDimensions :: TPTP -> [[Sublogic]] Source #

parseSublogic :: TPTP -> String -> Maybe Sublogic Source #

proj_sublogic_epsilon :: TPTP -> Sublogic -> Sign -> Morphism Source #

provers :: TPTP -> [Prover Sign Sentence Morphism Sublogic ProofTree] Source #

default_prover :: TPTP -> String Source #

cons_checkers :: TPTP -> [ConsChecker Sign Sentence Sublogic Morphism ProofTree] Source #

conservativityCheck :: TPTP -> [ConservativityChecker Sign Sentence Morphism] Source #

empty_proof_tree :: TPTP -> ProofTree Source #

syntaxTable :: TPTP -> Sign -> Maybe SyntaxTable Source #

omdoc_metatheory :: TPTP -> Maybe OMCD Source #

export_symToOmdoc :: TPTP -> NameMap Symbol -> Symbol -> String -> Result TCElement Source #

export_senToOmdoc :: TPTP -> NameMap Symbol -> Sentence -> Result TCorOMElement Source #

export_theoryToOmdoc :: TPTP -> SigMap Symbol -> Sign -> [Named Sentence] -> Result [TCElement] Source #

omdocToSym :: TPTP -> SigMapI Symbol -> TCElement -> String -> Result Symbol Source #

omdocToSen :: TPTP -> SigMapI Symbol -> TCElement -> String -> Result (Maybe (Named Sentence)) Source #

addOMadtToTheory :: TPTP -> SigMapI Symbol -> (Sign, [Named Sentence]) -> [[OmdADT]] -> Result (Sign, [Named Sentence]) Source #

addOmdocToTheory :: TPTP -> SigMapI Symbol -> (Sign, [Named Sentence]) -> [TCElement] -> Result (Sign, [Named Sentence]) Source #

newtype TPTP Source #

Constructors

TPTP [TPTP_input] 

Instances

Eq TPTP Source # 

Methods

(==) :: TPTP -> TPTP -> Bool

(/=) :: TPTP -> TPTP -> Bool

Data TPTP Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TPTP -> c TPTP

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TPTP

toConstr :: TPTP -> Constr

dataTypeOf :: TPTP -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TPTP)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TPTP)

gmapT :: (forall b. Data b => b -> b) -> TPTP -> TPTP

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TPTP -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TPTP -> r

gmapQ :: (forall d. Data d => d -> u) -> TPTP -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TPTP -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TPTP -> m TPTP

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TPTP -> m TPTP

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TPTP -> m TPTP

Ord TPTP Source # 

Methods

compare :: TPTP -> TPTP -> Ordering

(<) :: TPTP -> TPTP -> Bool

(<=) :: TPTP -> TPTP -> Bool

(>) :: TPTP -> TPTP -> Bool

(>=) :: TPTP -> TPTP -> Bool

max :: TPTP -> TPTP -> TPTP

min :: TPTP -> TPTP -> TPTP

Show TPTP Source # 

Methods

showsPrec :: Int -> TPTP -> ShowS

show :: TPTP -> String

showList :: [TPTP] -> ShowS

GetRange TPTP Source # 

data TPTP_input Source #

Instances

Eq TPTP_input Source # 

Methods

(==) :: TPTP_input -> TPTP_input -> Bool

(/=) :: TPTP_input -> TPTP_input -> Bool

Data TPTP_input Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TPTP_input -> c TPTP_input

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TPTP_input

toConstr :: TPTP_input -> Constr

dataTypeOf :: TPTP_input -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TPTP_input)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TPTP_input)

gmapT :: (forall b. Data b => b -> b) -> TPTP_input -> TPTP_input

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TPTP_input -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TPTP_input -> r

gmapQ :: (forall d. Data d => d -> u) -> TPTP_input -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TPTP_input -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TPTP_input -> m TPTP_input

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TPTP_input -> m TPTP_input

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TPTP_input -> m TPTP_input

Ord TPTP_input Source # 
Show TPTP_input Source # 

Methods

showsPrec :: Int -> TPTP_input -> ShowS

show :: TPTP_input -> String

showList :: [TPTP_input] -> ShowS

GetRange TPTP_input Source # 

data Comment Source #

Instances

Eq Comment Source # 

Methods

(==) :: Comment -> Comment -> Bool

(/=) :: Comment -> Comment -> Bool

Data Comment Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Comment -> c Comment

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Comment

toConstr :: Comment -> Constr

dataTypeOf :: Comment -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Comment)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Comment)

gmapT :: (forall b. Data b => b -> b) -> Comment -> Comment

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Comment -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Comment -> r

gmapQ :: (forall d. Data d => d -> u) -> Comment -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Comment -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Comment -> m Comment

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Comment -> m Comment

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Comment -> m Comment

Ord Comment Source # 

Methods

compare :: Comment -> Comment -> Ordering

(<) :: Comment -> Comment -> Bool

(<=) :: Comment -> Comment -> Bool

(>) :: Comment -> Comment -> Bool

(>=) :: Comment -> Comment -> Bool

max :: Comment -> Comment -> Comment

min :: Comment -> Comment -> Comment

Show Comment Source # 

Methods

showsPrec :: Int -> Comment -> ShowS

show :: Comment -> String

showList :: [Comment] -> ShowS

GetRange Comment Source # 

data DefinedComment Source #

Instances

Eq DefinedComment Source # 
Data DefinedComment Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DefinedComment -> c DefinedComment

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DefinedComment

toConstr :: DefinedComment -> Constr

dataTypeOf :: DefinedComment -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DefinedComment)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DefinedComment)

gmapT :: (forall b. Data b => b -> b) -> DefinedComment -> DefinedComment

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DefinedComment -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DefinedComment -> r

gmapQ :: (forall d. Data d => d -> u) -> DefinedComment -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DefinedComment -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DefinedComment -> m DefinedComment

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinedComment -> m DefinedComment

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinedComment -> m DefinedComment

Ord DefinedComment Source # 
Show DefinedComment Source # 

Methods

showsPrec :: Int -> DefinedComment -> ShowS

show :: DefinedComment -> String

showList :: [DefinedComment] -> ShowS

GetRange DefinedComment Source # 

data SystemComment Source #

Instances

Eq SystemComment Source # 
Data SystemComment Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SystemComment -> c SystemComment

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SystemComment

toConstr :: SystemComment -> Constr

dataTypeOf :: SystemComment -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SystemComment)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SystemComment)

gmapT :: (forall b. Data b => b -> b) -> SystemComment -> SystemComment

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SystemComment -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SystemComment -> r

gmapQ :: (forall d. Data d => d -> u) -> SystemComment -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SystemComment -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SystemComment -> m SystemComment

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SystemComment -> m SystemComment

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SystemComment -> m SystemComment

Ord SystemComment Source # 
Show SystemComment Source # 

Methods

showsPrec :: Int -> SystemComment -> ShowS

show :: SystemComment -> String

showList :: [SystemComment] -> ShowS

GetRange SystemComment Source # 

data Annotated_formula Source #

Instances

Eq Annotated_formula Source # 
Data Annotated_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annotated_formula -> c Annotated_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Annotated_formula

toConstr :: Annotated_formula -> Constr

dataTypeOf :: Annotated_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Annotated_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Annotated_formula)

gmapT :: (forall b. Data b => b -> b) -> Annotated_formula -> Annotated_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annotated_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annotated_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> Annotated_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Annotated_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annotated_formula -> m Annotated_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotated_formula -> m Annotated_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotated_formula -> m Annotated_formula

Ord Annotated_formula Source # 
Show Annotated_formula Source # 

Methods

showsPrec :: Int -> Annotated_formula -> ShowS

show :: Annotated_formula -> String

showList :: [Annotated_formula] -> ShowS

GetRange Annotated_formula Source # 
Sentences TPTP Sentence Sign Morphism Symbol Source # 
StaticAnalysis TPTP BASIC_SPEC Sentence () () Sign Morphism Symbol () Source # 

Methods

basic_analysis :: TPTP -> Maybe ((BASIC_SPEC, Sign, GlobalAnnos) -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named Sentence])) Source #

sen_analysis :: TPTP -> Maybe ((BASIC_SPEC, Sign, Sentence) -> Result Sentence) Source #

extBasicAnalysis :: TPTP -> IRI -> LibName -> BASIC_SPEC -> Sign -> GlobalAnnos -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named Sentence]) Source #

stat_symb_map_items :: TPTP -> Sign -> Maybe Sign -> [()] -> Result (EndoMap ()) Source #

stat_symb_items :: TPTP -> Sign -> [()] -> Result [()] Source #

convertTheory :: TPTP -> Maybe ((Sign, [Named Sentence]) -> BASIC_SPEC) Source #

ensures_amalgamability :: TPTP -> ([CASLAmalgOpt], Gr Sign (Int, Morphism), [(Int, Morphism)], Gr String String) -> Result Amalgamates Source #

quotient_term_algebra :: TPTP -> Morphism -> [Named Sentence] -> Result (Sign, [Named Sentence]) Source #

signature_colimit :: TPTP -> Gr Sign (Int, Morphism) -> Result (Sign, Map Int Morphism) Source #

qualify :: TPTP -> SIMPLE_ID -> LibName -> Morphism -> Sign -> Result (Morphism, [Named Sentence]) Source #

symbol_to_raw :: TPTP -> Symbol -> () Source #

id_to_raw :: TPTP -> Id -> () Source #

matches :: TPTP -> Symbol -> () -> Bool Source #

empty_signature :: TPTP -> Sign Source #

add_symb_to_sign :: TPTP -> Sign -> Symbol -> Result Sign Source #

signature_union :: TPTP -> Sign -> Sign -> Result Sign Source #

signatureDiff :: TPTP -> Sign -> Sign -> Result Sign Source #

intersection :: TPTP -> Sign -> Sign -> Result Sign Source #

final_union :: TPTP -> Sign -> Sign -> Result Sign Source #

morphism_union :: TPTP -> Morphism -> Morphism -> Result Morphism Source #

is_subsig :: TPTP -> Sign -> Sign -> Bool Source #

subsig_inclusion :: TPTP -> Sign -> Sign -> Result Morphism Source #

generated_sign :: TPTP -> Set Symbol -> Sign -> Result Morphism Source #

cogenerated_sign :: TPTP -> Set Symbol -> Sign -> Result Morphism Source #

induced_from_morphism :: TPTP -> EndoMap () -> Sign -> Result Morphism Source #

induced_from_to_morphism :: TPTP -> EndoMap () -> ExtSign Sign Symbol -> ExtSign Sign Symbol -> Result Morphism Source #

is_transportable :: TPTP -> Morphism -> Bool Source #

is_injective :: TPTP -> Morphism -> Bool Source #

theory_to_taxonomy :: TPTP -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Sentence] -> Result MMiSSOntology Source #

corresp2th :: TPTP -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap Symbol -> EndoMap Symbol -> REL_REF -> Result (Sign, [Named Sentence], Sign, Sign, EndoMap Symbol, EndoMap Symbol) Source #

equiv2cospan :: TPTP -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap Symbol, EndoMap Symbol) Source #

extract_module :: TPTP -> [IRI] -> (Sign, [Named Sentence]) -> Result (Sign, [Named Sentence]) Source #

Logic TPTP Sublogic BASIC_SPEC Sentence () () Sign Morphism Symbol () ProofTree Source # 

Methods

parse_basic_sen :: TPTP -> Maybe (BASIC_SPEC -> AParser st Sentence) Source #

stability :: TPTP -> Stability Source #

data_logic :: TPTP -> Maybe AnyLogic Source #

top_sublogic :: TPTP -> Sublogic Source #

all_sublogics :: TPTP -> [Sublogic] Source #

bottomSublogic :: TPTP -> Maybe Sublogic Source #

sublogicDimensions :: TPTP -> [[Sublogic]] Source #

parseSublogic :: TPTP -> String -> Maybe Sublogic Source #

proj_sublogic_epsilon :: TPTP -> Sublogic -> Sign -> Morphism Source #

provers :: TPTP -> [Prover Sign Sentence Morphism Sublogic ProofTree] Source #

default_prover :: TPTP -> String Source #

cons_checkers :: TPTP -> [ConsChecker Sign Sentence Sublogic Morphism ProofTree] Source #

conservativityCheck :: TPTP -> [ConservativityChecker Sign Sentence Morphism] Source #

empty_proof_tree :: TPTP -> ProofTree Source #

syntaxTable :: TPTP -> Sign -> Maybe SyntaxTable Source #

omdoc_metatheory :: TPTP -> Maybe OMCD Source #

export_symToOmdoc :: TPTP -> NameMap Symbol -> Symbol -> String -> Result TCElement Source #

export_senToOmdoc :: TPTP -> NameMap Symbol -> Sentence -> Result TCorOMElement Source #

export_theoryToOmdoc :: TPTP -> SigMap Symbol -> Sign -> [Named Sentence] -> Result [TCElement] Source #

omdocToSym :: TPTP -> SigMapI Symbol -> TCElement -> String -> Result Symbol Source #

omdocToSen :: TPTP -> SigMapI Symbol -> TCElement -> String -> Result (Maybe (Named Sentence)) Source #

addOMadtToTheory :: TPTP -> SigMapI Symbol -> (Sign, [Named Sentence]) -> [[OmdADT]] -> Result (Sign, [Named Sentence]) Source #

addOmdocToTheory :: TPTP -> SigMapI Symbol -> (Sign, [Named Sentence]) -> [TCElement] -> Result (Sign, [Named Sentence]) Source #

data TPI_annotated Source #

Instances

Eq TPI_annotated Source # 
Data TPI_annotated Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TPI_annotated -> c TPI_annotated

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TPI_annotated

toConstr :: TPI_annotated -> Constr

dataTypeOf :: TPI_annotated -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TPI_annotated)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TPI_annotated)

gmapT :: (forall b. Data b => b -> b) -> TPI_annotated -> TPI_annotated

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TPI_annotated -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TPI_annotated -> r

gmapQ :: (forall d. Data d => d -> u) -> TPI_annotated -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TPI_annotated -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TPI_annotated -> m TPI_annotated

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TPI_annotated -> m TPI_annotated

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TPI_annotated -> m TPI_annotated

Ord TPI_annotated Source # 
Show TPI_annotated Source # 

Methods

showsPrec :: Int -> TPI_annotated -> ShowS

show :: TPI_annotated -> String

showList :: [TPI_annotated] -> ShowS

GetRange TPI_annotated Source # 

data THF_annotated Source #

Instances

Eq THF_annotated Source # 
Data THF_annotated Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_annotated -> c THF_annotated

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_annotated

toConstr :: THF_annotated -> Constr

dataTypeOf :: THF_annotated -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_annotated)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_annotated)

gmapT :: (forall b. Data b => b -> b) -> THF_annotated -> THF_annotated

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_annotated -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_annotated -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_annotated -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_annotated -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_annotated -> m THF_annotated

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_annotated -> m THF_annotated

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_annotated -> m THF_annotated

Ord THF_annotated Source # 
Show THF_annotated Source # 

Methods

showsPrec :: Int -> THF_annotated -> ShowS

show :: THF_annotated -> String

showList :: [THF_annotated] -> ShowS

GetRange THF_annotated Source # 

data TFX_annotated Source #

Instances

Eq TFX_annotated Source # 
Data TFX_annotated Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFX_annotated -> c TFX_annotated

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFX_annotated

toConstr :: TFX_annotated -> Constr

dataTypeOf :: TFX_annotated -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFX_annotated)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFX_annotated)

gmapT :: (forall b. Data b => b -> b) -> TFX_annotated -> TFX_annotated

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFX_annotated -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFX_annotated -> r

gmapQ :: (forall d. Data d => d -> u) -> TFX_annotated -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFX_annotated -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFX_annotated -> m TFX_annotated

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFX_annotated -> m TFX_annotated

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFX_annotated -> m TFX_annotated

Ord TFX_annotated Source # 
Show TFX_annotated Source # 

Methods

showsPrec :: Int -> TFX_annotated -> ShowS

show :: TFX_annotated -> String

showList :: [TFX_annotated] -> ShowS

GetRange TFX_annotated Source # 

data TFF_annotated Source #

Instances

Eq TFF_annotated Source # 
Data TFF_annotated Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_annotated -> c TFF_annotated

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_annotated

toConstr :: TFF_annotated -> Constr

dataTypeOf :: TFF_annotated -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_annotated)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_annotated)

gmapT :: (forall b. Data b => b -> b) -> TFF_annotated -> TFF_annotated

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_annotated -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_annotated -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_annotated -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_annotated -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_annotated -> m TFF_annotated

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_annotated -> m TFF_annotated

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_annotated -> m TFF_annotated

Ord TFF_annotated Source # 
Show TFF_annotated Source # 

Methods

showsPrec :: Int -> TFF_annotated -> ShowS

show :: TFF_annotated -> String

showList :: [TFF_annotated] -> ShowS

GetRange TFF_annotated Source # 

data TCF_annotated Source #

Instances

Eq TCF_annotated Source # 
Data TCF_annotated Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TCF_annotated -> c TCF_annotated

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TCF_annotated

toConstr :: TCF_annotated -> Constr

dataTypeOf :: TCF_annotated -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TCF_annotated)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TCF_annotated)

gmapT :: (forall b. Data b => b -> b) -> TCF_annotated -> TCF_annotated

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TCF_annotated -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TCF_annotated -> r

gmapQ :: (forall d. Data d => d -> u) -> TCF_annotated -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TCF_annotated -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TCF_annotated -> m TCF_annotated

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TCF_annotated -> m TCF_annotated

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TCF_annotated -> m TCF_annotated

Ord TCF_annotated Source # 
Show TCF_annotated Source # 

Methods

showsPrec :: Int -> TCF_annotated -> ShowS

show :: TCF_annotated -> String

showList :: [TCF_annotated] -> ShowS

GetRange TCF_annotated Source # 

data FOF_annotated Source #

Instances

Eq FOF_annotated Source # 
Data FOF_annotated Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_annotated -> c FOF_annotated

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_annotated

toConstr :: FOF_annotated -> Constr

dataTypeOf :: FOF_annotated -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_annotated)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_annotated)

gmapT :: (forall b. Data b => b -> b) -> FOF_annotated -> FOF_annotated

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_annotated -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_annotated -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_annotated -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_annotated -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_annotated -> m FOF_annotated

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_annotated -> m FOF_annotated

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_annotated -> m FOF_annotated

Ord FOF_annotated Source # 
Show FOF_annotated Source # 

Methods

showsPrec :: Int -> FOF_annotated -> ShowS

show :: FOF_annotated -> String

showList :: [FOF_annotated] -> ShowS

GetRange FOF_annotated Source # 

data CNF_annotated Source #

Instances

Eq CNF_annotated Source # 
Data CNF_annotated Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CNF_annotated -> c CNF_annotated

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CNF_annotated

toConstr :: CNF_annotated -> Constr

dataTypeOf :: CNF_annotated -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CNF_annotated)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CNF_annotated)

gmapT :: (forall b. Data b => b -> b) -> CNF_annotated -> CNF_annotated

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CNF_annotated -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CNF_annotated -> r

gmapQ :: (forall d. Data d => d -> u) -> CNF_annotated -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CNF_annotated -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CNF_annotated -> m CNF_annotated

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CNF_annotated -> m CNF_annotated

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CNF_annotated -> m CNF_annotated

Ord CNF_annotated Source # 
Show CNF_annotated Source # 

Methods

showsPrec :: Int -> CNF_annotated -> ShowS

show :: CNF_annotated -> String

showList :: [CNF_annotated] -> ShowS

GetRange CNF_annotated Source # 

newtype Annotations Source #

Constructors

Annotations (Maybe (Source, Optional_info)) 

Instances

Eq Annotations Source # 

Methods

(==) :: Annotations -> Annotations -> Bool

(/=) :: Annotations -> Annotations -> Bool

Data Annotations Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annotations -> c Annotations

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Annotations

toConstr :: Annotations -> Constr

dataTypeOf :: Annotations -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Annotations)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Annotations)

gmapT :: (forall b. Data b => b -> b) -> Annotations -> Annotations

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annotations -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annotations -> r

gmapQ :: (forall d. Data d => d -> u) -> Annotations -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Annotations -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annotations -> m Annotations

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotations -> m Annotations

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotations -> m Annotations

Ord Annotations Source # 
Show Annotations Source # 

Methods

showsPrec :: Int -> Annotations -> ShowS

show :: Annotations -> String

showList :: [Annotations] -> ShowS

GetRange Annotations Source # 

data Formula_role Source #

Instances

Eq Formula_role Source # 

Methods

(==) :: Formula_role -> Formula_role -> Bool

(/=) :: Formula_role -> Formula_role -> Bool

Data Formula_role Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Formula_role -> c Formula_role

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Formula_role

toConstr :: Formula_role -> Constr

dataTypeOf :: Formula_role -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Formula_role)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Formula_role)

gmapT :: (forall b. Data b => b -> b) -> Formula_role -> Formula_role

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Formula_role -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Formula_role -> r

gmapQ :: (forall d. Data d => d -> u) -> Formula_role -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Formula_role -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Formula_role -> m Formula_role

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Formula_role -> m Formula_role

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Formula_role -> m Formula_role

Ord Formula_role Source # 
Show Formula_role Source # 

Methods

showsPrec :: Int -> Formula_role -> ShowS

show :: Formula_role -> String

showList :: [Formula_role] -> ShowS

GetRange Formula_role Source # 

data THF_formula Source #

Instances

Eq THF_formula Source # 

Methods

(==) :: THF_formula -> THF_formula -> Bool

(/=) :: THF_formula -> THF_formula -> Bool

Data THF_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_formula -> c THF_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_formula

toConstr :: THF_formula -> Constr

dataTypeOf :: THF_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_formula)

gmapT :: (forall b. Data b => b -> b) -> THF_formula -> THF_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_formula -> m THF_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_formula -> m THF_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_formula -> m THF_formula

Ord THF_formula Source # 
Show THF_formula Source # 

Methods

showsPrec :: Int -> THF_formula -> ShowS

show :: THF_formula -> String

showList :: [THF_formula] -> ShowS

GetRange THF_formula Source # 

data THF_logic_formula Source #

Instances

Eq THF_logic_formula Source # 
Data THF_logic_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_logic_formula -> c THF_logic_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_logic_formula

toConstr :: THF_logic_formula -> Constr

dataTypeOf :: THF_logic_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_logic_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_logic_formula)

gmapT :: (forall b. Data b => b -> b) -> THF_logic_formula -> THF_logic_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_logic_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_logic_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_logic_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_logic_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_logic_formula -> m THF_logic_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_logic_formula -> m THF_logic_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_logic_formula -> m THF_logic_formula

Ord THF_logic_formula Source # 
Show THF_logic_formula Source # 

Methods

showsPrec :: Int -> THF_logic_formula -> ShowS

show :: THF_logic_formula -> String

showList :: [THF_logic_formula] -> ShowS

GetRange THF_logic_formula Source # 

data THF_binary_formula Source #

Instances

Eq THF_binary_formula Source # 
Data THF_binary_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_binary_formula -> c THF_binary_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_binary_formula

toConstr :: THF_binary_formula -> Constr

dataTypeOf :: THF_binary_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_binary_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_binary_formula)

gmapT :: (forall b. Data b => b -> b) -> THF_binary_formula -> THF_binary_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_binary_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_binary_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_binary_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_binary_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_binary_formula -> m THF_binary_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_binary_formula -> m THF_binary_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_binary_formula -> m THF_binary_formula

Ord THF_binary_formula Source # 
Show THF_binary_formula Source # 

Methods

showsPrec :: Int -> THF_binary_formula -> ShowS

show :: THF_binary_formula -> String

showList :: [THF_binary_formula] -> ShowS

GetRange THF_binary_formula Source # 

data THF_binary_pair Source #

Instances

Eq THF_binary_pair Source # 
Data THF_binary_pair Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_binary_pair -> c THF_binary_pair

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_binary_pair

toConstr :: THF_binary_pair -> Constr

dataTypeOf :: THF_binary_pair -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_binary_pair)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_binary_pair)

gmapT :: (forall b. Data b => b -> b) -> THF_binary_pair -> THF_binary_pair

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_binary_pair -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_binary_pair -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_binary_pair -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_binary_pair -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_binary_pair -> m THF_binary_pair

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_binary_pair -> m THF_binary_pair

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_binary_pair -> m THF_binary_pair

Ord THF_binary_pair Source # 
Show THF_binary_pair Source # 

Methods

showsPrec :: Int -> THF_binary_pair -> ShowS

show :: THF_binary_pair -> String

showList :: [THF_binary_pair] -> ShowS

GetRange THF_binary_pair Source # 

data THF_binary_tuple Source #

Instances

Eq THF_binary_tuple Source # 
Data THF_binary_tuple Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_binary_tuple -> c THF_binary_tuple

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_binary_tuple

toConstr :: THF_binary_tuple -> Constr

dataTypeOf :: THF_binary_tuple -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_binary_tuple)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_binary_tuple)

gmapT :: (forall b. Data b => b -> b) -> THF_binary_tuple -> THF_binary_tuple

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_binary_tuple -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_binary_tuple -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_binary_tuple -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_binary_tuple -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_binary_tuple -> m THF_binary_tuple

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_binary_tuple -> m THF_binary_tuple

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_binary_tuple -> m THF_binary_tuple

Ord THF_binary_tuple Source # 
Show THF_binary_tuple Source # 

Methods

showsPrec :: Int -> THF_binary_tuple -> ShowS

show :: THF_binary_tuple -> String

showList :: [THF_binary_tuple] -> ShowS

GetRange THF_binary_tuple Source # 

data THF_unitary_formula Source #

Instances

Eq THF_unitary_formula Source # 
Data THF_unitary_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_unitary_formula -> c THF_unitary_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_unitary_formula

toConstr :: THF_unitary_formula -> Constr

dataTypeOf :: THF_unitary_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_unitary_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_unitary_formula)

gmapT :: (forall b. Data b => b -> b) -> THF_unitary_formula -> THF_unitary_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_unitary_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_unitary_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_unitary_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_unitary_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_unitary_formula -> m THF_unitary_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_unitary_formula -> m THF_unitary_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_unitary_formula -> m THF_unitary_formula

Ord THF_unitary_formula Source # 
Show THF_unitary_formula Source # 

Methods

showsPrec :: Int -> THF_unitary_formula -> ShowS

show :: THF_unitary_formula -> String

showList :: [THF_unitary_formula] -> ShowS

GetRange THF_unitary_formula Source # 

data THF_quantified_formula Source #

Instances

Eq THF_quantified_formula Source # 
Data THF_quantified_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_quantified_formula -> c THF_quantified_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_quantified_formula

toConstr :: THF_quantified_formula -> Constr

dataTypeOf :: THF_quantified_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_quantified_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_quantified_formula)

gmapT :: (forall b. Data b => b -> b) -> THF_quantified_formula -> THF_quantified_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_quantified_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_quantified_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_quantified_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_quantified_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_quantified_formula -> m THF_quantified_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_quantified_formula -> m THF_quantified_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_quantified_formula -> m THF_quantified_formula

Ord THF_quantified_formula Source # 
Show THF_quantified_formula Source # 
GetRange THF_quantified_formula Source # 

data THF_quantification Source #

Instances

Eq THF_quantification Source # 
Data THF_quantification Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_quantification -> c THF_quantification

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_quantification

toConstr :: THF_quantification -> Constr

dataTypeOf :: THF_quantification -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_quantification)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_quantification)

gmapT :: (forall b. Data b => b -> b) -> THF_quantification -> THF_quantification

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_quantification -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_quantification -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_quantification -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_quantification -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_quantification -> m THF_quantification

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_quantification -> m THF_quantification

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_quantification -> m THF_quantification

Ord THF_quantification Source # 
Show THF_quantification Source # 

Methods

showsPrec :: Int -> THF_quantification -> ShowS

show :: THF_quantification -> String

showList :: [THF_quantification] -> ShowS

GetRange THF_quantification Source # 

data THF_variable Source #

Instances

Eq THF_variable Source # 

Methods

(==) :: THF_variable -> THF_variable -> Bool

(/=) :: THF_variable -> THF_variable -> Bool

Data THF_variable Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_variable -> c THF_variable

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_variable

toConstr :: THF_variable -> Constr

dataTypeOf :: THF_variable -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_variable)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_variable)

gmapT :: (forall b. Data b => b -> b) -> THF_variable -> THF_variable

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_variable -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_variable -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_variable -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_variable -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_variable -> m THF_variable

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_variable -> m THF_variable

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_variable -> m THF_variable

Ord THF_variable Source # 
Show THF_variable Source # 

Methods

showsPrec :: Int -> THF_variable -> ShowS

show :: THF_variable -> String

showList :: [THF_variable] -> ShowS

GetRange THF_variable Source # 

data THF_typed_variable Source #

Instances

Eq THF_typed_variable Source # 
Data THF_typed_variable Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_typed_variable -> c THF_typed_variable

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_typed_variable

toConstr :: THF_typed_variable -> Constr

dataTypeOf :: THF_typed_variable -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_typed_variable)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_typed_variable)

gmapT :: (forall b. Data b => b -> b) -> THF_typed_variable -> THF_typed_variable

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_typed_variable -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_typed_variable -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_typed_variable -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_typed_variable -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_typed_variable -> m THF_typed_variable

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_typed_variable -> m THF_typed_variable

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_typed_variable -> m THF_typed_variable

Ord THF_typed_variable Source # 
Show THF_typed_variable Source # 

Methods

showsPrec :: Int -> THF_typed_variable -> ShowS

show :: THF_typed_variable -> String

showList :: [THF_typed_variable] -> ShowS

GetRange THF_typed_variable Source # 

data THF_unary_formula Source #

Instances

Eq THF_unary_formula Source # 
Data THF_unary_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_unary_formula -> c THF_unary_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_unary_formula

toConstr :: THF_unary_formula -> Constr

dataTypeOf :: THF_unary_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_unary_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_unary_formula)

gmapT :: (forall b. Data b => b -> b) -> THF_unary_formula -> THF_unary_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_unary_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_unary_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_unary_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_unary_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_unary_formula -> m THF_unary_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_unary_formula -> m THF_unary_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_unary_formula -> m THF_unary_formula

Ord THF_unary_formula Source # 
Show THF_unary_formula Source # 

Methods

showsPrec :: Int -> THF_unary_formula -> ShowS

show :: THF_unary_formula -> String

showList :: [THF_unary_formula] -> ShowS

GetRange THF_unary_formula Source # 

data THF_atom Source #

Instances

Eq THF_atom Source # 

Methods

(==) :: THF_atom -> THF_atom -> Bool

(/=) :: THF_atom -> THF_atom -> Bool

Data THF_atom Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_atom -> c THF_atom

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_atom

toConstr :: THF_atom -> Constr

dataTypeOf :: THF_atom -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_atom)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_atom)

gmapT :: (forall b. Data b => b -> b) -> THF_atom -> THF_atom

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_atom -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_atom -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_atom -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_atom -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_atom -> m THF_atom

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_atom -> m THF_atom

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_atom -> m THF_atom

Ord THF_atom Source # 

Methods

compare :: THF_atom -> THF_atom -> Ordering

(<) :: THF_atom -> THF_atom -> Bool

(<=) :: THF_atom -> THF_atom -> Bool

(>) :: THF_atom -> THF_atom -> Bool

(>=) :: THF_atom -> THF_atom -> Bool

max :: THF_atom -> THF_atom -> THF_atom

min :: THF_atom -> THF_atom -> THF_atom

Show THF_atom Source # 

Methods

showsPrec :: Int -> THF_atom -> ShowS

show :: THF_atom -> String

showList :: [THF_atom] -> ShowS

GetRange THF_atom Source # 

data THF_function Source #

Instances

Eq THF_function Source # 

Methods

(==) :: THF_function -> THF_function -> Bool

(/=) :: THF_function -> THF_function -> Bool

Data THF_function Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_function -> c THF_function

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_function

toConstr :: THF_function -> Constr

dataTypeOf :: THF_function -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_function)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_function)

gmapT :: (forall b. Data b => b -> b) -> THF_function -> THF_function

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_function -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_function -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_function -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_function -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_function -> m THF_function

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_function -> m THF_function

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_function -> m THF_function

Ord THF_function Source # 
Show THF_function Source # 

Methods

showsPrec :: Int -> THF_function -> ShowS

show :: THF_function -> String

showList :: [THF_function] -> ShowS

GetRange THF_function Source # 

data THF_conn_term Source #

Instances

Eq THF_conn_term Source # 
Data THF_conn_term Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_conn_term -> c THF_conn_term

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_conn_term

toConstr :: THF_conn_term -> Constr

dataTypeOf :: THF_conn_term -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_conn_term)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_conn_term)

gmapT :: (forall b. Data b => b -> b) -> THF_conn_term -> THF_conn_term

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_conn_term -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_conn_term -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_conn_term -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_conn_term -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_conn_term -> m THF_conn_term

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_conn_term -> m THF_conn_term

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_conn_term -> m THF_conn_term

Ord THF_conn_term Source # 
Show THF_conn_term Source # 

Methods

showsPrec :: Int -> THF_conn_term -> ShowS

show :: THF_conn_term -> String

showList :: [THF_conn_term] -> ShowS

GetRange THF_conn_term Source # 

data THF_conditional Source #

Instances

Eq THF_conditional Source # 
Data THF_conditional Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_conditional -> c THF_conditional

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_conditional

toConstr :: THF_conditional -> Constr

dataTypeOf :: THF_conditional -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_conditional)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_conditional)

gmapT :: (forall b. Data b => b -> b) -> THF_conditional -> THF_conditional

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_conditional -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_conditional -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_conditional -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_conditional -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_conditional -> m THF_conditional

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_conditional -> m THF_conditional

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_conditional -> m THF_conditional

Ord THF_conditional Source # 
Show THF_conditional Source # 

Methods

showsPrec :: Int -> THF_conditional -> ShowS

show :: THF_conditional -> String

showList :: [THF_conditional] -> ShowS

GetRange THF_conditional Source # 

data THF_let Source #

Instances

Eq THF_let Source # 

Methods

(==) :: THF_let -> THF_let -> Bool

(/=) :: THF_let -> THF_let -> Bool

Data THF_let Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_let -> c THF_let

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_let

toConstr :: THF_let -> Constr

dataTypeOf :: THF_let -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_let)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_let)

gmapT :: (forall b. Data b => b -> b) -> THF_let -> THF_let

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_let -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_let -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_let -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_let -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_let -> m THF_let

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let -> m THF_let

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let -> m THF_let

Ord THF_let Source # 

Methods

compare :: THF_let -> THF_let -> Ordering

(<) :: THF_let -> THF_let -> Bool

(<=) :: THF_let -> THF_let -> Bool

(>) :: THF_let -> THF_let -> Bool

(>=) :: THF_let -> THF_let -> Bool

max :: THF_let -> THF_let -> THF_let

min :: THF_let -> THF_let -> THF_let

Show THF_let Source # 

Methods

showsPrec :: Int -> THF_let -> ShowS

show :: THF_let -> String

showList :: [THF_let] -> ShowS

GetRange THF_let Source # 

data THF_let_defns Source #

Instances

Eq THF_let_defns Source # 
Data THF_let_defns Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_let_defns -> c THF_let_defns

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_let_defns

toConstr :: THF_let_defns -> Constr

dataTypeOf :: THF_let_defns -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_let_defns)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_let_defns)

gmapT :: (forall b. Data b => b -> b) -> THF_let_defns -> THF_let_defns

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_let_defns -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_let_defns -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_let_defns -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_let_defns -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_let_defns -> m THF_let_defns

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let_defns -> m THF_let_defns

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let_defns -> m THF_let_defns

Ord THF_let_defns Source # 
Show THF_let_defns Source # 

Methods

showsPrec :: Int -> THF_let_defns -> ShowS

show :: THF_let_defns -> String

showList :: [THF_let_defns] -> ShowS

GetRange THF_let_defns Source # 

data THF_let_defn Source #

Instances

Eq THF_let_defn Source # 

Methods

(==) :: THF_let_defn -> THF_let_defn -> Bool

(/=) :: THF_let_defn -> THF_let_defn -> Bool

Data THF_let_defn Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_let_defn -> c THF_let_defn

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_let_defn

toConstr :: THF_let_defn -> Constr

dataTypeOf :: THF_let_defn -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_let_defn)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_let_defn)

gmapT :: (forall b. Data b => b -> b) -> THF_let_defn -> THF_let_defn

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_let_defn -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_let_defn -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_let_defn -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_let_defn -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_let_defn -> m THF_let_defn

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let_defn -> m THF_let_defn

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let_defn -> m THF_let_defn

Ord THF_let_defn Source # 
Show THF_let_defn Source # 

Methods

showsPrec :: Int -> THF_let_defn -> ShowS

show :: THF_let_defn -> String

showList :: [THF_let_defn] -> ShowS

GetRange THF_let_defn Source # 

data THF_let_quantified_defn Source #

Instances

Eq THF_let_quantified_defn Source # 
Data THF_let_quantified_defn Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_let_quantified_defn -> c THF_let_quantified_defn

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_let_quantified_defn

toConstr :: THF_let_quantified_defn -> Constr

dataTypeOf :: THF_let_quantified_defn -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_let_quantified_defn)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_let_quantified_defn)

gmapT :: (forall b. Data b => b -> b) -> THF_let_quantified_defn -> THF_let_quantified_defn

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_let_quantified_defn -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_let_quantified_defn -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_let_quantified_defn -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_let_quantified_defn -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_let_quantified_defn -> m THF_let_quantified_defn

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let_quantified_defn -> m THF_let_quantified_defn

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let_quantified_defn -> m THF_let_quantified_defn

Ord THF_let_quantified_defn Source # 
Show THF_let_quantified_defn Source # 
GetRange THF_let_quantified_defn Source # 

data THF_let_plain_defn Source #

Instances

Eq THF_let_plain_defn Source # 
Data THF_let_plain_defn Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_let_plain_defn -> c THF_let_plain_defn

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_let_plain_defn

toConstr :: THF_let_plain_defn -> Constr

dataTypeOf :: THF_let_plain_defn -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_let_plain_defn)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_let_plain_defn)

gmapT :: (forall b. Data b => b -> b) -> THF_let_plain_defn -> THF_let_plain_defn

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_let_plain_defn -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_let_plain_defn -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_let_plain_defn -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_let_plain_defn -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_let_plain_defn -> m THF_let_plain_defn

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let_plain_defn -> m THF_let_plain_defn

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let_plain_defn -> m THF_let_plain_defn

Ord THF_let_plain_defn Source # 
Show THF_let_plain_defn Source # 

Methods

showsPrec :: Int -> THF_let_plain_defn -> ShowS

show :: THF_let_plain_defn -> String

showList :: [THF_let_plain_defn] -> ShowS

GetRange THF_let_plain_defn Source # 

data THF_let_defn_LHS Source #

Instances

Eq THF_let_defn_LHS Source # 
Data THF_let_defn_LHS Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_let_defn_LHS -> c THF_let_defn_LHS

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_let_defn_LHS

toConstr :: THF_let_defn_LHS -> Constr

dataTypeOf :: THF_let_defn_LHS -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_let_defn_LHS)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_let_defn_LHS)

gmapT :: (forall b. Data b => b -> b) -> THF_let_defn_LHS -> THF_let_defn_LHS

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_let_defn_LHS -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_let_defn_LHS -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_let_defn_LHS -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_let_defn_LHS -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_let_defn_LHS -> m THF_let_defn_LHS

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let_defn_LHS -> m THF_let_defn_LHS

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_let_defn_LHS -> m THF_let_defn_LHS

Ord THF_let_defn_LHS Source # 
Show THF_let_defn_LHS Source # 

Methods

showsPrec :: Int -> THF_let_defn_LHS -> ShowS

show :: THF_let_defn_LHS -> String

showList :: [THF_let_defn_LHS] -> ShowS

GetRange THF_let_defn_LHS Source # 

data THF_type_formula Source #

Instances

Eq THF_type_formula Source # 
Data THF_type_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_type_formula -> c THF_type_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_type_formula

toConstr :: THF_type_formula -> Constr

dataTypeOf :: THF_type_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_type_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_type_formula)

gmapT :: (forall b. Data b => b -> b) -> THF_type_formula -> THF_type_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_type_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_type_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_type_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_type_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_type_formula -> m THF_type_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_type_formula -> m THF_type_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_type_formula -> m THF_type_formula

Ord THF_type_formula Source # 
Show THF_type_formula Source # 

Methods

showsPrec :: Int -> THF_type_formula -> ShowS

show :: THF_type_formula -> String

showList :: [THF_type_formula] -> ShowS

GetRange THF_type_formula Source # 

data THF_typeable_formula Source #

Instances

Eq THF_typeable_formula Source # 
Data THF_typeable_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_typeable_formula -> c THF_typeable_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_typeable_formula

toConstr :: THF_typeable_formula -> Constr

dataTypeOf :: THF_typeable_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_typeable_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_typeable_formula)

gmapT :: (forall b. Data b => b -> b) -> THF_typeable_formula -> THF_typeable_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_typeable_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_typeable_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_typeable_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_typeable_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_typeable_formula -> m THF_typeable_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_typeable_formula -> m THF_typeable_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_typeable_formula -> m THF_typeable_formula

Ord THF_typeable_formula Source # 
Show THF_typeable_formula Source # 

Methods

showsPrec :: Int -> THF_typeable_formula -> ShowS

show :: THF_typeable_formula -> String

showList :: [THF_typeable_formula] -> ShowS

GetRange THF_typeable_formula Source # 

data THF_subtype Source #

Instances

Eq THF_subtype Source # 

Methods

(==) :: THF_subtype -> THF_subtype -> Bool

(/=) :: THF_subtype -> THF_subtype -> Bool

Data THF_subtype Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_subtype -> c THF_subtype

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_subtype

toConstr :: THF_subtype -> Constr

dataTypeOf :: THF_subtype -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_subtype)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_subtype)

gmapT :: (forall b. Data b => b -> b) -> THF_subtype -> THF_subtype

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_subtype -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_subtype -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_subtype -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_subtype -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_subtype -> m THF_subtype

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_subtype -> m THF_subtype

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_subtype -> m THF_subtype

Ord THF_subtype Source # 
Show THF_subtype Source # 

Methods

showsPrec :: Int -> THF_subtype -> ShowS

show :: THF_subtype -> String

showList :: [THF_subtype] -> ShowS

GetRange THF_subtype Source # 

data THF_top_level_type Source #

Instances

Eq THF_top_level_type Source # 
Data THF_top_level_type Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_top_level_type -> c THF_top_level_type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_top_level_type

toConstr :: THF_top_level_type -> Constr

dataTypeOf :: THF_top_level_type -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_top_level_type)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_top_level_type)

gmapT :: (forall b. Data b => b -> b) -> THF_top_level_type -> THF_top_level_type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_top_level_type -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_top_level_type -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_top_level_type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_top_level_type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_top_level_type -> m THF_top_level_type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_top_level_type -> m THF_top_level_type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_top_level_type -> m THF_top_level_type

Ord THF_top_level_type Source # 
Show THF_top_level_type Source # 

Methods

showsPrec :: Int -> THF_top_level_type -> ShowS

show :: THF_top_level_type -> String

showList :: [THF_top_level_type] -> ShowS

GetRange THF_top_level_type Source # 

data THF_unitary_type Source #

Instances

Eq THF_unitary_type Source # 
Data THF_unitary_type Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_unitary_type -> c THF_unitary_type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_unitary_type

toConstr :: THF_unitary_type -> Constr

dataTypeOf :: THF_unitary_type -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_unitary_type)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_unitary_type)

gmapT :: (forall b. Data b => b -> b) -> THF_unitary_type -> THF_unitary_type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_unitary_type -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_unitary_type -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_unitary_type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_unitary_type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_unitary_type -> m THF_unitary_type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_unitary_type -> m THF_unitary_type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_unitary_type -> m THF_unitary_type

Ord THF_unitary_type Source # 
Show THF_unitary_type Source # 

Methods

showsPrec :: Int -> THF_unitary_type -> ShowS

show :: THF_unitary_type -> String

showList :: [THF_unitary_type] -> ShowS

GetRange THF_unitary_type Source # 

data THF_binary_type Source #

Instances

Eq THF_binary_type Source # 
Data THF_binary_type Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_binary_type -> c THF_binary_type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_binary_type

toConstr :: THF_binary_type -> Constr

dataTypeOf :: THF_binary_type -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_binary_type)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_binary_type)

gmapT :: (forall b. Data b => b -> b) -> THF_binary_type -> THF_binary_type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_binary_type -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_binary_type -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_binary_type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_binary_type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_binary_type -> m THF_binary_type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_binary_type -> m THF_binary_type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_binary_type -> m THF_binary_type

Ord THF_binary_type Source # 
Show THF_binary_type Source # 

Methods

showsPrec :: Int -> THF_binary_type -> ShowS

show :: THF_binary_type -> String

showList :: [THF_binary_type] -> ShowS

GetRange THF_binary_type Source # 

data THF_sequent Source #

Instances

Eq THF_sequent Source # 

Methods

(==) :: THF_sequent -> THF_sequent -> Bool

(/=) :: THF_sequent -> THF_sequent -> Bool

Data THF_sequent Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_sequent -> c THF_sequent

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_sequent

toConstr :: THF_sequent -> Constr

dataTypeOf :: THF_sequent -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_sequent)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_sequent)

gmapT :: (forall b. Data b => b -> b) -> THF_sequent -> THF_sequent

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_sequent -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_sequent -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_sequent -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_sequent -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_sequent -> m THF_sequent

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_sequent -> m THF_sequent

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_sequent -> m THF_sequent

Ord THF_sequent Source # 
Show THF_sequent Source # 

Methods

showsPrec :: Int -> THF_sequent -> ShowS

show :: THF_sequent -> String

showList :: [THF_sequent] -> ShowS

GetRange THF_sequent Source # 

newtype THF_tuple Source #

Instances

Eq THF_tuple Source # 

Methods

(==) :: THF_tuple -> THF_tuple -> Bool

(/=) :: THF_tuple -> THF_tuple -> Bool

Data THF_tuple Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> THF_tuple -> c THF_tuple

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c THF_tuple

toConstr :: THF_tuple -> Constr

dataTypeOf :: THF_tuple -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c THF_tuple)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c THF_tuple)

gmapT :: (forall b. Data b => b -> b) -> THF_tuple -> THF_tuple

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> THF_tuple -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> THF_tuple -> r

gmapQ :: (forall d. Data d => d -> u) -> THF_tuple -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> THF_tuple -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> THF_tuple -> m THF_tuple

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_tuple -> m THF_tuple

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> THF_tuple -> m THF_tuple

Ord THF_tuple Source # 

Methods

compare :: THF_tuple -> THF_tuple -> Ordering

(<) :: THF_tuple -> THF_tuple -> Bool

(<=) :: THF_tuple -> THF_tuple -> Bool

(>) :: THF_tuple -> THF_tuple -> Bool

(>=) :: THF_tuple -> THF_tuple -> Bool

max :: THF_tuple -> THF_tuple -> THF_tuple

min :: THF_tuple -> THF_tuple -> THF_tuple

Show THF_tuple Source # 

Methods

showsPrec :: Int -> THF_tuple -> ShowS

show :: THF_tuple -> String

showList :: [THF_tuple] -> ShowS

GetRange THF_tuple Source # 

data TFX_formula Source #

Instances

Eq TFX_formula Source # 

Methods

(==) :: TFX_formula -> TFX_formula -> Bool

(/=) :: TFX_formula -> TFX_formula -> Bool

Data TFX_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFX_formula -> c TFX_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFX_formula

toConstr :: TFX_formula -> Constr

dataTypeOf :: TFX_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFX_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFX_formula)

gmapT :: (forall b. Data b => b -> b) -> TFX_formula -> TFX_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFX_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFX_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> TFX_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFX_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFX_formula -> m TFX_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFX_formula -> m TFX_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFX_formula -> m TFX_formula

Ord TFX_formula Source # 
Show TFX_formula Source # 

Methods

showsPrec :: Int -> TFX_formula -> ShowS

show :: TFX_formula -> String

showList :: [TFX_formula] -> ShowS

GetRange TFX_formula Source # 

data TFX_logic_formula Source #

Instances

Eq TFX_logic_formula Source # 
Data TFX_logic_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFX_logic_formula -> c TFX_logic_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFX_logic_formula

toConstr :: TFX_logic_formula -> Constr

dataTypeOf :: TFX_logic_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFX_logic_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFX_logic_formula)

gmapT :: (forall b. Data b => b -> b) -> TFX_logic_formula -> TFX_logic_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFX_logic_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFX_logic_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> TFX_logic_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFX_logic_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFX_logic_formula -> m TFX_logic_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFX_logic_formula -> m TFX_logic_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFX_logic_formula -> m TFX_logic_formula

Ord TFX_logic_formula Source # 
Show TFX_logic_formula Source # 

Methods

showsPrec :: Int -> TFX_logic_formula -> ShowS

show :: TFX_logic_formula -> String

showList :: [TFX_logic_formula] -> ShowS

GetRange TFX_logic_formula Source # 

data TFF_formula Source #

Instances

Eq TFF_formula Source # 

Methods

(==) :: TFF_formula -> TFF_formula -> Bool

(/=) :: TFF_formula -> TFF_formula -> Bool

Data TFF_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_formula -> c TFF_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_formula

toConstr :: TFF_formula -> Constr

dataTypeOf :: TFF_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_formula)

gmapT :: (forall b. Data b => b -> b) -> TFF_formula -> TFF_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_formula -> m TFF_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_formula -> m TFF_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_formula -> m TFF_formula

Ord TFF_formula Source # 
Show TFF_formula Source # 

Methods

showsPrec :: Int -> TFF_formula -> ShowS

show :: TFF_formula -> String

showList :: [TFF_formula] -> ShowS

GetRange TFF_formula Source # 

data TFF_logic_formula Source #

Instances

Eq TFF_logic_formula Source # 
Data TFF_logic_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_logic_formula -> c TFF_logic_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_logic_formula

toConstr :: TFF_logic_formula -> Constr

dataTypeOf :: TFF_logic_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_logic_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_logic_formula)

gmapT :: (forall b. Data b => b -> b) -> TFF_logic_formula -> TFF_logic_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_logic_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_logic_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_logic_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_logic_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_logic_formula -> m TFF_logic_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_logic_formula -> m TFF_logic_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_logic_formula -> m TFF_logic_formula

Ord TFF_logic_formula Source # 
Show TFF_logic_formula Source # 

Methods

showsPrec :: Int -> TFF_logic_formula -> ShowS

show :: TFF_logic_formula -> String

showList :: [TFF_logic_formula] -> ShowS

GetRange TFF_logic_formula Source # 

data TFF_binary_formula Source #

Instances

Eq TFF_binary_formula Source # 
Data TFF_binary_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_binary_formula -> c TFF_binary_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_binary_formula

toConstr :: TFF_binary_formula -> Constr

dataTypeOf :: TFF_binary_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_binary_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_binary_formula)

gmapT :: (forall b. Data b => b -> b) -> TFF_binary_formula -> TFF_binary_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_binary_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_binary_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_binary_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_binary_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_binary_formula -> m TFF_binary_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_binary_formula -> m TFF_binary_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_binary_formula -> m TFF_binary_formula

Ord TFF_binary_formula Source # 
Show TFF_binary_formula Source # 

Methods

showsPrec :: Int -> TFF_binary_formula -> ShowS

show :: TFF_binary_formula -> String

showList :: [TFF_binary_formula] -> ShowS

GetRange TFF_binary_formula Source # 

data TFF_binary_nonassoc Source #

Instances

Eq TFF_binary_nonassoc Source # 
Data TFF_binary_nonassoc Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_binary_nonassoc -> c TFF_binary_nonassoc

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_binary_nonassoc

toConstr :: TFF_binary_nonassoc -> Constr

dataTypeOf :: TFF_binary_nonassoc -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_binary_nonassoc)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_binary_nonassoc)

gmapT :: (forall b. Data b => b -> b) -> TFF_binary_nonassoc -> TFF_binary_nonassoc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_binary_nonassoc -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_binary_nonassoc -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_binary_nonassoc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_binary_nonassoc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_binary_nonassoc -> m TFF_binary_nonassoc

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_binary_nonassoc -> m TFF_binary_nonassoc

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_binary_nonassoc -> m TFF_binary_nonassoc

Ord TFF_binary_nonassoc Source # 
Show TFF_binary_nonassoc Source # 

Methods

showsPrec :: Int -> TFF_binary_nonassoc -> ShowS

show :: TFF_binary_nonassoc -> String

showList :: [TFF_binary_nonassoc] -> ShowS

GetRange TFF_binary_nonassoc Source # 

data TFF_binary_assoc Source #

Instances

Eq TFF_binary_assoc Source # 
Data TFF_binary_assoc Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_binary_assoc -> c TFF_binary_assoc

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_binary_assoc

toConstr :: TFF_binary_assoc -> Constr

dataTypeOf :: TFF_binary_assoc -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_binary_assoc)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_binary_assoc)

gmapT :: (forall b. Data b => b -> b) -> TFF_binary_assoc -> TFF_binary_assoc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_binary_assoc -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_binary_assoc -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_binary_assoc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_binary_assoc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_binary_assoc -> m TFF_binary_assoc

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_binary_assoc -> m TFF_binary_assoc

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_binary_assoc -> m TFF_binary_assoc

Ord TFF_binary_assoc Source # 
Show TFF_binary_assoc Source # 

Methods

showsPrec :: Int -> TFF_binary_assoc -> ShowS

show :: TFF_binary_assoc -> String

showList :: [TFF_binary_assoc] -> ShowS

GetRange TFF_binary_assoc Source # 

data TFF_unitary_formula Source #

Instances

Eq TFF_unitary_formula Source # 
Data TFF_unitary_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_unitary_formula -> c TFF_unitary_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_unitary_formula

toConstr :: TFF_unitary_formula -> Constr

dataTypeOf :: TFF_unitary_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_unitary_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_unitary_formula)

gmapT :: (forall b. Data b => b -> b) -> TFF_unitary_formula -> TFF_unitary_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_unitary_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_unitary_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_unitary_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_unitary_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_unitary_formula -> m TFF_unitary_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_unitary_formula -> m TFF_unitary_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_unitary_formula -> m TFF_unitary_formula

Ord TFF_unitary_formula Source # 
Show TFF_unitary_formula Source # 

Methods

showsPrec :: Int -> TFF_unitary_formula -> ShowS

show :: TFF_unitary_formula -> String

showList :: [TFF_unitary_formula] -> ShowS

GetRange TFF_unitary_formula Source # 

data TFF_quantified_formula Source #

Instances

Eq TFF_quantified_formula Source # 
Data TFF_quantified_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_quantified_formula -> c TFF_quantified_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_quantified_formula

toConstr :: TFF_quantified_formula -> Constr

dataTypeOf :: TFF_quantified_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_quantified_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_quantified_formula)

gmapT :: (forall b. Data b => b -> b) -> TFF_quantified_formula -> TFF_quantified_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_quantified_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_quantified_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_quantified_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_quantified_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_quantified_formula -> m TFF_quantified_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_quantified_formula -> m TFF_quantified_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_quantified_formula -> m TFF_quantified_formula

Ord TFF_quantified_formula Source # 
Show TFF_quantified_formula Source # 
GetRange TFF_quantified_formula Source # 

data TFF_variable Source #

Instances

Eq TFF_variable Source # 

Methods

(==) :: TFF_variable -> TFF_variable -> Bool

(/=) :: TFF_variable -> TFF_variable -> Bool

Data TFF_variable Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_variable -> c TFF_variable

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_variable

toConstr :: TFF_variable -> Constr

dataTypeOf :: TFF_variable -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_variable)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_variable)

gmapT :: (forall b. Data b => b -> b) -> TFF_variable -> TFF_variable

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_variable -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_variable -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_variable -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_variable -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_variable -> m TFF_variable

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_variable -> m TFF_variable

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_variable -> m TFF_variable

Ord TFF_variable Source # 
Show TFF_variable Source # 

Methods

showsPrec :: Int -> TFF_variable -> ShowS

show :: TFF_variable -> String

showList :: [TFF_variable] -> ShowS

GetRange TFF_variable Source # 

data TFF_typed_variable Source #

Instances

Eq TFF_typed_variable Source # 
Data TFF_typed_variable Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_typed_variable -> c TFF_typed_variable

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_typed_variable

toConstr :: TFF_typed_variable -> Constr

dataTypeOf :: TFF_typed_variable -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_typed_variable)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_typed_variable)

gmapT :: (forall b. Data b => b -> b) -> TFF_typed_variable -> TFF_typed_variable

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_typed_variable -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_typed_variable -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_typed_variable -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_typed_variable -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_typed_variable -> m TFF_typed_variable

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_typed_variable -> m TFF_typed_variable

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_typed_variable -> m TFF_typed_variable

Ord TFF_typed_variable Source # 
Show TFF_typed_variable Source # 

Methods

showsPrec :: Int -> TFF_typed_variable -> ShowS

show :: TFF_typed_variable -> String

showList :: [TFF_typed_variable] -> ShowS

GetRange TFF_typed_variable Source # 

data TFF_unary_formula Source #

Instances

Eq TFF_unary_formula Source # 
Data TFF_unary_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_unary_formula -> c TFF_unary_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_unary_formula

toConstr :: TFF_unary_formula -> Constr

dataTypeOf :: TFF_unary_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_unary_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_unary_formula)

gmapT :: (forall b. Data b => b -> b) -> TFF_unary_formula -> TFF_unary_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_unary_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_unary_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_unary_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_unary_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_unary_formula -> m TFF_unary_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_unary_formula -> m TFF_unary_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_unary_formula -> m TFF_unary_formula

Ord TFF_unary_formula Source # 
Show TFF_unary_formula Source # 

Methods

showsPrec :: Int -> TFF_unary_formula -> ShowS

show :: TFF_unary_formula -> String

showList :: [TFF_unary_formula] -> ShowS

GetRange TFF_unary_formula Source # 

data TFF_conditional Source #

Instances

Eq TFF_conditional Source # 
Data TFF_conditional Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_conditional -> c TFF_conditional

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_conditional

toConstr :: TFF_conditional -> Constr

dataTypeOf :: TFF_conditional -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_conditional)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_conditional)

gmapT :: (forall b. Data b => b -> b) -> TFF_conditional -> TFF_conditional

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_conditional -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_conditional -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_conditional -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_conditional -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_conditional -> m TFF_conditional

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_conditional -> m TFF_conditional

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_conditional -> m TFF_conditional

Ord TFF_conditional Source # 
Show TFF_conditional Source # 

Methods

showsPrec :: Int -> TFF_conditional -> ShowS

show :: TFF_conditional -> String

showList :: [TFF_conditional] -> ShowS

GetRange TFF_conditional Source # 

data TFF_let Source #

Instances

Eq TFF_let Source # 

Methods

(==) :: TFF_let -> TFF_let -> Bool

(/=) :: TFF_let -> TFF_let -> Bool

Data TFF_let Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_let -> c TFF_let

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_let

toConstr :: TFF_let -> Constr

dataTypeOf :: TFF_let -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_let)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_let)

gmapT :: (forall b. Data b => b -> b) -> TFF_let -> TFF_let

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_let -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_let -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_let -> m TFF_let

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let -> m TFF_let

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let -> m TFF_let

Ord TFF_let Source # 

Methods

compare :: TFF_let -> TFF_let -> Ordering

(<) :: TFF_let -> TFF_let -> Bool

(<=) :: TFF_let -> TFF_let -> Bool

(>) :: TFF_let -> TFF_let -> Bool

(>=) :: TFF_let -> TFF_let -> Bool

max :: TFF_let -> TFF_let -> TFF_let

min :: TFF_let -> TFF_let -> TFF_let

Show TFF_let Source # 

Methods

showsPrec :: Int -> TFF_let -> ShowS

show :: TFF_let -> String

showList :: [TFF_let] -> ShowS

GetRange TFF_let Source # 

data TFF_let_term_defns Source #

Instances

Eq TFF_let_term_defns Source # 
Data TFF_let_term_defns Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_let_term_defns -> c TFF_let_term_defns

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_let_term_defns

toConstr :: TFF_let_term_defns -> Constr

dataTypeOf :: TFF_let_term_defns -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_let_term_defns)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_let_term_defns)

gmapT :: (forall b. Data b => b -> b) -> TFF_let_term_defns -> TFF_let_term_defns

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_term_defns -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_term_defns -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_let_term_defns -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_let_term_defns -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_let_term_defns -> m TFF_let_term_defns

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_term_defns -> m TFF_let_term_defns

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_term_defns -> m TFF_let_term_defns

Ord TFF_let_term_defns Source # 
Show TFF_let_term_defns Source # 

Methods

showsPrec :: Int -> TFF_let_term_defns -> ShowS

show :: TFF_let_term_defns -> String

showList :: [TFF_let_term_defns] -> ShowS

GetRange TFF_let_term_defns Source # 

data TFF_let_term_defn Source #

Instances

Eq TFF_let_term_defn Source # 
Data TFF_let_term_defn Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_let_term_defn -> c TFF_let_term_defn

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_let_term_defn

toConstr :: TFF_let_term_defn -> Constr

dataTypeOf :: TFF_let_term_defn -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_let_term_defn)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_let_term_defn)

gmapT :: (forall b. Data b => b -> b) -> TFF_let_term_defn -> TFF_let_term_defn

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_term_defn -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_term_defn -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_let_term_defn -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_let_term_defn -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_let_term_defn -> m TFF_let_term_defn

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_term_defn -> m TFF_let_term_defn

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_term_defn -> m TFF_let_term_defn

Ord TFF_let_term_defn Source # 
Show TFF_let_term_defn Source # 

Methods

showsPrec :: Int -> TFF_let_term_defn -> ShowS

show :: TFF_let_term_defn -> String

showList :: [TFF_let_term_defn] -> ShowS

GetRange TFF_let_term_defn Source # 

data TFF_let_term_binding Source #

Instances

Eq TFF_let_term_binding Source # 
Data TFF_let_term_binding Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_let_term_binding -> c TFF_let_term_binding

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_let_term_binding

toConstr :: TFF_let_term_binding -> Constr

dataTypeOf :: TFF_let_term_binding -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_let_term_binding)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_let_term_binding)

gmapT :: (forall b. Data b => b -> b) -> TFF_let_term_binding -> TFF_let_term_binding

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_term_binding -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_term_binding -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_let_term_binding -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_let_term_binding -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_let_term_binding -> m TFF_let_term_binding

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_term_binding -> m TFF_let_term_binding

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_term_binding -> m TFF_let_term_binding

Ord TFF_let_term_binding Source # 
Show TFF_let_term_binding Source # 

Methods

showsPrec :: Int -> TFF_let_term_binding -> ShowS

show :: TFF_let_term_binding -> String

showList :: [TFF_let_term_binding] -> ShowS

GetRange TFF_let_term_binding Source # 

data TFF_let_formula_defns Source #

Instances

Eq TFF_let_formula_defns Source # 
Data TFF_let_formula_defns Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_let_formula_defns -> c TFF_let_formula_defns

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_let_formula_defns

toConstr :: TFF_let_formula_defns -> Constr

dataTypeOf :: TFF_let_formula_defns -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_let_formula_defns)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_let_formula_defns)

gmapT :: (forall b. Data b => b -> b) -> TFF_let_formula_defns -> TFF_let_formula_defns

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_formula_defns -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_formula_defns -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_let_formula_defns -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_let_formula_defns -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_let_formula_defns -> m TFF_let_formula_defns

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_formula_defns -> m TFF_let_formula_defns

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_formula_defns -> m TFF_let_formula_defns

Ord TFF_let_formula_defns Source # 
Show TFF_let_formula_defns Source # 

Methods

showsPrec :: Int -> TFF_let_formula_defns -> ShowS

show :: TFF_let_formula_defns -> String

showList :: [TFF_let_formula_defns] -> ShowS

GetRange TFF_let_formula_defns Source # 

data TFF_let_formula_defn Source #

Instances

Eq TFF_let_formula_defn Source # 
Data TFF_let_formula_defn Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_let_formula_defn -> c TFF_let_formula_defn

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_let_formula_defn

toConstr :: TFF_let_formula_defn -> Constr

dataTypeOf :: TFF_let_formula_defn -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_let_formula_defn)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_let_formula_defn)

gmapT :: (forall b. Data b => b -> b) -> TFF_let_formula_defn -> TFF_let_formula_defn

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_formula_defn -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_formula_defn -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_let_formula_defn -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_let_formula_defn -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_let_formula_defn -> m TFF_let_formula_defn

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_formula_defn -> m TFF_let_formula_defn

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_formula_defn -> m TFF_let_formula_defn

Ord TFF_let_formula_defn Source # 
Show TFF_let_formula_defn Source # 

Methods

showsPrec :: Int -> TFF_let_formula_defn -> ShowS

show :: TFF_let_formula_defn -> String

showList :: [TFF_let_formula_defn] -> ShowS

GetRange TFF_let_formula_defn Source # 

data TFF_let_formula_binding Source #

Instances

Eq TFF_let_formula_binding Source # 
Data TFF_let_formula_binding Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_let_formula_binding -> c TFF_let_formula_binding

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_let_formula_binding

toConstr :: TFF_let_formula_binding -> Constr

dataTypeOf :: TFF_let_formula_binding -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_let_formula_binding)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_let_formula_binding)

gmapT :: (forall b. Data b => b -> b) -> TFF_let_formula_binding -> TFF_let_formula_binding

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_formula_binding -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_let_formula_binding -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_let_formula_binding -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_let_formula_binding -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_let_formula_binding -> m TFF_let_formula_binding

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_formula_binding -> m TFF_let_formula_binding

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_let_formula_binding -> m TFF_let_formula_binding

Ord TFF_let_formula_binding Source # 
Show TFF_let_formula_binding Source # 
GetRange TFF_let_formula_binding Source # 

data TFF_sequent Source #

Instances

Eq TFF_sequent Source # 

Methods

(==) :: TFF_sequent -> TFF_sequent -> Bool

(/=) :: TFF_sequent -> TFF_sequent -> Bool

Data TFF_sequent Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_sequent -> c TFF_sequent

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_sequent

toConstr :: TFF_sequent -> Constr

dataTypeOf :: TFF_sequent -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_sequent)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_sequent)

gmapT :: (forall b. Data b => b -> b) -> TFF_sequent -> TFF_sequent

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_sequent -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_sequent -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_sequent -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_sequent -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_sequent -> m TFF_sequent

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_sequent -> m TFF_sequent

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_sequent -> m TFF_sequent

Ord TFF_sequent Source # 
Show TFF_sequent Source # 

Methods

showsPrec :: Int -> TFF_sequent -> ShowS

show :: TFF_sequent -> String

showList :: [TFF_sequent] -> ShowS

GetRange TFF_sequent Source # 

newtype TFF_formula_tuple Source #

Instances

Eq TFF_formula_tuple Source # 
Data TFF_formula_tuple Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_formula_tuple -> c TFF_formula_tuple

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_formula_tuple

toConstr :: TFF_formula_tuple -> Constr

dataTypeOf :: TFF_formula_tuple -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_formula_tuple)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_formula_tuple)

gmapT :: (forall b. Data b => b -> b) -> TFF_formula_tuple -> TFF_formula_tuple

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_formula_tuple -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_formula_tuple -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_formula_tuple -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_formula_tuple -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_formula_tuple -> m TFF_formula_tuple

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_formula_tuple -> m TFF_formula_tuple

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_formula_tuple -> m TFF_formula_tuple

Ord TFF_formula_tuple Source # 
Show TFF_formula_tuple Source # 

Methods

showsPrec :: Int -> TFF_formula_tuple -> ShowS

show :: TFF_formula_tuple -> String

showList :: [TFF_formula_tuple] -> ShowS

GetRange TFF_formula_tuple Source # 

data TFF_typed_atom Source #

Instances

Eq TFF_typed_atom Source # 
Data TFF_typed_atom Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_typed_atom -> c TFF_typed_atom

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_typed_atom

toConstr :: TFF_typed_atom -> Constr

dataTypeOf :: TFF_typed_atom -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_typed_atom)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_typed_atom)

gmapT :: (forall b. Data b => b -> b) -> TFF_typed_atom -> TFF_typed_atom

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_typed_atom -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_typed_atom -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_typed_atom -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_typed_atom -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_typed_atom -> m TFF_typed_atom

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_typed_atom -> m TFF_typed_atom

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_typed_atom -> m TFF_typed_atom

Ord TFF_typed_atom Source # 
Show TFF_typed_atom Source # 

Methods

showsPrec :: Int -> TFF_typed_atom -> ShowS

show :: TFF_typed_atom -> String

showList :: [TFF_typed_atom] -> ShowS

GetRange TFF_typed_atom Source # 

data TFF_subtype Source #

Instances

Eq TFF_subtype Source # 

Methods

(==) :: TFF_subtype -> TFF_subtype -> Bool

(/=) :: TFF_subtype -> TFF_subtype -> Bool

Data TFF_subtype Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_subtype -> c TFF_subtype

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_subtype

toConstr :: TFF_subtype -> Constr

dataTypeOf :: TFF_subtype -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_subtype)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_subtype)

gmapT :: (forall b. Data b => b -> b) -> TFF_subtype -> TFF_subtype

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_subtype -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_subtype -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_subtype -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_subtype -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_subtype -> m TFF_subtype

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_subtype -> m TFF_subtype

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_subtype -> m TFF_subtype

Ord TFF_subtype Source # 
Show TFF_subtype Source # 

Methods

showsPrec :: Int -> TFF_subtype -> ShowS

show :: TFF_subtype -> String

showList :: [TFF_subtype] -> ShowS

GetRange TFF_subtype Source # 

data TFF_top_level_type Source #

Instances

Eq TFF_top_level_type Source # 
Data TFF_top_level_type Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_top_level_type -> c TFF_top_level_type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_top_level_type

toConstr :: TFF_top_level_type -> Constr

dataTypeOf :: TFF_top_level_type -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_top_level_type)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_top_level_type)

gmapT :: (forall b. Data b => b -> b) -> TFF_top_level_type -> TFF_top_level_type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_top_level_type -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_top_level_type -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_top_level_type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_top_level_type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_top_level_type -> m TFF_top_level_type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_top_level_type -> m TFF_top_level_type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_top_level_type -> m TFF_top_level_type

Ord TFF_top_level_type Source # 
Show TFF_top_level_type Source # 

Methods

showsPrec :: Int -> TFF_top_level_type -> ShowS

show :: TFF_top_level_type -> String

showList :: [TFF_top_level_type] -> ShowS

GetRange TFF_top_level_type Source # 

data TF1_quantified_type Source #

Instances

Eq TF1_quantified_type Source # 
Data TF1_quantified_type Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TF1_quantified_type -> c TF1_quantified_type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TF1_quantified_type

toConstr :: TF1_quantified_type -> Constr

dataTypeOf :: TF1_quantified_type -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TF1_quantified_type)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TF1_quantified_type)

gmapT :: (forall b. Data b => b -> b) -> TF1_quantified_type -> TF1_quantified_type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TF1_quantified_type -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TF1_quantified_type -> r

gmapQ :: (forall d. Data d => d -> u) -> TF1_quantified_type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TF1_quantified_type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TF1_quantified_type -> m TF1_quantified_type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TF1_quantified_type -> m TF1_quantified_type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TF1_quantified_type -> m TF1_quantified_type

Ord TF1_quantified_type Source # 
Show TF1_quantified_type Source # 

Methods

showsPrec :: Int -> TF1_quantified_type -> ShowS

show :: TF1_quantified_type -> String

showList :: [TF1_quantified_type] -> ShowS

GetRange TF1_quantified_type Source # 

data TFF_monotype Source #

Instances

Eq TFF_monotype Source # 

Methods

(==) :: TFF_monotype -> TFF_monotype -> Bool

(/=) :: TFF_monotype -> TFF_monotype -> Bool

Data TFF_monotype Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_monotype -> c TFF_monotype

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_monotype

toConstr :: TFF_monotype -> Constr

dataTypeOf :: TFF_monotype -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_monotype)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_monotype)

gmapT :: (forall b. Data b => b -> b) -> TFF_monotype -> TFF_monotype

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_monotype -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_monotype -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_monotype -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_monotype -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_monotype -> m TFF_monotype

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_monotype -> m TFF_monotype

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_monotype -> m TFF_monotype

Ord TFF_monotype Source # 
Show TFF_monotype Source # 

Methods

showsPrec :: Int -> TFF_monotype -> ShowS

show :: TFF_monotype -> String

showList :: [TFF_monotype] -> ShowS

GetRange TFF_monotype Source # 

data TFF_unitary_type Source #

Instances

Eq TFF_unitary_type Source # 
Data TFF_unitary_type Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_unitary_type -> c TFF_unitary_type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_unitary_type

toConstr :: TFF_unitary_type -> Constr

dataTypeOf :: TFF_unitary_type -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_unitary_type)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_unitary_type)

gmapT :: (forall b. Data b => b -> b) -> TFF_unitary_type -> TFF_unitary_type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_unitary_type -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_unitary_type -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_unitary_type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_unitary_type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_unitary_type -> m TFF_unitary_type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_unitary_type -> m TFF_unitary_type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_unitary_type -> m TFF_unitary_type

Ord TFF_unitary_type Source # 
Show TFF_unitary_type Source # 

Methods

showsPrec :: Int -> TFF_unitary_type -> ShowS

show :: TFF_unitary_type -> String

showList :: [TFF_unitary_type] -> ShowS

GetRange TFF_unitary_type Source # 

data TFF_atomic_type Source #

Instances

Eq TFF_atomic_type Source # 
Data TFF_atomic_type Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_atomic_type -> c TFF_atomic_type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_atomic_type

toConstr :: TFF_atomic_type -> Constr

dataTypeOf :: TFF_atomic_type -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_atomic_type)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_atomic_type)

gmapT :: (forall b. Data b => b -> b) -> TFF_atomic_type -> TFF_atomic_type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_atomic_type -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_atomic_type -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_atomic_type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_atomic_type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_atomic_type -> m TFF_atomic_type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_atomic_type -> m TFF_atomic_type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_atomic_type -> m TFF_atomic_type

Ord TFF_atomic_type Source # 
Show TFF_atomic_type Source # 

Methods

showsPrec :: Int -> TFF_atomic_type -> ShowS

show :: TFF_atomic_type -> String

showList :: [TFF_atomic_type] -> ShowS

GetRange TFF_atomic_type Source # 

data TFF_mapping_type Source #

Instances

Eq TFF_mapping_type Source # 
Data TFF_mapping_type Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_mapping_type -> c TFF_mapping_type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_mapping_type

toConstr :: TFF_mapping_type -> Constr

dataTypeOf :: TFF_mapping_type -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_mapping_type)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_mapping_type)

gmapT :: (forall b. Data b => b -> b) -> TFF_mapping_type -> TFF_mapping_type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_mapping_type -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_mapping_type -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_mapping_type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_mapping_type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_mapping_type -> m TFF_mapping_type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_mapping_type -> m TFF_mapping_type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_mapping_type -> m TFF_mapping_type

Ord TFF_mapping_type Source # 
Show TFF_mapping_type Source # 

Methods

showsPrec :: Int -> TFF_mapping_type -> ShowS

show :: TFF_mapping_type -> String

showList :: [TFF_mapping_type] -> ShowS

GetRange TFF_mapping_type Source # 

data TFF_xprod_type Source #

Instances

Eq TFF_xprod_type Source # 
Data TFF_xprod_type Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TFF_xprod_type -> c TFF_xprod_type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TFF_xprod_type

toConstr :: TFF_xprod_type -> Constr

dataTypeOf :: TFF_xprod_type -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TFF_xprod_type)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TFF_xprod_type)

gmapT :: (forall b. Data b => b -> b) -> TFF_xprod_type -> TFF_xprod_type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TFF_xprod_type -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TFF_xprod_type -> r

gmapQ :: (forall d. Data d => d -> u) -> TFF_xprod_type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TFF_xprod_type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TFF_xprod_type -> m TFF_xprod_type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_xprod_type -> m TFF_xprod_type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TFF_xprod_type -> m TFF_xprod_type

Ord TFF_xprod_type Source # 
Show TFF_xprod_type Source # 

Methods

showsPrec :: Int -> TFF_xprod_type -> ShowS

show :: TFF_xprod_type -> String

showList :: [TFF_xprod_type] -> ShowS

GetRange TFF_xprod_type Source # 

data TCF_formula Source #

Instances

Eq TCF_formula Source # 

Methods

(==) :: TCF_formula -> TCF_formula -> Bool

(/=) :: TCF_formula -> TCF_formula -> Bool

Data TCF_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TCF_formula -> c TCF_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TCF_formula

toConstr :: TCF_formula -> Constr

dataTypeOf :: TCF_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TCF_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TCF_formula)

gmapT :: (forall b. Data b => b -> b) -> TCF_formula -> TCF_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TCF_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TCF_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> TCF_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TCF_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TCF_formula -> m TCF_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TCF_formula -> m TCF_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TCF_formula -> m TCF_formula

Ord TCF_formula Source # 
Show TCF_formula Source # 

Methods

showsPrec :: Int -> TCF_formula -> ShowS

show :: TCF_formula -> String

showList :: [TCF_formula] -> ShowS

GetRange TCF_formula Source # 

data TCF_logic_formula Source #

Instances

Eq TCF_logic_formula Source # 
Data TCF_logic_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TCF_logic_formula -> c TCF_logic_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TCF_logic_formula

toConstr :: TCF_logic_formula -> Constr

dataTypeOf :: TCF_logic_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TCF_logic_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TCF_logic_formula)

gmapT :: (forall b. Data b => b -> b) -> TCF_logic_formula -> TCF_logic_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TCF_logic_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TCF_logic_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> TCF_logic_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TCF_logic_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TCF_logic_formula -> m TCF_logic_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TCF_logic_formula -> m TCF_logic_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TCF_logic_formula -> m TCF_logic_formula

Ord TCF_logic_formula Source # 
Show TCF_logic_formula Source # 

Methods

showsPrec :: Int -> TCF_logic_formula -> ShowS

show :: TCF_logic_formula -> String

showList :: [TCF_logic_formula] -> ShowS

GetRange TCF_logic_formula Source # 

data TCF_quantified_formula Source #

Instances

Eq TCF_quantified_formula Source # 
Data TCF_quantified_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TCF_quantified_formula -> c TCF_quantified_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TCF_quantified_formula

toConstr :: TCF_quantified_formula -> Constr

dataTypeOf :: TCF_quantified_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TCF_quantified_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TCF_quantified_formula)

gmapT :: (forall b. Data b => b -> b) -> TCF_quantified_formula -> TCF_quantified_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TCF_quantified_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TCF_quantified_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> TCF_quantified_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TCF_quantified_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TCF_quantified_formula -> m TCF_quantified_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TCF_quantified_formula -> m TCF_quantified_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TCF_quantified_formula -> m TCF_quantified_formula

Ord TCF_quantified_formula Source # 
Show TCF_quantified_formula Source # 
GetRange TCF_quantified_formula Source # 

data FOF_formula Source #

Instances

Eq FOF_formula Source # 

Methods

(==) :: FOF_formula -> FOF_formula -> Bool

(/=) :: FOF_formula -> FOF_formula -> Bool

Data FOF_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_formula -> c FOF_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_formula

toConstr :: FOF_formula -> Constr

dataTypeOf :: FOF_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_formula -> FOF_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_formula -> m FOF_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_formula -> m FOF_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_formula -> m FOF_formula

Ord FOF_formula Source # 
Show FOF_formula Source # 

Methods

showsPrec :: Int -> FOF_formula -> ShowS

show :: FOF_formula -> String

showList :: [FOF_formula] -> ShowS

GetRange FOF_formula Source # 

data FOF_logic_formula Source #

Instances

Eq FOF_logic_formula Source # 
Data FOF_logic_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_logic_formula -> c FOF_logic_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_logic_formula

toConstr :: FOF_logic_formula -> Constr

dataTypeOf :: FOF_logic_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_logic_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_logic_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_logic_formula -> FOF_logic_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_logic_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_logic_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_logic_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_logic_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_logic_formula -> m FOF_logic_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_logic_formula -> m FOF_logic_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_logic_formula -> m FOF_logic_formula

Ord FOF_logic_formula Source # 
Show FOF_logic_formula Source # 

Methods

showsPrec :: Int -> FOF_logic_formula -> ShowS

show :: FOF_logic_formula -> String

showList :: [FOF_logic_formula] -> ShowS

GetRange FOF_logic_formula Source # 

data FOF_binary_formula Source #

Instances

Eq FOF_binary_formula Source # 
Data FOF_binary_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_binary_formula -> c FOF_binary_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_binary_formula

toConstr :: FOF_binary_formula -> Constr

dataTypeOf :: FOF_binary_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_binary_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_binary_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_binary_formula -> FOF_binary_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_binary_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_binary_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_binary_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_binary_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_binary_formula -> m FOF_binary_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_binary_formula -> m FOF_binary_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_binary_formula -> m FOF_binary_formula

Ord FOF_binary_formula Source # 
Show FOF_binary_formula Source # 

Methods

showsPrec :: Int -> FOF_binary_formula -> ShowS

show :: FOF_binary_formula -> String

showList :: [FOF_binary_formula] -> ShowS

GetRange FOF_binary_formula Source # 

data FOF_binary_nonassoc Source #

Instances

Eq FOF_binary_nonassoc Source # 
Data FOF_binary_nonassoc Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_binary_nonassoc -> c FOF_binary_nonassoc

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_binary_nonassoc

toConstr :: FOF_binary_nonassoc -> Constr

dataTypeOf :: FOF_binary_nonassoc -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_binary_nonassoc)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_binary_nonassoc)

gmapT :: (forall b. Data b => b -> b) -> FOF_binary_nonassoc -> FOF_binary_nonassoc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_binary_nonassoc -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_binary_nonassoc -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_binary_nonassoc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_binary_nonassoc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_binary_nonassoc -> m FOF_binary_nonassoc

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_binary_nonassoc -> m FOF_binary_nonassoc

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_binary_nonassoc -> m FOF_binary_nonassoc

Ord FOF_binary_nonassoc Source # 
Show FOF_binary_nonassoc Source # 

Methods

showsPrec :: Int -> FOF_binary_nonassoc -> ShowS

show :: FOF_binary_nonassoc -> String

showList :: [FOF_binary_nonassoc] -> ShowS

GetRange FOF_binary_nonassoc Source # 

data FOF_binary_assoc Source #

Instances

Eq FOF_binary_assoc Source # 
Data FOF_binary_assoc Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_binary_assoc -> c FOF_binary_assoc

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_binary_assoc

toConstr :: FOF_binary_assoc -> Constr

dataTypeOf :: FOF_binary_assoc -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_binary_assoc)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_binary_assoc)

gmapT :: (forall b. Data b => b -> b) -> FOF_binary_assoc -> FOF_binary_assoc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_binary_assoc -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_binary_assoc -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_binary_assoc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_binary_assoc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_binary_assoc -> m FOF_binary_assoc

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_binary_assoc -> m FOF_binary_assoc

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_binary_assoc -> m FOF_binary_assoc

Ord FOF_binary_assoc Source # 
Show FOF_binary_assoc Source # 

Methods

showsPrec :: Int -> FOF_binary_assoc -> ShowS

show :: FOF_binary_assoc -> String

showList :: [FOF_binary_assoc] -> ShowS

GetRange FOF_binary_assoc Source # 

data FOF_unitary_formula Source #

Instances

Eq FOF_unitary_formula Source # 
Data FOF_unitary_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_unitary_formula -> c FOF_unitary_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_unitary_formula

toConstr :: FOF_unitary_formula -> Constr

dataTypeOf :: FOF_unitary_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_unitary_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_unitary_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_unitary_formula -> FOF_unitary_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_unitary_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_unitary_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_unitary_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_unitary_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_unitary_formula -> m FOF_unitary_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_unitary_formula -> m FOF_unitary_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_unitary_formula -> m FOF_unitary_formula

Ord FOF_unitary_formula Source # 
Show FOF_unitary_formula Source # 

Methods

showsPrec :: Int -> FOF_unitary_formula -> ShowS

show :: FOF_unitary_formula -> String

showList :: [FOF_unitary_formula] -> ShowS

GetRange FOF_unitary_formula Source # 

data FOF_quantified_formula Source #

Instances

Eq FOF_quantified_formula Source # 
Data FOF_quantified_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_quantified_formula -> c FOF_quantified_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_quantified_formula

toConstr :: FOF_quantified_formula -> Constr

dataTypeOf :: FOF_quantified_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_quantified_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_quantified_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_quantified_formula -> FOF_quantified_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_quantified_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_quantified_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_quantified_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_quantified_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_quantified_formula -> m FOF_quantified_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_quantified_formula -> m FOF_quantified_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_quantified_formula -> m FOF_quantified_formula

Ord FOF_quantified_formula Source # 
Show FOF_quantified_formula Source # 
GetRange FOF_quantified_formula Source # 

data FOF_unary_formula Source #

Instances

Eq FOF_unary_formula Source # 
Data FOF_unary_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_unary_formula -> c FOF_unary_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_unary_formula

toConstr :: FOF_unary_formula -> Constr

dataTypeOf :: FOF_unary_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_unary_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_unary_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_unary_formula -> FOF_unary_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_unary_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_unary_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_unary_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_unary_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_unary_formula -> m FOF_unary_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_unary_formula -> m FOF_unary_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_unary_formula -> m FOF_unary_formula

Ord FOF_unary_formula Source # 
Show FOF_unary_formula Source # 

Methods

showsPrec :: Int -> FOF_unary_formula -> ShowS

show :: FOF_unary_formula -> String

showList :: [FOF_unary_formula] -> ShowS

GetRange FOF_unary_formula Source # 

data FOF_infix_unary Source #

Instances

Eq FOF_infix_unary Source # 
Data FOF_infix_unary Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_infix_unary -> c FOF_infix_unary

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_infix_unary

toConstr :: FOF_infix_unary -> Constr

dataTypeOf :: FOF_infix_unary -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_infix_unary)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_infix_unary)

gmapT :: (forall b. Data b => b -> b) -> FOF_infix_unary -> FOF_infix_unary

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_infix_unary -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_infix_unary -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_infix_unary -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_infix_unary -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_infix_unary -> m FOF_infix_unary

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_infix_unary -> m FOF_infix_unary

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_infix_unary -> m FOF_infix_unary

Ord FOF_infix_unary Source # 
Show FOF_infix_unary Source # 

Methods

showsPrec :: Int -> FOF_infix_unary -> ShowS

show :: FOF_infix_unary -> String

showList :: [FOF_infix_unary] -> ShowS

GetRange FOF_infix_unary Source # 

data FOF_atomic_formula Source #

Instances

Eq FOF_atomic_formula Source # 
Data FOF_atomic_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_atomic_formula -> c FOF_atomic_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_atomic_formula

toConstr :: FOF_atomic_formula -> Constr

dataTypeOf :: FOF_atomic_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_atomic_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_atomic_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_atomic_formula -> FOF_atomic_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_atomic_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_atomic_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_atomic_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_atomic_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_atomic_formula -> m FOF_atomic_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_atomic_formula -> m FOF_atomic_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_atomic_formula -> m FOF_atomic_formula

Ord FOF_atomic_formula Source # 
Show FOF_atomic_formula Source # 

Methods

showsPrec :: Int -> FOF_atomic_formula -> ShowS

show :: FOF_atomic_formula -> String

showList :: [FOF_atomic_formula] -> ShowS

GetRange FOF_atomic_formula Source # 

data FOF_plain_atomic_formula Source #

Instances

Eq FOF_plain_atomic_formula Source # 
Data FOF_plain_atomic_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_plain_atomic_formula -> c FOF_plain_atomic_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_plain_atomic_formula

toConstr :: FOF_plain_atomic_formula -> Constr

dataTypeOf :: FOF_plain_atomic_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_plain_atomic_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_plain_atomic_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_plain_atomic_formula -> FOF_plain_atomic_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_plain_atomic_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_plain_atomic_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_plain_atomic_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_plain_atomic_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_plain_atomic_formula -> m FOF_plain_atomic_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_plain_atomic_formula -> m FOF_plain_atomic_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_plain_atomic_formula -> m FOF_plain_atomic_formula

Ord FOF_plain_atomic_formula Source # 
Show FOF_plain_atomic_formula Source # 
GetRange FOF_plain_atomic_formula Source # 

data FOF_defined_atomic_formula Source #

Instances

Eq FOF_defined_atomic_formula Source # 
Data FOF_defined_atomic_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_defined_atomic_formula -> c FOF_defined_atomic_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_defined_atomic_formula

toConstr :: FOF_defined_atomic_formula -> Constr

dataTypeOf :: FOF_defined_atomic_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_defined_atomic_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_defined_atomic_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_defined_atomic_formula -> FOF_defined_atomic_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_defined_atomic_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_defined_atomic_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_defined_atomic_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_defined_atomic_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_defined_atomic_formula -> m FOF_defined_atomic_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_defined_atomic_formula -> m FOF_defined_atomic_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_defined_atomic_formula -> m FOF_defined_atomic_formula

Ord FOF_defined_atomic_formula Source # 
Show FOF_defined_atomic_formula Source # 
GetRange FOF_defined_atomic_formula Source # 

data FOF_defined_plain_formula Source #

Instances

Eq FOF_defined_plain_formula Source # 
Data FOF_defined_plain_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_defined_plain_formula -> c FOF_defined_plain_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_defined_plain_formula

toConstr :: FOF_defined_plain_formula -> Constr

dataTypeOf :: FOF_defined_plain_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_defined_plain_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_defined_plain_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_defined_plain_formula -> FOF_defined_plain_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_defined_plain_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_defined_plain_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_defined_plain_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_defined_plain_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_defined_plain_formula -> m FOF_defined_plain_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_defined_plain_formula -> m FOF_defined_plain_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_defined_plain_formula -> m FOF_defined_plain_formula

Ord FOF_defined_plain_formula Source # 
Show FOF_defined_plain_formula Source # 
GetRange FOF_defined_plain_formula Source # 

data FOF_defined_infix_formula Source #

Instances

Eq FOF_defined_infix_formula Source # 
Data FOF_defined_infix_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_defined_infix_formula -> c FOF_defined_infix_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_defined_infix_formula

toConstr :: FOF_defined_infix_formula -> Constr

dataTypeOf :: FOF_defined_infix_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_defined_infix_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_defined_infix_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_defined_infix_formula -> FOF_defined_infix_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_defined_infix_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_defined_infix_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_defined_infix_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_defined_infix_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_defined_infix_formula -> m FOF_defined_infix_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_defined_infix_formula -> m FOF_defined_infix_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_defined_infix_formula -> m FOF_defined_infix_formula

Ord FOF_defined_infix_formula Source # 
Show FOF_defined_infix_formula Source # 
GetRange FOF_defined_infix_formula Source # 

newtype FOF_system_atomic_formula Source #

Instances

Eq FOF_system_atomic_formula Source # 
Data FOF_system_atomic_formula Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_system_atomic_formula -> c FOF_system_atomic_formula

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_system_atomic_formula

toConstr :: FOF_system_atomic_formula -> Constr

dataTypeOf :: FOF_system_atomic_formula -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_system_atomic_formula)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_system_atomic_formula)

gmapT :: (forall b. Data b => b -> b) -> FOF_system_atomic_formula -> FOF_system_atomic_formula

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_system_atomic_formula -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_system_atomic_formula -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_system_atomic_formula -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_system_atomic_formula -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_system_atomic_formula -> m FOF_system_atomic_formula

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_system_atomic_formula -> m FOF_system_atomic_formula

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_system_atomic_formula -> m FOF_system_atomic_formula

Ord FOF_system_atomic_formula Source # 
Show FOF_system_atomic_formula Source # 
GetRange FOF_system_atomic_formula Source # 

data FOF_plain_term Source #

Instances

Eq FOF_plain_term Source # 
Data FOF_plain_term Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_plain_term -> c FOF_plain_term

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_plain_term

toConstr :: FOF_plain_term -> Constr

dataTypeOf :: FOF_plain_term -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_plain_term)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_plain_term)

gmapT :: (forall b. Data b => b -> b) -> FOF_plain_term -> FOF_plain_term

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_plain_term -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_plain_term -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_plain_term -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_plain_term -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_plain_term -> m FOF_plain_term

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_plain_term -> m FOF_plain_term

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_plain_term -> m FOF_plain_term

Ord FOF_plain_term Source # 
Show FOF_plain_term Source # 

Methods

showsPrec :: Int -> FOF_plain_term -> ShowS

show :: FOF_plain_term -> String

showList :: [FOF_plain_term] -> ShowS

GetRange FOF_plain_term Source # 

data FOF_defined_term Source #

Instances

Eq FOF_defined_term Source # 
Data FOF_defined_term Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_defined_term -> c FOF_defined_term

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_defined_term

toConstr :: FOF_defined_term -> Constr

dataTypeOf :: FOF_defined_term -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_defined_term)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_defined_term)

gmapT :: (forall b. Data b => b -> b) -> FOF_defined_term -> FOF_defined_term

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_defined_term -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_defined_term -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_defined_term -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_defined_term -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_defined_term -> m FOF_defined_term

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_defined_term -> m FOF_defined_term

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_defined_term -> m FOF_defined_term

Ord FOF_defined_term Source # 
Show FOF_defined_term Source # 

Methods

showsPrec :: Int -> FOF_defined_term -> ShowS

show :: FOF_defined_term -> String

showList :: [FOF_defined_term] -> ShowS

GetRange FOF_defined_term Source # 

data FOF_defined_atomic_term Source #

Instances

Eq FOF_defined_atomic_term Source # 
Data FOF_defined_atomic_term Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FOF_defined_atomic_term -> c FOF_defined_atomic_term

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FOF_defined_atomic_term

toConstr :: FOF_defined_atomic_term -> Constr

dataTypeOf :: FOF_defined_atomic_term -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FOF_defined_atomic_term)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FOF_defined_atomic_term)

gmapT :: (forall b. Data b => b -> b) -> FOF_defined_atomic_term -> FOF_defined_atomic_term

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FOF_defined_atomic_term -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FOF_defined_atomic_term -> r

gmapQ :: (forall d. Data d => d -> u) -> FOF_defined_atomic_term -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FOF_defined_atomic_term -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FOF_defined_atomic_term -> m FOF_defined_atomic_term

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_defined_atomic_term -> m FOF_defined_atomic_term

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FOF_defined_atomic_term -> m FOF_defined_atomic_term

Ord FOF_defined_atomic_term Source #