Copyright	(c) Hendrik Iben Uni Bremen 2005-2007
License	GPLv2 or higher, see LICENSE.txt
Maintainer	hiben@informatik.uni-bremen.de
Stability	provisional
Portability	non-portable
Safe Haskell	Safe

OMDoc.OMDocInterface

Description

Model of a handpicked subset from OMDoc

Synopsis

Documentation

omdocDefaultNamespace :: String Source #

type OMDocRef = IRI Source #

OMDocRef is anyIRI

type OMDocRefs = [OMDocRef] Source #

OMDocRefs modelled as a list

showIRI :: IRI -> String Source #

mkOMDocRef :: String -> Maybe OMDocRef Source #

mkSymbolRef :: XmlId -> OMDocRef Source #

mkExtSymbolRef :: XmlId -> XmlId -> OMDocRef Source #

type XmlId = String Source #

used for ids

type XmlString = String Source #

used for names, pcdata

data OMDoc Source #

OMDoc

Constructors

OMDoc
Fields omdocId :: XmlId omdocTheories :: [Theory] omdocInclusions :: [Inclusion]

Instances

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

addTheories :: OMDoc -> [Theory] -> OMDoc Source #

addInclusions :: OMDoc -> [Inclusion] -> OMDoc Source #

data Theory Source #

Constructors

Theory
Fields theoryId :: XmlId theoryConstitutives :: [Constitutive] theoryPresentations :: [Presentation] theoryComment :: Maybe String

Instances

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

showTheory :: Theory -> String Source #

data ImportsType Source #

Type (scope) of import

Constructors

ITLocal
ITGlobal

Instances

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

data Imports Source #

Imports (for Theory)

Constructors

Imports
Fields importsFrom :: OMDocRef importsMorphism :: Maybe Morphism importsId :: Maybe XmlId importsType :: ImportsType importsConservativity :: Conservativity

Instances

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

data Presentation Source #

Presentation

Constructors

Presentation
Fields presentationForId :: XmlId presentationSystem :: Maybe XmlString presentationUses :: [Use]

Instances

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

mkPresentationS :: XmlId -> XmlString -> [Use] -> Presentation Source #

mkPresentation :: XmlId -> [Use] -> Presentation Source #

addUse :: Presentation -> Use -> Presentation Source #

data Use Source #

Use for Presentation

Constructors

Use
Fields useFormat :: XmlString useValue :: String

Instances

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

mkUse :: XmlString -> String -> Use Source #

data SymbolRole Source #

SymbolRole for Symbol

Constructors

SRType
SRSort
SRObject
SRBinder
SRAttribution
SRSemanticAttribution
SRError

Instances

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

data Symbol Source #

Symbol

Constructors

Symbol
Fields symbolGeneratedFrom :: Maybe XmlId symbolId :: XmlId symbolRole :: SymbolRole symbolType :: Maybe Type

Instances

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

mkSymbolE :: Maybe XmlId -> XmlId -> SymbolRole -> Maybe Type -> Symbol Source #

mkSymbol :: XmlId -> SymbolRole -> Symbol Source #

data Type Source #

Type

Constructors

Type
Fields typeSystem :: Maybe IRI typeOMDocMathObject :: OMDocMathObject

Instances

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

mkType :: Maybe OMDocRef -> OMDocMathObject -> Type Source #

data Constitutive Source #

OMDoc Theory constitutive elements + convenience additions (ADT)

Constructors

CAx Axiom
CDe Definition
CSy Symbol
CIm Imports
CAd ADT
CCo
Fields conComCmt :: String conComCon :: Constitutive

Instances

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

mkCAx :: Axiom -> Constitutive Source #

mkCDe :: Definition -> Constitutive Source #

mkCSy :: Symbol -> Constitutive Source #

mkCIm :: Imports -> Constitutive Source #

mkCAd :: ADT -> Constitutive Source #

mkCCo :: String -> Constitutive -> Constitutive Source #

isAxiom :: Constitutive -> Bool Source #

isDefinition :: Constitutive -> Bool Source #

isSymbol :: Constitutive -> Bool Source #

isImports :: Constitutive -> Bool Source #

isADT :: Constitutive -> Bool Source #

isCommented :: Constitutive -> Bool Source #

