Copyright	(c) Daniel Calegari Universidad de la Republica Uruguay 2013
License	GPLv2 or higher, see LICENSE.txt
Maintainer	dcalegar@fing.edu.uy
Stability	provisional
Portability	portable
Safe Haskell	None

CSMOF.Logic_CSMOF

Contents

Orphan instances

Description

Documentation

data CSMOF Source #

Constructors

CSMOF

Instances

Instances details

Show CSMOF Source #
Instance details Defined in CSMOF.Logic_CSMOF Methods showsPrec :: Int -> CSMOF -> ShowS show :: CSMOF -> String showList :: [CSMOF] -> ShowS
Language CSMOF Source #
Instance details Defined in CSMOF.Logic_CSMOF Methods language_name :: CSMOF -> String Source # description :: CSMOF -> String Source #
Sentences CSMOF Sen Sign Morphism () Source #
Instance details Defined in CSMOF.Logic_CSMOF Methods map_sen :: CSMOF -> Morphism -> Sen -> Result Sen Source # simplify_sen :: CSMOF -> Sign -> Sen -> Sen Source # negation :: CSMOF -> Sen -> Maybe Sen Source # print_sign :: CSMOF -> Sign -> Doc Source # print_named :: CSMOF -> Named Sen -> Doc Source # sym_of :: CSMOF -> Sign -> [Set ()] Source # mostSymsOf :: CSMOF -> Sign -> [()] Source # symmap_of :: CSMOF -> Morphism -> EndoMap () Source # sym_name :: CSMOF -> () -> Id Source # sym_label :: CSMOF -> () -> Maybe String Source # fullSymName :: CSMOF -> () -> String Source # symKind :: CSMOF -> () -> String Source # symsOfSen :: CSMOF -> Sign -> Sen -> [()] Source # pair_symbols :: CSMOF -> () -> () -> Result () Source #
Syntax CSMOF Metamodel () () () Source #
Instance details Defined in CSMOF.Logic_CSMOF Methods parsersAndPrinters :: CSMOF -> Map String (PrefixMap -> AParser st Metamodel, Metamodel -> Doc) Source # parse_basic_spec :: CSMOF -> Maybe (PrefixMap -> AParser st Metamodel) Source # parseSingleSymbItem :: CSMOF -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_items :: CSMOF -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_map_items :: CSMOF -> Maybe (PrefixMap -> AParser st ()) Source # toItem :: CSMOF -> Metamodel -> Item Source # symb_items_name :: CSMOF -> () -> [String] Source #
StaticAnalysis CSMOF Metamodel Sen () () Sign Morphism () () Source #
Instance details Defined in CSMOF.Logic_CSMOF Methods basic_analysis :: CSMOF -> Maybe ((Metamodel, Sign, GlobalAnnos) -> Result (Metamodel, ExtSign Sign (), [Named Sen])) Source # sen_analysis :: CSMOF -> Maybe ((Metamodel, Sign, Sen) -> Result Sen) Source # extBasicAnalysis :: CSMOF -> IRI -> LibName -> Metamodel -> Sign -> GlobalAnnos -> Result (Metamodel, ExtSign Sign (), [Named Sen]) Source # stat_symb_map_items :: CSMOF -> Sign -> Maybe Sign -> [()] -> Result (EndoMap ()) Source # stat_symb_items :: CSMOF -> Sign -> [()] -> Result [()] Source # convertTheory :: CSMOF -> Maybe ((Sign, [Named Sen]) -> Metamodel) Source # ensures_amalgamability :: CSMOF -> ([CASLAmalgOpt], Gr Sign (Int, Morphism), [(Int, Morphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: CSMOF -> Morphism -> [Named Sen] -> Result (Sign, [Named Sen]) Source # signature_colimit :: CSMOF -> Gr Sign (Int, Morphism) -> Result (Sign, Map Int Morphism) Source # qualify :: CSMOF -> SIMPLE_ID -> LibName -> Morphism -> Sign -> Result (Morphism, [Named Sen]) Source # symbol_to_raw :: CSMOF -> () -> () Source # id_to_raw :: CSMOF -> Id -> () Source # matches :: CSMOF -> () -> () -> Bool Source # empty_signature :: CSMOF -> Sign Source # add_symb_to_sign :: CSMOF -> Sign -> () -> Result Sign Source # signature_union :: CSMOF -> Sign -> Sign -> Result Sign Source # signatureDiff :: CSMOF -> Sign -> Sign -> Result Sign Source # intersection :: CSMOF -> Sign -> Sign -> Result Sign Source # final_union :: CSMOF -> Sign -> Sign -> Result Sign Source # morphism_union :: CSMOF -> Morphism -> Morphism -> Result Morphism Source # is_subsig :: CSMOF -> Sign -> Sign -> Bool Source # subsig_inclusion :: CSMOF -> Sign -> Sign -> Result Morphism Source # generated_sign :: CSMOF -> Set () -> Sign -> Result Morphism Source # cogenerated_sign :: CSMOF -> Set () -> Sign -> Result Morphism Source # induced_from_morphism :: CSMOF -> EndoMap () -> Sign -> Result Morphism Source # induced_from_to_morphism :: CSMOF -> EndoMap () -> ExtSign Sign () -> ExtSign Sign () -> Result Morphism Source # is_transportable :: CSMOF -> Morphism -> Bool Source # is_injective :: CSMOF -> Morphism -> Bool Source # theory_to_taxonomy :: CSMOF -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Sen] -> Result MMiSSOntology Source # corresp2th :: CSMOF -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap () -> EndoMap () -> REL_REF -> Result (Sign, [Named Sen], Sign, Sign, EndoMap (), EndoMap ()) Source # equiv2cospan :: CSMOF -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap (), EndoMap ()) Source # extract_module :: CSMOF -> [IRI] -> (Sign, [Named Sen]) -> Result (Sign, [Named Sen]) Source #
Logic CSMOF () Metamodel Sen () () Sign Morphism () () () Source #
Instance details Defined in CSMOF.Logic_CSMOF Methods parse_basic_sen :: CSMOF -> Maybe (Metamodel -> AParser st Sen) Source # stability :: CSMOF -> Stability Source # data_logic :: CSMOF -> Maybe AnyLogic Source # top_sublogic :: CSMOF -> () Source # all_sublogics :: CSMOF -> [()] Source # bottomSublogic :: CSMOF -> Maybe () Source # sublogicDimensions :: CSMOF -> [[()]] Source # parseSublogic :: CSMOF -> String -> Maybe () Source # proj_sublogic_epsilon :: CSMOF -> () -> Sign -> Morphism Source # provers :: CSMOF -> [Prover Sign Sen Morphism () ()] Source # default_prover :: CSMOF -> String Source # cons_checkers :: CSMOF -> [ConsChecker Sign Sen () Morphism ()] Source # conservativityCheck :: CSMOF -> [ConservativityChecker Sign Sen Morphism] Source # empty_proof_tree :: CSMOF -> () Source # syntaxTable :: CSMOF -> Sign -> Maybe SyntaxTable Source # omdoc_metatheory :: CSMOF -> Maybe OMCD Source # export_symToOmdoc :: CSMOF -> NameMap () -> () -> String -> Result TCElement Source # export_senToOmdoc :: CSMOF -> NameMap () -> Sen -> Result TCorOMElement Source # export_theoryToOmdoc :: CSMOF -> SigMap () -> Sign -> [Named Sen] -> Result [TCElement] Source # omdocToSym :: CSMOF -> SigMapI () -> TCElement -> String -> Result () Source # omdocToSen :: CSMOF -> SigMapI () -> TCElement -> String -> Result (Maybe (Named Sen)) Source # addOMadtToTheory :: CSMOF -> SigMapI () -> (Sign, [Named Sen]) -> [[OmdADT]] -> Result (Sign, [Named Sen]) Source # addOmdocToTheory :: CSMOF -> SigMapI () -> (Sign, [Named Sen]) -> [TCElement] -> Result (Sign, [Named Sen]) Source # sublogicOfTheo :: CSMOF -> (Sign, [Sen]) -> () Source #
Comorphism CSMOF2CASL CSMOF () Metamodel Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #
Instance details Defined in Comorphisms.CSMOF2CASL Methods sourceLogic :: CSMOF2CASL -> CSMOF Source # sourceSublogic :: CSMOF2CASL -> () Source # sourceSublogicLossy :: CSMOF2CASL -> () Source # minSourceTheory :: CSMOF2CASL -> Maybe (LibName, String) Source # targetLogic :: CSMOF2CASL -> CASL Source # mapSublogic :: CSMOF2CASL -> () -> Maybe CASL_Sublogics Source # map_theory :: CSMOF2CASL -> (Sign, [Named Sen]) -> Result (CASLSign, [Named CASLFORMULA]) Source # mapMarkedTheory :: CSMOF2CASL -> (Sign, [Named Sen]) -> Result (CASLSign, [Named CASLFORMULA]) Source # map_morphism :: CSMOF2CASL -> Morphism -> Result CASLMor Source # map_sentence :: CSMOF2CASL -> Sign -> Sen -> Result CASLFORMULA Source # map_symbol :: CSMOF2CASL -> Sign -> () -> Set Symbol Source # extractModel :: CSMOF2CASL -> Sign -> ProofTree -> Result (Sign, [Named Sen]) Source # is_model_transportable :: CSMOF2CASL -> Bool Source # has_model_expansion :: CSMOF2CASL -> Bool Source # is_weakly_amalgamable :: CSMOF2CASL -> Bool Source # constituents :: CSMOF2CASL -> [String] Source # isInclusionComorphism :: CSMOF2CASL -> Bool Source # rps :: CSMOF2CASL -> Bool Source # eps :: CSMOF2CASL -> Bool Source # isGTC :: CSMOF2CASL -> Bool Source #

type Morphism = DefaultMorphism Sign Source #

Orphan instances

Semigroup Metamodel Source #
Instance details Methods (<>) :: Metamodel -> Metamodel -> Metamodel # sconcat :: NonEmpty Metamodel -> Metamodel stimes :: Integral b => b -> Metamodel -> Metamodel
Monoid Metamodel Source #
Instance details Methods mempty :: Metamodel mappend :: Metamodel -> Metamodel -> Metamodel mconcat :: [Metamodel] -> Metamodel