Methods
basic_analysis :: LF -> Maybe ((BASIC_SPEC, Sign, GlobalAnnos) -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named Sentence])) Source #
sen_analysis :: LF -> Maybe ((BASIC_SPEC, Sign, Sentence) -> Result Sentence) Source #
extBasicAnalysis :: LF -> IRI -> LibName -> BASIC_SPEC -> Sign -> GlobalAnnos -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named Sentence]) Source #
stat_symb_map_items :: LF -> Sign -> Maybe Sign -> [SYMB_MAP_ITEMS] -> Result (EndoMap RAW_SYM) Source #
stat_symb_items :: LF -> Sign -> [SYMB_ITEMS] -> Result [RAW_SYM] Source #
convertTheory :: LF -> Maybe ((Sign, [Named Sentence]) -> BASIC_SPEC) Source #
ensures_amalgamability :: LF -> ([CASLAmalgOpt], Gr Sign (Int, Morphism), [(Int, Morphism)], Gr String String) -> Result Amalgamates Source #
quotient_term_algebra :: LF -> Morphism -> [Named Sentence] -> Result (Sign, [Named Sentence]) Source #
signature_colimit :: LF -> Gr Sign (Int, Morphism) -> Result (Sign, Map Int Morphism) Source #
qualify :: LF -> SIMPLE_ID -> LibName -> Morphism -> Sign -> Result (Morphism, [Named Sentence]) Source #
symbol_to_raw :: LF -> Symbol -> RAW_SYM Source #
id_to_raw :: LF -> Id -> RAW_SYM Source #
matches :: LF -> Symbol -> RAW_SYM -> Bool Source #
empty_signature :: LF -> Sign Source #
add_symb_to_sign :: LF -> Sign -> Symbol -> Result Sign Source #
signature_union :: LF -> Sign -> Sign -> Result Sign Source #
signatureDiff :: LF -> Sign -> Sign -> Result Sign Source #
intersection :: LF -> Sign -> Sign -> Result Sign Source #
final_union :: LF -> Sign -> Sign -> Result Sign Source #
morphism_union :: LF -> Morphism -> Morphism -> Result Morphism Source #
is_subsig :: LF -> Sign -> Sign -> Bool Source #
subsig_inclusion :: LF -> Sign -> Sign -> Result Morphism Source #
generated_sign :: LF -> Set Symbol -> Sign -> Result Morphism Source #
cogenerated_sign :: LF -> Set Symbol -> Sign -> Result Morphism Source #
induced_from_morphism :: LF -> EndoMap RAW_SYM -> Sign -> Result Morphism Source #
induced_from_to_morphism :: LF -> EndoMap RAW_SYM -> ExtSign Sign Symbol -> ExtSign Sign Symbol -> Result Morphism Source #
is_transportable :: LF -> Morphism -> Bool Source #
is_injective :: LF -> Morphism -> Bool Source #
theory_to_taxonomy :: LF -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Sentence] -> Result MMiSSOntology Source #
corresp2th :: LF -> String -> Bool -> Sign -> Sign -> [SYMB_ITEMS] -> [SYMB_ITEMS] -> EndoMap Symbol -> EndoMap Symbol -> REL_REF -> Result (Sign, [Named Sentence], Sign, Sign, EndoMap Symbol, EndoMap Symbol) Source #
equiv2cospan :: LF -> Sign -> Sign -> [SYMB_ITEMS] -> [SYMB_ITEMS] -> Result (Sign, Sign, Sign, EndoMap Symbol, EndoMap Symbol) Source #
extract_module :: LF -> [IRI] -> (Sign, [Named Sentence]) -> Result (Sign, [Named Sentence]) Source #