getIdsForPresentation :: Constitutive -> [XmlId] Source #

data Axiom Source #

Axiom

Constructors

Axiom
Fields axiomName :: XmlId axiomCMPs :: [CMP] axiomFMPs :: [FMP]

Instances

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

mkAxiom :: XmlId -> [CMP] -> [FMP] -> Axiom Source #

data CMP Source #

CMP

Constructors

CMP
Fields cmpContent :: MText

Instances

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

mkCMP :: MText -> CMP Source #

data FMP Source #

FMP

Constructors

FMP
Fields fmpLogic :: Maybe XmlString fmpContent :: Either OMObject ([Assumption], [Conclusion])

Instances

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

data Assumption Source #

Assumption (incomplete)

Constructors

Assumption

Instances

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

data Conclusion Source #

Constructors

Conclusion

Instances

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

data Definition Source #

Definition (incomplete)

Constructors

Definition
Fields definitionId :: XmlId definitionCMPs :: [CMP] definitionFMPs :: [FMP]

Instances

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

mkDefinition :: XmlId -> [CMP] -> [FMP] -> Definition Source #

data ADT Source #

ADT

Constructors

ADT
Fields adtId :: Maybe XmlId adtSortDefs :: [SortDef]

Instances

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

data SortType Source #

Constructors

STFree
STGenerated
STLoose

Instances

Data SortType Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SortType -> c SortType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SortType toConstr :: SortType -> Constr dataTypeOf :: SortType -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SortType) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SortType) gmapT :: (forall b. Data b => b -> b) -> SortType -> SortType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SortType -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SortType -> r gmapQ :: (forall d. Data d => d -> u) -> SortType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SortType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SortType -> m SortType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SortType -> m SortType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SortType -> m SortType
Read SortType Source #
Methods readsPrec :: Int -> ReadS SortType readList :: ReadS [SortType] readPrec :: ReadPrec SortType readListPrec :: ReadPrec [SortType]
Show SortType Source #
Methods showsPrec :: Int -> SortType -> ShowS show :: SortType -> String showList :: [SortType] -> ShowS

mkADT :: [SortDef] -> ADT Source #

mkADTEx :: Maybe XmlId -> [SortDef] -> ADT Source #

data SortDef Source #

SortDef

Constructors

SortDef
Fields sortDefName :: XmlId sortDefRole :: SymbolRole sortDefType :: SortType sortDefConstructors :: [Constructor] sortDefInsorts :: [Insort] sortDefRecognizers :: [Recognizer]

Instances

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

mkSortDefE :: XmlId -> SymbolRole -> SortType -> [Constructor] -> [Insort] -> [Recognizer] -> SortDef Source #

mkSortDef :: XmlId -> [Constructor] -> [Insort] -> [Recognizer] -> SortDef Source #

data Constructor Source #

Constructor

Constructors

Constructor
Fields constructorName :: XmlId constructorRole :: SymbolRole constructorArguments :: [Type]

Instances

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

mkConstructorE :: XmlId -> SymbolRole -> [Type] -> Constructor Source #

mkConstructor :: XmlId -> [Type] -> Constructor Source #

data Insort Source #

Insort

Constructors

Insort
Fields insortFor :: OMDocRef

Instances

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

mkInsort :: OMDocRef -> Insort Source #

data Recognizer Source #

Recognizer

Constructors

Recognizer
Fields recognizerName :: XmlId

Instances

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

mkRecognizer :: XmlId -> Recognizer Source #

data Conservativity Source #

Inclusion-Conservativity

Constructors

CNone
CMonomorphism
CDefinitional
CConservative

Instances

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

data Inclusion Source #

Inclusions

Constructors

TheoryInclusion
Fields inclusionFrom :: OMDocRef inclusionTo :: OMDocRef inclusionMorphism :: Maybe Morphism inclusionId :: Maybe XmlId inclusionConservativity :: Conservativity
AxiomInclusion
Fields inclusionFrom :: OMDocRef inclusionTo :: OMDocRef inclusionMorphism :: Maybe Morphism inclusionId :: Maybe XmlId inclusionConservativity :: Conservativity

Instances

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

data Morphism Source #

OMDoc Morphism

Constructors

