Copyright	(c) Florian Mossakowski Uni Bremen 2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	till@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

ConstraintCASL.AS_ConstraintCASL

Description

Abstract syntax for ConstraintCASL Only the formula syntax is specified

Documentation

type ConstraintCASLBasicSpec = BASIC_SPEC () () ConstraintFORMULA Source #

type ConstraintCASLFORMULA = FORMULA ConstraintFORMULA Source #

data ConstraintFORMULA Source #

Constructors

Implication_ConstraintFormula ATOMCONJUNCTION ATOMCONJUNCTION
Equivalence_ConstraintFormula ATOMCONJUNCTION ATOMCONJUNCTION
Axiom_ConstraintFormula ATOMCONJUNCTION

Instances

Eq ConstraintFORMULA Source #
Methods (==) :: ConstraintFORMULA -> ConstraintFORMULA -> Bool (/=) :: ConstraintFORMULA -> ConstraintFORMULA -> Bool
Data ConstraintFORMULA Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ConstraintFORMULA -> c ConstraintFORMULA gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ConstraintFORMULA toConstr :: ConstraintFORMULA -> Constr dataTypeOf :: ConstraintFORMULA -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ConstraintFORMULA) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ConstraintFORMULA) gmapT :: (forall b. Data b => b -> b) -> ConstraintFORMULA -> ConstraintFORMULA gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ConstraintFORMULA -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ConstraintFORMULA -> r gmapQ :: (forall d. Data d => d -> u) -> ConstraintFORMULA -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ConstraintFORMULA -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ConstraintFORMULA -> m ConstraintFORMULA gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstraintFORMULA -> m ConstraintFORMULA gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstraintFORMULA -> m ConstraintFORMULA
Ord ConstraintFORMULA Source #
Methods compare :: ConstraintFORMULA -> ConstraintFORMULA -> Ordering (<) :: ConstraintFORMULA -> ConstraintFORMULA -> Bool (<=) :: ConstraintFORMULA -> ConstraintFORMULA -> Bool (>) :: ConstraintFORMULA -> ConstraintFORMULA -> Bool (>=) :: ConstraintFORMULA -> ConstraintFORMULA -> Bool max :: ConstraintFORMULA -> ConstraintFORMULA -> ConstraintFORMULA min :: ConstraintFORMULA -> ConstraintFORMULA -> ConstraintFORMULA
Show ConstraintFORMULA Source #
Methods showsPrec :: Int -> ConstraintFORMULA -> ShowS show :: ConstraintFORMULA -> String showList :: [ConstraintFORMULA] -> ShowS
GetRange ConstraintFORMULA Source #
Methods getRange :: ConstraintFORMULA -> Range Source # rangeSpan :: ConstraintFORMULA -> [Pos] Source #
Sentences ConstraintCASL ConstraintCASLFORMULA ConstraintCASLSign ConstraintCASLMor Symbol Source #
Methods map_sen :: ConstraintCASL -> ConstraintCASLMor -> ConstraintCASLFORMULA -> Result ConstraintCASLFORMULA Source # simplify_sen :: ConstraintCASL -> ConstraintCASLSign -> ConstraintCASLFORMULA -> ConstraintCASLFORMULA Source # negation :: ConstraintCASL -> ConstraintCASLFORMULA -> Maybe ConstraintCASLFORMULA Source # print_sign :: ConstraintCASL -> ConstraintCASLSign -> Doc Source # print_named :: ConstraintCASL -> Named ConstraintCASLFORMULA -> Doc Source # sym_of :: ConstraintCASL -> ConstraintCASLSign -> [Set Symbol] Source # mostSymsOf :: ConstraintCASL -> ConstraintCASLSign -> [Symbol] Source # symmap_of :: ConstraintCASL -> ConstraintCASLMor -> EndoMap Symbol Source # sym_name :: ConstraintCASL -> Symbol -> Id Source # sym_label :: ConstraintCASL -> Symbol -> Maybe String Source # fullSymName :: ConstraintCASL -> Symbol -> String Source # symKind :: ConstraintCASL -> Symbol -> String Source # symsOfSen :: ConstraintCASL -> ConstraintCASLSign -> ConstraintCASLFORMULA -> [Symbol] Source # pair_symbols :: ConstraintCASL -> Symbol -> Symbol -> Result Symbol Source #
Syntax ConstraintCASL ConstraintCASLBasicSpec Symbol SYMB_ITEMS SYMB_MAP_ITEMS Source #
Methods parsersAndPrinters :: ConstraintCASL -> Map String (PrefixMap -> AParser st ConstraintCASLBasicSpec, ConstraintCASLBasicSpec -> Doc) Source # parse_basic_spec :: ConstraintCASL -> Maybe (PrefixMap -> AParser st ConstraintCASLBasicSpec) Source # parseSingleSymbItem :: ConstraintCASL -> Maybe (AParser st SYMB_ITEMS) Source # parse_symb_items :: ConstraintCASL -> Maybe (AParser st SYMB_ITEMS) Source # parse_symb_map_items :: ConstraintCASL -> Maybe (AParser st SYMB_MAP_ITEMS) Source # toItem :: ConstraintCASL -> ConstraintCASLBasicSpec -> Item Source # symb_items_name :: ConstraintCASL -> SYMB_ITEMS -> [String] Source #
StaticAnalysis ConstraintCASL ConstraintCASLBasicSpec ConstraintCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ConstraintCASLSign ConstraintCASLMor Symbol RawSymbol Source #
Methods basic_analysis :: ConstraintCASL -> Maybe ((ConstraintCASLBasicSpec, ConstraintCASLSign, GlobalAnnos) -> Result (ConstraintCASLBasicSpec, ExtSign ConstraintCASLSign Symbol, [Named ConstraintCASLFORMULA])) Source # sen_analysis :: ConstraintCASL -> Maybe ((ConstraintCASLBasicSpec, ConstraintCASLSign, ConstraintCASLFORMULA) -> Result ConstraintCASLFORMULA) Source # extBasicAnalysis :: ConstraintCASL -> IRI -> LibName -> ConstraintCASLBasicSpec -> ConstraintCASLSign -> GlobalAnnos -> Result (ConstraintCASLBasicSpec, ExtSign ConstraintCASLSign Symbol, [Named ConstraintCASLFORMULA]) Source # stat_symb_map_items :: ConstraintCASL -> ConstraintCASLSign -> Maybe ConstraintCASLSign -> [SYMB_MAP_ITEMS] -> Result (EndoMap RawSymbol) Source # stat_symb_items :: ConstraintCASL -> ConstraintCASLSign -> [SYMB_ITEMS] -> Result [RawSymbol] Source # convertTheory :: ConstraintCASL -> Maybe ((ConstraintCASLSign, [Named ConstraintCASLFORMULA]) -> ConstraintCASLBasicSpec) Source # ensures_amalgamability :: ConstraintCASL -> ([CASLAmalgOpt], Gr ConstraintCASLSign (Int, ConstraintCASLMor), [(Int, ConstraintCASLMor)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: ConstraintCASL -> ConstraintCASLMor -> [Named ConstraintCASLFORMULA] -> Result (ConstraintCASLSign, [Named ConstraintCASLFORMULA]) Source # signature_colimit :: ConstraintCASL -> Gr ConstraintCASLSign (Int, ConstraintCASLMor) -> Result (ConstraintCASLSign, Map Int ConstraintCASLMor) Source # qualify :: ConstraintCASL -> SIMPLE_ID -> LibName -> ConstraintCASLMor -> ConstraintCASLSign -> Result (ConstraintCASLMor, [Named ConstraintCASLFORMULA]) Source # symbol_to_raw :: ConstraintCASL -> Symbol -> RawSymbol Source # id_to_raw :: ConstraintCASL -> Id -> RawSymbol Source # matches :: ConstraintCASL -> Symbol -> RawSymbol -> Bool Source # empty_signature :: ConstraintCASL -> ConstraintCASLSign Source # add_symb_to_sign :: ConstraintCASL -> ConstraintCASLSign -> Symbol -> Result ConstraintCASLSign Source # signature_union :: ConstraintCASL -> ConstraintCASLSign -> ConstraintCASLSign -> Result ConstraintCASLSign Source # signatureDiff :: ConstraintCASL -> ConstraintCASLSign -> ConstraintCASLSign -> Result ConstraintCASLSign Source # intersection :: ConstraintCASL -> ConstraintCASLSign -> ConstraintCASLSign -> Result ConstraintCASLSign Source # final_union :: ConstraintCASL -> ConstraintCASLSign -> ConstraintCASLSign -> Result ConstraintCASLSign Source # morphism_union :: ConstraintCASL -> ConstraintCASLMor -> ConstraintCASLMor -> Result ConstraintCASLMor Source # is_subsig :: ConstraintCASL -> ConstraintCASLSign -> ConstraintCASLSign -> Bool Source # subsig_inclusion :: ConstraintCASL -> ConstraintCASLSign -> ConstraintCASLSign -> Result ConstraintCASLMor Source # generated_sign :: ConstraintCASL -> Set Symbol -> ConstraintCASLSign -> Result ConstraintCASLMor Source # cogenerated_sign :: ConstraintCASL -> Set Symbol -> ConstraintCASLSign -> Result ConstraintCASLMor Source # induced_from_morphism :: ConstraintCASL -> EndoMap RawSymbol -> ConstraintCASLSign -> Result ConstraintCASLMor Source # induced_from_to_morphism :: ConstraintCASL -> EndoMap RawSymbol -> ExtSign ConstraintCASLSign Symbol -> ExtSign ConstraintCASLSign Symbol -> Result ConstraintCASLMor Source # is_transportable :: ConstraintCASL -> ConstraintCASLMor -> Bool Source # is_injective :: ConstraintCASL -> ConstraintCASLMor -> Bool Source # theory_to_taxonomy :: ConstraintCASL -> TaxoGraphKind -> MMiSSOntology -> ConstraintCASLSign -> [Named ConstraintCASLFORMULA] -> Result MMiSSOntology Source # corresp2th :: ConstraintCASL -> String -> Bool -> ConstraintCASLSign -> ConstraintCASLSign -> [SYMB_ITEMS] -> [SYMB_ITEMS] -> EndoMap Symbol -> EndoMap Symbol -> REL_REF -> Result (ConstraintCASLSign, [Named ConstraintCASLFORMULA], ConstraintCASLSign, ConstraintCASLSign, EndoMap Symbol, EndoMap Symbol) Source # equiv2cospan :: ConstraintCASL -> ConstraintCASLSign -> ConstraintCASLSign -> [SYMB_ITEMS] -> [SYMB_ITEMS] -> Result (ConstraintCASLSign, ConstraintCASLSign, ConstraintCASLSign, EndoMap Symbol, EndoMap Symbol) Source # extract_module :: ConstraintCASL -> [IRI] -> (ConstraintCASLSign, [Named ConstraintCASLFORMULA]) -> Result (ConstraintCASLSign, [Named ConstraintCASLFORMULA]) Source #
Logic ConstraintCASL CASL_Sublogics ConstraintCASLBasicSpec ConstraintCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ConstraintCASLSign ConstraintCASLMor Symbol RawSymbol () Source #
Methods parse_basic_sen :: ConstraintCASL -> Maybe (ConstraintCASLBasicSpec -> AParser st ConstraintCASLFORMULA) Source # stability :: ConstraintCASL -> Stability Source # data_logic :: ConstraintCASL -> Maybe AnyLogic Source # top_sublogic :: ConstraintCASL -> CASL_Sublogics Source # all_sublogics :: ConstraintCASL -> [CASL_Sublogics] Source # bottomSublogic :: ConstraintCASL -> Maybe CASL_Sublogics Source # sublogicDimensions :: ConstraintCASL -> [[CASL_Sublogics]] Source # parseSublogic :: ConstraintCASL -> String -> Maybe CASL_Sublogics Source # proj_sublogic_epsilon :: ConstraintCASL -> CASL_Sublogics -> ConstraintCASLSign -> ConstraintCASLMor Source # provers :: ConstraintCASL -> [Prover ConstraintCASLSign ConstraintCASLFORMULA ConstraintCASLMor CASL_Sublogics ()] Source # default_prover :: ConstraintCASL -> String Source # cons_checkers :: ConstraintCASL -> [ConsChecker ConstraintCASLSign ConstraintCASLFORMULA CASL_Sublogics ConstraintCASLMor ()] Source # conservativityCheck :: ConstraintCASL -> [ConservativityChecker ConstraintCASLSign ConstraintCASLFORMULA ConstraintCASLMor] Source # empty_proof_tree :: ConstraintCASL -> () Source # syntaxTable :: ConstraintCASL -> ConstraintCASLSign -> Maybe SyntaxTable Source # omdoc_metatheory :: ConstraintCASL -> Maybe OMCD Source # export_symToOmdoc :: ConstraintCASL -> NameMap Symbol -> Symbol -> String -> Result TCElement Source # export_senToOmdoc :: ConstraintCASL -> NameMap Symbol -> ConstraintCASLFORMULA -> Result TCorOMElement Source # export_theoryToOmdoc :: ConstraintCASL -> SigMap Symbol -> ConstraintCASLSign -> [Named ConstraintCASLFORMULA] -> Result [TCElement] Source # omdocToSym :: ConstraintCASL -> SigMapI Symbol -> TCElement -> String -> Result Symbol Source # omdocToSen :: ConstraintCASL -> SigMapI Symbol -> TCElement -> String -> Result (Maybe (Named ConstraintCASLFORMULA)) Source # addOMadtToTheory :: ConstraintCASL -> SigMapI Symbol -> (ConstraintCASLSign, [Named ConstraintCASLFORMULA]) -> [[OmdADT]] -> Result (ConstraintCASLSign, [Named ConstraintCASLFORMULA]) Source # addOmdocToTheory :: ConstraintCASL -> SigMapI Symbol -> (ConstraintCASLSign, [Named ConstraintCASLFORMULA]) -> [TCElement] -> Result (ConstraintCASLSign, [Named ConstraintCASLFORMULA]) Source # sublogicOfTheo :: ConstraintCASL -> (ConstraintCASLSign, [ConstraintCASLFORMULA]) -> CASL_Sublogics Source #

