Copyright	(c) Christian Maeder DFKI Uni Bremen 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable (imports Logic.Logic)
Safe Haskell	None

FreeCAD.Logic_FreeCAD

Description

instance of class Logic for FreeCAD

Documentation

data FreeCAD Source #

Constructors

FreeCAD

Instances

Instances details

Show FreeCAD Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods showsPrec :: Int -> FreeCAD -> ShowS show :: FreeCAD -> String showList :: [FreeCAD] -> ShowS
Language FreeCAD Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods language_name :: FreeCAD -> String Source # description :: FreeCAD -> String Source #
Sentences FreeCAD () Sign FCMorphism () Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods map_sen :: FreeCAD -> FCMorphism -> () -> Result () Source # simplify_sen :: FreeCAD -> Sign -> () -> () Source # negation :: FreeCAD -> () -> Maybe () Source # print_sign :: FreeCAD -> Sign -> Doc Source # print_named :: FreeCAD -> Named () -> Doc Source # sym_of :: FreeCAD -> Sign -> [Set ()] Source # mostSymsOf :: FreeCAD -> Sign -> [()] Source # symmap_of :: FreeCAD -> FCMorphism -> EndoMap () Source # sym_name :: FreeCAD -> () -> Id Source # sym_label :: FreeCAD -> () -> Maybe String Source # fullSymName :: FreeCAD -> () -> String Source # symKind :: FreeCAD -> () -> String Source # symsOfSen :: FreeCAD -> Sign -> () -> [()] Source # pair_symbols :: FreeCAD -> () -> () -> Result () Source #
Syntax FreeCAD Document () () () Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods parsersAndPrinters :: FreeCAD -> Map String (PrefixMap -> AParser st Document, Document -> Doc) Source # parse_basic_spec :: FreeCAD -> Maybe (PrefixMap -> AParser st Document) Source # parseSingleSymbItem :: FreeCAD -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_items :: FreeCAD -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_map_items :: FreeCAD -> Maybe (PrefixMap -> AParser st ()) Source # toItem :: FreeCAD -> Document -> Item Source # symb_items_name :: FreeCAD -> () -> [String] Source #
StaticAnalysis FreeCAD Document () () () Sign FCMorphism () () Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods basic_analysis :: FreeCAD -> Maybe ((Document, Sign, GlobalAnnos) -> Result (Document, ExtSign Sign (), [Named ()])) Source # sen_analysis :: FreeCAD -> Maybe ((Document, Sign, ()) -> Result ()) Source # extBasicAnalysis :: FreeCAD -> IRI -> LibName -> Document -> Sign -> GlobalAnnos -> Result (Document, ExtSign Sign (), [Named ()]) Source # stat_symb_map_items :: FreeCAD -> Sign -> Maybe Sign -> [()] -> Result (EndoMap ()) Source # stat_symb_items :: FreeCAD -> Sign -> [()] -> Result [()] Source # convertTheory :: FreeCAD -> Maybe ((Sign, [Named ()]) -> Document) Source # ensures_amalgamability :: FreeCAD -> ([CASLAmalgOpt], Gr Sign (Int, FCMorphism), [(Int, FCMorphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: FreeCAD -> FCMorphism -> [Named ()] -> Result (Sign, [Named ()]) Source # signature_colimit :: FreeCAD -> Gr Sign (Int, FCMorphism) -> Result (Sign, Map Int FCMorphism) Source # qualify :: FreeCAD -> SIMPLE_ID -> LibName -> FCMorphism -> Sign -> Result (FCMorphism, [Named ()]) Source # symbol_to_raw :: FreeCAD -> () -> () Source # id_to_raw :: FreeCAD -> Id -> () Source # matches :: FreeCAD -> () -> () -> Bool Source # empty_signature :: FreeCAD -> Sign Source # add_symb_to_sign :: FreeCAD -> Sign -> () -> Result Sign Source # signature_union :: FreeCAD -> Sign -> Sign -> Result Sign Source # signatureDiff :: FreeCAD -> Sign -> Sign -> Result Sign Source # intersection :: FreeCAD -> Sign -> Sign -> Result Sign Source # final_union :: FreeCAD -> Sign -> Sign -> Result Sign Source # morphism_union :: FreeCAD -> FCMorphism -> FCMorphism -> Result FCMorphism Source # is_subsig :: FreeCAD -> Sign -> Sign -> Bool Source # subsig_inclusion :: FreeCAD -> Sign -> Sign -> Result FCMorphism Source # generated_sign :: FreeCAD -> Set () -> Sign -> Result FCMorphism Source # cogenerated_sign :: FreeCAD -> Set () -> Sign -> Result FCMorphism Source # induced_from_morphism :: FreeCAD -> EndoMap () -> Sign -> Result FCMorphism Source # induced_from_to_morphism :: FreeCAD -> EndoMap () -> ExtSign Sign () -> ExtSign Sign () -> Result FCMorphism Source # is_transportable :: FreeCAD -> FCMorphism -> Bool Source # is_injective :: FreeCAD -> FCMorphism -> Bool Source # theory_to_taxonomy :: FreeCAD -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named ()] -> Result MMiSSOntology Source # corresp2th :: FreeCAD -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap () -> EndoMap () -> REL_REF -> Result (Sign, [Named ()], Sign, Sign, EndoMap (), EndoMap ()) Source # equiv2cospan :: FreeCAD -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap (), EndoMap ()) Source # extract_module :: FreeCAD -> [IRI] -> (Sign, [Named ()]) -> Result (Sign, [Named ()]) Source #
Logic FreeCAD () Document () () () Sign (DefaultMorphism Sign) () () () Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods parse_basic_sen :: FreeCAD -> Maybe (Document -> AParser st ()) Source # stability :: FreeCAD -> Stability Source # data_logic :: FreeCAD -> Maybe AnyLogic Source # top_sublogic :: FreeCAD -> () Source # all_sublogics :: FreeCAD -> [()] Source # bottomSublogic :: FreeCAD -> Maybe () Source # sublogicDimensions :: FreeCAD -> [[()]] Source # parseSublogic :: FreeCAD -> String -> Maybe () Source # proj_sublogic_epsilon :: FreeCAD -> () -> Sign -> DefaultMorphism Sign Source # provers :: FreeCAD -> [Prover Sign () (DefaultMorphism Sign) () ()] Source # default_prover :: FreeCAD -> String Source # cons_checkers :: FreeCAD -> [ConsChecker Sign () () (DefaultMorphism Sign) ()] Source # conservativityCheck :: FreeCAD -> [ConservativityChecker Sign () (DefaultMorphism Sign)] Source # empty_proof_tree :: FreeCAD -> () Source # syntaxTable :: FreeCAD -> Sign -> Maybe SyntaxTable Source # omdoc_metatheory :: FreeCAD -> Maybe OMCD Source # export_symToOmdoc :: FreeCAD -> NameMap () -> () -> String -> Result TCElement Source # export_senToOmdoc :: FreeCAD -> NameMap () -> () -> Result TCorOMElement Source # export_theoryToOmdoc :: FreeCAD -> SigMap () -> Sign -> [Named ()] -> Result [TCElement] Source # omdocToSym :: FreeCAD -> SigMapI () -> TCElement -> String -> Result () Source # omdocToSen :: FreeCAD -> SigMapI () -> TCElement -> String -> Result (Maybe (Named ())) Source # addOMadtToTheory :: FreeCAD -> SigMapI () -> (Sign, [Named ()]) -> [[OmdADT]] -> Result (Sign, [Named ()]) Source # addOmdocToTheory :: FreeCAD -> SigMapI () -> (Sign, [Named ()]) -> [TCElement] -> Result (Sign, [Named ()]) Source # sublogicOfTheo :: FreeCAD -> (Sign, [()]) -> () Source #

newtype Text Source #

Constructors

Text
Fields fromText :: String

Instances

Instances details

Eq Text Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods (==) :: Text -> Text -> Bool (/=) :: Text -> Text -> Bool
Ord Text Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods compare :: Text -> Text -> Ordering (<) :: Text -> Text -> Bool (<=) :: Text -> Text -> Bool (>) :: Text -> Text -> Bool (>=) :: Text -> Text -> Bool max :: Text -> Text -> Text min :: Text -> Text -> Text
Show Text Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods showsPrec :: Int -> Text -> ShowS show :: Text -> String showList :: [Text] -> ShowS
GetRange Text Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods getRange :: Text -> Range Source # rangeSpan :: Text -> [Pos] Source #
ShATermConvertible Text Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods toShATermAux :: ATermTable -> Text -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Text] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Text) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Text])
Pretty Text Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods pretty :: Text -> Doc Source # pretties :: [Text] -> Doc Source #

type FCMorphism = DefaultMorphism Sign Source #

readFreeCADLib :: FilePath -> LibName -> IO LIB_DEFN Source #

basicFCAnalysis :: (Document, Sign, GlobalAnnos) -> Result (Document, ExtSign Sign (), [Named ()]) Source #

bsToSign :: Document -> Sign Source #