Morphism
Fields morphismId :: Maybe XmlId morphismHiding :: [XmlId] morphismBase :: [XmlId] morphismRequations :: [(MText, MText)]

Instances

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

data MText Source #

Constructors

MTextText String
MTextTerm String
MTextPhrase String
MTextOM OMObject

Instances

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

data OMDocMathObject Source #

Constructors

OMOMOBJ OMObject
OMLegacy String
OMMath String

Instances

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

data OMObject Source #

OMOBJ

Constructors

OMObject OMElement

Instances

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

mkOMOBJ :: OMElementClass e => e -> OMObject Source #

data OMSymbol Source #

OMS

Constructors

OMS
Fields omsCDBase :: Maybe OMDocRef omsCD :: XmlId omsName :: XmlId

Instances

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

mkOMS :: Maybe OMDocRef -> XmlId -> XmlId -> OMSymbol Source #

mkOMSE :: Maybe OMDocRef -> XmlId -> XmlId -> OMElement Source #

data OMInteger Source #

OMI

Constructors

OMI
Fields omiInt :: Int

Instances

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

mkOMI :: Int -> OMInteger Source #

mkOMIE :: Int -> OMElement Source #

data OMVariable Source #

A Variable can be a OMV or an OMATTR

Constructors

OMVS OMSimpleVariable
OMVA OMAttribution

Instances

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

class OMVariableClass a where Source #

Class to use something as a Variable

Minimal complete definition

toVariable, fromVariable

Methods

toVariable :: a -> OMVariable Source #

fromVariable :: OMVariable -> Maybe a Source #

Instances

OMVariableClass OMAttribution Source #
Methods toVariable :: OMAttribution -> OMVariable Source # fromVariable :: OMVariable -> Maybe OMAttribution Source #
OMVariableClass OMSimpleVariable Source #
Methods toVariable :: OMSimpleVariable -> OMVariable Source # fromVariable :: OMVariable -> Maybe OMSimpleVariable Source #
OMVariableClass OMVariable Source #
Methods toVariable :: OMVariable -> OMVariable Source # fromVariable :: OMVariable -> Maybe OMVariable Source #

mkOMVar :: Either OMSimpleVariable OMAttribution -> OMVariable Source #

mkOMVarE :: Either OMSimpleVariable OMAttribution -> OMElement Source #

data OMSimpleVariable Source #

OMV

Constructors

OMV
Fields omvName :: XmlString

Instances

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

mkOMSimpleVar :: XmlString -> OMSimpleVariable Source #

mkOMSimpleVarE :: XmlString -> OMElement Source #

mkOMVSVar :: XmlString -> OMVariable Source #

mkOMVSVarE :: XmlString -> OMElement Source #

data OMAttribution Source #

OMATTR

Constructors

OMATTR
Fields omattrATP :: OMAttributionPart omattrElem :: OMElement

Instances

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

mkOMATTR :: OMElementClass e => OMAttributionPart -> e -> OMAttribution Source #

mkOMATTRE :: OMElementClass e => OMAttributionPart -> e -> OMElement Source #

data OMAttributionPart Source #

OMATP

Constructors

OMATP
Fields omatpAttribs :: [(OMSymbol, OMElement)]

Instances

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

mkOMATP :: OMElementClass e => [(OMSymbol, e)] -> OMAttributionPart Source #

data OMBindingVariables Source #

OMBVAR

Constructors

OMBVAR
Fields ombvarVars :: [OMVariable]

Instances

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

mkOMBVAR :: OMVariableClass e => [e] -> OMBindingVariables Source #

data OMBase64 Source #

OMB is actually just a bytearray for storing data. [Char] representation is forced by export from Codec.Base64

Constructors

OMB
Fields ombContent :: [Word8]

Instances

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

mkOMB :: [Word8] -> OMBase64 Source #

mkOMBE :: [Word8] -> OMElement Source #

mkOMBWords :: [Word8] -> OMBase64 Source #

mkOMBWordsE :: [Word8] -> OMElement Source #

getOMBWords :: OMBase64 -> [Word8] Source #

data OMString Source #

OMSTR

Constructors

OMSTR
Fields omstrText :: String

Instances

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

mkOMSTR :: String -> OMString Source #

mkOMSTRE :: String -> OMElement Source #

data OMFloat Source #

OMF