data RELATION Source #

Constructors

Empty_Relation
Equal_Relation
Id_Relation Id
Relation_Disjunction [RELATION]
Inverse_Relation RELATION

Instances

Eq RELATION Source #
Methods (==) :: RELATION -> RELATION -> Bool (/=) :: RELATION -> RELATION -> Bool
Data RELATION Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RELATION -> c RELATION gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RELATION toConstr :: RELATION -> Constr dataTypeOf :: RELATION -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c RELATION) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RELATION) gmapT :: (forall b. Data b => b -> b) -> RELATION -> RELATION gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RELATION -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RELATION -> r gmapQ :: (forall d. Data d => d -> u) -> RELATION -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RELATION -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RELATION -> m RELATION gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RELATION -> m RELATION gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RELATION -> m RELATION
Ord RELATION Source #
Methods compare :: RELATION -> RELATION -> Ordering (<) :: RELATION -> RELATION -> Bool (<=) :: RELATION -> RELATION -> Bool (>) :: RELATION -> RELATION -> Bool (>=) :: RELATION -> RELATION -> Bool max :: RELATION -> RELATION -> RELATION min :: RELATION -> RELATION -> RELATION
Show RELATION Source #
Methods showsPrec :: Int -> RELATION -> ShowS show :: RELATION -> String showList :: [RELATION] -> ShowS

