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

Instances details

Eq ConstraintFORMULA Source #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL Methods (==) :: ConstraintFORMULA -> ConstraintFORMULA -> Bool (/=) :: ConstraintFORMULA -> ConstraintFORMULA -> Bool
Data ConstraintFORMULA Source #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL 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 :: forall r r'. (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 #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL 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 #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL Methods showsPrec :: Int -> ConstraintFORMULA -> ShowS show :: ConstraintFORMULA -> String showList :: [ConstraintFORMULA] -> ShowS
Generic ConstraintFORMULA
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Associated Types type Rep ConstraintFORMULA :: Type -> Type Methods from :: ConstraintFORMULA -> Rep ConstraintFORMULA x to :: Rep ConstraintFORMULA x -> ConstraintFORMULA
GetRange ConstraintFORMULA Source #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL Methods getRange :: ConstraintFORMULA -> Range Source # rangeSpan :: ConstraintFORMULA -> [Pos] Source #
FromJSON ConstraintFORMULA
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods parseJSON :: Value -> Parser ConstraintFORMULA parseJSONList :: Value -> Parser [ConstraintFORMULA]
ToJSON ConstraintFORMULA
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods toJSON :: ConstraintFORMULA -> Value toEncoding :: ConstraintFORMULA -> Encoding toJSONList :: [ConstraintFORMULA] -> Value toEncodingList :: [ConstraintFORMULA] -> Encoding
ShATermConvertible ConstraintFORMULA
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods toShATermAux :: ATermTable -> ConstraintFORMULA -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ConstraintFORMULA] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstraintFORMULA) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstraintFORMULA])
Pretty ConstraintFORMULA Source #
Instance details Defined in ConstraintCASL.Print_AS Methods pretty :: ConstraintFORMULA -> Doc Source # pretties :: [ConstraintFORMULA] -> Doc Source #
FormExtension ConstraintFORMULA Source #
Instance details Defined in ConstraintCASL.StaticAna Methods isQuantifierLike :: ConstraintFORMULA -> Bool Source # prefixExt :: ConstraintFORMULA -> Doc -> Doc Source #
TermExtension ConstraintFORMULA Source #
Instance details Defined in ConstraintCASL.StaticAna Methods freeVarsOfExt :: Sign ConstraintFORMULA e -> ConstraintFORMULA -> VarSet Source # optTermSort :: ConstraintFORMULA -> Maybe SORT Source # sortOfTerm :: ConstraintFORMULA -> SORT Source # termToFormula :: TERM ConstraintFORMULA -> Result (FORMULA ConstraintFORMULA) Source #
TermParser ConstraintFORMULA Source #
Instance details Defined in ConstraintCASL.Formula Methods termParser :: Bool -> AParser st ConstraintFORMULA Source #
ProjForm () ConstraintFORMULA Source #
Instance details Defined in ConstraintCASL.Logic_ConstraintCASL Methods projForm :: CASL_SL () -> ConstraintFORMULA -> Maybe (FORMULA ConstraintFORMULA) Source #
MinSL () ConstraintFORMULA Source #
Instance details Defined in ConstraintCASL.Logic_ConstraintCASL Methods minSL :: ConstraintFORMULA -> CASL_SL () Source #
Sentences ConstraintCASL ConstraintCASLFORMULA ConstraintCASLSign ConstraintCASLMor Symbol Source #
Instance details Defined in ConstraintCASL.Logic_ConstraintCASL 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 #
Instance details Defined in ConstraintCASL.Logic_ConstraintCASL 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 (PrefixMap -> AParser st SYMB_ITEMS) Source # parse_symb_items :: ConstraintCASL -> Maybe (PrefixMap -> AParser st SYMB_ITEMS) Source # parse_symb_map_items :: ConstraintCASL -> Maybe (PrefixMap -> 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 #
Instance details Defined in ConstraintCASL.Logic_ConstraintCASL 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 #
Instance details Defined in ConstraintCASL.Logic_ConstraintCASL 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 #
type Rep ConstraintFORMULA
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL type Rep ConstraintFORMULA = D1 ('MetaData "ConstraintFORMULA" "ConstraintCASL.AS_ConstraintCASL" "main" 'False) (C1 ('MetaCons "Implication_ConstraintFormula" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ATOMCONJUNCTION) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ATOMCONJUNCTION)) :+: (C1 ('MetaCons "Equivalence_ConstraintFormula" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ATOMCONJUNCTION) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ATOMCONJUNCTION)) :+: C1 ('MetaCons "Axiom_ConstraintFormula" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ATOMCONJUNCTION))))

data RELATION Source #

Constructors

Empty_Relation
Equal_Relation
Id_Relation Id
Relation_Disjunction [RELATION]
Inverse_Relation RELATION

Instances

Instances details

Eq RELATION Source #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL Methods (==) :: RELATION -> RELATION -> Bool (/=) :: RELATION -> RELATION -> Bool
Data RELATION Source #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL 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 :: forall r r'. (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 #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL 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 #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL Methods showsPrec :: Int -> RELATION -> ShowS show :: RELATION -> String showList :: [RELATION] -> ShowS
Generic RELATION
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Associated Types type Rep RELATION :: Type -> Type Methods from :: RELATION -> Rep RELATION x to :: Rep RELATION x -> RELATION
FromJSON RELATION
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods parseJSON :: Value -> Parser RELATION parseJSONList :: Value -> Parser [RELATION]
ToJSON RELATION
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods toJSON :: RELATION -> Value toEncoding :: RELATION -> Encoding toJSONList :: [RELATION] -> Value toEncodingList :: [RELATION] -> Encoding
ShATermConvertible RELATION
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods toShATermAux :: ATermTable -> RELATION -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RELATION] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RELATION) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RELATION])
type Rep RELATION
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL type Rep RELATION = D1 ('MetaData "RELATION" "ConstraintCASL.AS_ConstraintCASL" "main" 'False) ((C1 ('MetaCons "Empty_Relation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Equal_Relation" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Id_Relation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id)) :+: (C1 ('MetaCons "Relation_Disjunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RELATION])) :+: C1 ('MetaCons "Inverse_Relation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RELATION)))))