Constructors

OMF
Fields omfFloat :: Float

Instances

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

mkOMF :: Float -> OMFloat Source #

mkOMFE :: Float -> OMElement Source #

data OMApply Source #

OMA

Constructors

OMA
Fields omaElements :: [OMElement]

Instances

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

mkOMA :: OMElementClass e => [e] -> OMApply Source #

mkOMAE :: OMElementClass e => [e] -> OMElement Source #

data OMError Source #

OME

Constructors

OME
Fields omeSymbol :: OMSymbol omeExtra :: [OMElement]

Instances

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

mkOME :: OMElementClass e => OMSymbol -> [e] -> OMError Source #

mkOMEE :: OMElementClass e => OMSymbol -> [e] -> OMElement Source #

data OMReference Source #

OMR

Constructors

OMR
Fields omrHRef :: IRI

Instances

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

mkOMR :: IRI -> OMReference Source #

mkOMRE :: IRI -> OMElement Source #

data OMBind Source #

OMB

Constructors

OMBIND
Fields ombindBinder :: OMElement ombindVariables :: OMBindingVariables ombindExpression :: OMElement

Instances

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

mkOMBIND :: (OMElementClass e1, OMElementClass e2) => e1 -> OMBindingVariables -> e2 -> OMBind Source #

mkOMBINDE :: (OMElementClass e1, OMElementClass e2) => e1 -> OMBindingVariables -> e2 -> OMElement Source #

data OMElement Source #

Elements for Open Math

Constructors

OMES OMSymbol
OMEV OMSimpleVariable
OMEI OMInteger
OMEB OMBase64
OMESTR OMString
OMEF OMFloat
OMEA OMApply
OMEBIND OMBind
OMEE OMError
OMEATTR OMAttribution
OMER OMReference
OMEC (Maybe OMElement) String

Instances

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

mkOMComment :: String -> OMElement Source #

insert a comment into an open-math structure (use with caution...)

mkOMCommented :: OMElementClass e => String -> e -> OMElement Source #

class OMElementClass a where Source #

Class of Elements for Open Math

Minimal complete definition

toElement, fromElement

Methods

toElement :: a -> OMElement Source #

fromElement :: OMElement -> Maybe a Source #

Instances

OMElementClass OMElement Source #
Methods toElement :: OMElement -> OMElement Source # fromElement :: OMElement -> Maybe OMElement Source #
OMElementClass OMBind Source #
Methods toElement :: OMBind -> OMElement Source # fromElement :: OMElement -> Maybe OMBind Source #
OMElementClass OMReference Source #
Methods toElement :: OMReference -> OMElement Source # fromElement :: OMElement -> Maybe OMReference Source #
OMElementClass OMError Source #
Methods toElement :: OMError -> OMElement Source # fromElement :: OMElement -> Maybe OMError Source #
OMElementClass OMApply Source #
Methods toElement :: OMApply -> OMElement Source # fromElement :: OMElement -> Maybe OMApply Source #
OMElementClass OMFloat Source #
Methods toElement :: OMFloat -> OMElement Source # fromElement :: OMElement -> Maybe OMFloat Source #
OMElementClass OMString Source #
Methods toElement :: OMString -> OMElement Source # fromElement :: OMElement -> Maybe OMString Source #
OMElementClass OMBase64 Source #
Methods toElement :: OMBase64 -> OMElement Source # fromElement :: OMElement -> Maybe OMBase64 Source #
OMElementClass OMAttribution Source #
Methods toElement :: OMAttribution -> OMElement Source # fromElement :: OMElement -> Maybe OMAttribution Source #
OMElementClass OMSimpleVariable Source #
Methods toElement :: OMSimpleVariable -> OMElement Source # fromElement :: OMElement -> Maybe OMSimpleVariable Source #
OMElementClass OMVariable Source #
Methods toElement :: OMVariable -> OMElement Source # fromElement :: OMElement -> Maybe OMVariable Source #
OMElementClass OMInteger Source #
Methods toElement :: OMInteger -> OMElement Source # fromElement :: OMElement -> Maybe OMInteger Source #
OMElementClass OMSymbol Source #
Methods toElement :: OMSymbol -> OMElement Source # fromElement :: OMElement -> Maybe OMSymbol Source #