data ATOMCONJUNCTION Source #

Constructors

Atom_Conjunction [ATOM]

Instances

Eq ATOMCONJUNCTION Source #
Methods (==) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool (/=) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool
Data ATOMCONJUNCTION Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ATOMCONJUNCTION -> c ATOMCONJUNCTION gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ATOMCONJUNCTION toConstr :: ATOMCONJUNCTION -> Constr dataTypeOf :: ATOMCONJUNCTION -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ATOMCONJUNCTION) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ATOMCONJUNCTION) gmapT :: (forall b. Data b => b -> b) -> ATOMCONJUNCTION -> ATOMCONJUNCTION gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ATOMCONJUNCTION -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ATOMCONJUNCTION -> r gmapQ :: (forall d. Data d => d -> u) -> ATOMCONJUNCTION -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ATOMCONJUNCTION -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ATOMCONJUNCTION -> m ATOMCONJUNCTION gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ATOMCONJUNCTION -> m ATOMCONJUNCTION gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ATOMCONJUNCTION -> m ATOMCONJUNCTION
Ord ATOMCONJUNCTION Source #
Methods compare :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Ordering (<) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool (<=) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool (>) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool (>=) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool max :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> ATOMCONJUNCTION min :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> ATOMCONJUNCTION
Show ATOMCONJUNCTION Source #
Methods showsPrec :: Int -> ATOMCONJUNCTION -> ShowS show :: ATOMCONJUNCTION -> String showList :: [ATOMCONJUNCTION] -> ShowS