data ATOMCONJUNCTION Source #

Constructors

Atom_Conjunction [ATOM]

Instances

Instances details

Eq ATOMCONJUNCTION Source #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL Methods (==) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool (/=) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool
Data ATOMCONJUNCTION Source #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL 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 :: forall r r'. (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 #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL 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 #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL Methods showsPrec :: Int -> ATOMCONJUNCTION -> ShowS show :: ATOMCONJUNCTION -> String showList :: [ATOMCONJUNCTION] -> ShowS
Generic ATOMCONJUNCTION
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Associated Types type Rep ATOMCONJUNCTION :: Type -> Type Methods from :: ATOMCONJUNCTION -> Rep ATOMCONJUNCTION x to :: Rep ATOMCONJUNCTION x -> ATOMCONJUNCTION
FromJSON ATOMCONJUNCTION
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods parseJSON :: Value -> Parser ATOMCONJUNCTION parseJSONList :: Value -> Parser [ATOMCONJUNCTION]
ToJSON ATOMCONJUNCTION
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods toJSON :: ATOMCONJUNCTION -> Value toEncoding :: ATOMCONJUNCTION -> Encoding toJSONList :: [ATOMCONJUNCTION] -> Value toEncodingList :: [ATOMCONJUNCTION] -> Encoding
ShATermConvertible ATOMCONJUNCTION
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods toShATermAux :: ATermTable -> ATOMCONJUNCTION -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ATOMCONJUNCTION] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ATOMCONJUNCTION) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ATOMCONJUNCTION])
type Rep ATOMCONJUNCTION
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL type Rep ATOMCONJUNCTION = D1 ('MetaData "ATOMCONJUNCTION" "ConstraintCASL.AS_ConstraintCASL" "main" 'False) (C1 ('MetaCons "Atom_Conjunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ATOM])))

data ATOM Source #

Constructors

Prefix_Atom RELATION [ConstraintTERM]
Infix_Atom ConstraintTERM RELATION ConstraintTERM

Instances

Instances details

Eq ATOM Source #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL Methods (==) :: ATOM -> ATOM -> Bool (/=) :: ATOM -> ATOM -> Bool
Data ATOM Source #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL 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 :: forall r r'. (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 #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL 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 #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL Methods showsPrec :: Int -> ATOM -> ShowS show :: ATOM -> String showList :: [ATOM] -> ShowS
Generic ATOM
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Associated Types type Rep ATOM :: Type -> Type Methods from :: ATOM -> Rep ATOM x to :: Rep ATOM x -> ATOM
FromJSON ATOM
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods parseJSON :: Value -> Parser ATOM parseJSONList :: Value -> Parser [ATOM]
ToJSON ATOM
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods toJSON :: ATOM -> Value toEncoding :: ATOM -> Encoding toJSONList :: [ATOM] -> Value toEncodingList :: [ATOM] -> Encoding
ShATermConvertible ATOM
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods toShATermAux :: ATermTable -> ATOM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ATOM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ATOM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ATOM])
type Rep ATOM
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL type Rep ATOM = D1 ('MetaData "ATOM" "ConstraintCASL.AS_ConstraintCASL" "main" 'False) (C1 ('MetaCons "Prefix_Atom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RELATION) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ConstraintTERM])) :+: C1 ('MetaCons "Infix_Atom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstraintTERM) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RELATION) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstraintTERM))))

data ConstraintTERM Source #

Constructors

Atomar_Term Id
Composite_Term Id [ConstraintTERM]

Instances

Instances details

Eq ConstraintTERM Source #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL Methods (==) :: ConstraintTERM -> ConstraintTERM -> Bool (/=) :: ConstraintTERM -> ConstraintTERM -> Bool
Data ConstraintTERM Source #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL 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 :: forall r r'. (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 #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL 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 #
Instance details Defined in ConstraintCASL.AS_ConstraintCASL Methods showsPrec :: Int -> ConstraintTERM -> ShowS show :: ConstraintTERM -> String showList :: [ConstraintTERM] -> ShowS
Generic ConstraintTERM
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Associated Types type Rep ConstraintTERM :: Type -> Type Methods from :: ConstraintTERM -> Rep ConstraintTERM x to :: Rep ConstraintTERM x -> ConstraintTERM
FromJSON ConstraintTERM
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods parseJSON :: Value -> Parser ConstraintTERM parseJSONList :: Value -> Parser [ConstraintTERM]
ToJSON ConstraintTERM
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods toJSON :: ConstraintTERM -> Value toEncoding :: ConstraintTERM -> Encoding toJSONList :: [ConstraintTERM] -> Value toEncodingList :: [ConstraintTERM] -> Encoding
ShATermConvertible ConstraintTERM
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL Methods toShATermAux :: ATermTable -> ConstraintTERM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ConstraintTERM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstraintTERM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstraintTERM])
type Rep ConstraintTERM
Instance details Defined in ConstraintCASL.ATC_ConstraintCASL type Rep ConstraintTERM = D1 ('MetaData "ConstraintTERM" "ConstraintCASL.AS_ConstraintCASL" "main" 'False) (C1 ('MetaCons "Atomar_Term" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id)) :+: C1 ('MetaCons "Composite_Term" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ConstraintTERM])))