data ATOM Source #

Constructors

Prefix_Atom RELATION [ConstraintTERM]
Infix_Atom ConstraintTERM RELATION ConstraintTERM

Instances

Eq ATOM Source #
Methods (==) :: ATOM -> ATOM -> Bool (/=) :: ATOM -> ATOM -> Bool
Data ATOM Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ATOM -> c ATOM gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ATOM toConstr :: ATOM -> Constr dataTypeOf :: ATOM -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ATOM) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ATOM) gmapT :: (forall b. Data b => b -> b) -> ATOM -> ATOM gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ATOM -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ATOM -> r gmapQ :: (forall d. Data d => d -> u) -> ATOM -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ATOM -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ATOM -> m ATOM gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ATOM -> m ATOM gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ATOM -> m ATOM
Ord ATOM Source #
Methods compare :: ATOM -> ATOM -> Ordering (<) :: ATOM -> ATOM -> Bool (<=) :: ATOM -> ATOM -> Bool (>) :: ATOM -> ATOM -> Bool (>=) :: ATOM -> ATOM -> Bool max :: ATOM -> ATOM -> ATOM min :: ATOM -> ATOM -> ATOM
Show ATOM Source #
Methods showsPrec :: Int -> ATOM -> ShowS show :: ATOM -> String showList :: [ATOM] -> ShowS

data ConstraintTERM Source #

Constructors

Atomar_Term Id
Composite_Term Id [ConstraintTERM]

Instances

Eq ConstraintTERM Source #
Methods (==) :: ConstraintTERM -> ConstraintTERM -> Bool (/=) :: ConstraintTERM -> ConstraintTERM -> Bool
Data ConstraintTERM Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ConstraintTERM -> c ConstraintTERM gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ConstraintTERM toConstr :: ConstraintTERM -> Constr dataTypeOf :: ConstraintTERM -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ConstraintTERM) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ConstraintTERM) gmapT :: (forall b. Data b => b -> b) -> ConstraintTERM -> ConstraintTERM gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ConstraintTERM -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ConstraintTERM -> r gmapQ :: (forall d. Data d => d -> u) -> ConstraintTERM -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ConstraintTERM -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ConstraintTERM -> m ConstraintTERM gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstraintTERM -> m ConstraintTERM gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstraintTERM -> m ConstraintTERM
Ord ConstraintTERM Source #
Methods compare :: ConstraintTERM -> ConstraintTERM -> Ordering (<) :: ConstraintTERM -> ConstraintTERM -> Bool (<=) :: ConstraintTERM -> ConstraintTERM -> Bool (>) :: ConstraintTERM -> ConstraintTERM -> Bool (>=) :: ConstraintTERM -> ConstraintTERM -> Bool max :: ConstraintTERM -> ConstraintTERM -> ConstraintTERM min :: ConstraintTERM -> ConstraintTERM -> ConstraintTERM
Show ConstraintTERM Source #
Methods showsPrec :: Int -> ConstraintTERM -> ShowS show :: ConstraintTERM -> String showList :: [ConstraintTERM] -> ShowS