Hets - the Heterogeneous Tool Set

Copyright(c) Hendrik Iben Uni Bremen 2005-2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerhiben@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable
Safe HaskellSafe

OMDoc.OMDocInterface

Description

Model of a handpicked subset from OMDoc

Synopsis

Documentation

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 #

type XmlId = String Source #

used for ids

type XmlString = String Source #

used for names, pcdata

data OMDoc Source #

OMDoc

Constructors

OMDoc 

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

data Theory Source #

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 # 
Sentences OMDoc_PUN () OMDoc_Sign OMDoc_Morphism 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 #

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)

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

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

data Use Source #

Use for Presentation

Constructors

Use 

Fields

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

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 # 
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 

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 # 
Pretty Symbol Source # 
Sentences OMDoc_PUN () OMDoc_Sign OMDoc_Morphism 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 #

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

data Type Source #

Type

Constructors

Type 

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

data Constitutive Source #

OMDoc Theory constitutive elements + convenience additions (ADT)

Constructors

CAx Axiom 
CDe Definition 
CSy Symbol 
CIm Imports 
CAd ADT 
CCo 

Fields

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

data Axiom Source #

Axiom

Constructors

Axiom 

Fields

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

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

data FMP Source #

FMP

Constructors

FMP 

Fields

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 

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

data ADT Source #

ADT

Constructors

ADT 

Fields

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

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

data SortDef Source #

SortDef

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

data Constructor Source #

Constructor

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

data Insort Source #

Insort

Constructors

Insort 

Fields

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

data Recognizer Source #

Recognizer

Constructors

Recognizer 

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

data Conservativity Source #

Inclusion-Conservativity

Instances

Eq Conservativity Source # 
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 # 
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

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 # 
Sentences OMDoc_PUN () OMDoc_Sign OMDoc_Morphism 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 #

data Morphism Source #

OMDoc Morphism

Constructors

Morphism 

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 # 

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 # 
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 # 
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

data OMSymbol Source #

OMS

Constructors

OMS 

Fields

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 # 

data OMInteger Source #

OMI

Constructors

OMI 

Fields

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 # 

data OMVariable Source #

A Variable can be a OMV or an OMATTR

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 # 
Show OMVariable Source # 

Methods

showsPrec :: Int -> OMVariable -> ShowS

show :: OMVariable -> String

showList :: [OMVariable] -> ShowS

OMElementClass OMVariable Source # 
OMVariableClass OMVariable Source # 

data OMSimpleVariable Source #

OMV

Constructors

OMV 

Fields

Instances

Eq OMSimpleVariable Source # 
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 # 
Show OMSimpleVariable Source # 

Methods

showsPrec :: Int -> OMSimpleVariable -> ShowS

show :: OMSimpleVariable -> String

showList :: [OMSimpleVariable] -> ShowS

OMElementClass OMSimpleVariable Source # 
OMVariableClass OMSimpleVariable Source # 

data OMAttribution Source #

OMATTR

Instances

Eq OMAttribution Source # 
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 # 
Show OMAttribution Source # 

Methods

showsPrec :: Int -> OMAttribution -> ShowS

show :: OMAttribution -> String

showList :: [OMAttribution] -> ShowS

OMElementClass OMAttribution Source # 
OMVariableClass OMAttribution Source # 

data OMAttributionPart Source #

OMATP

Constructors

OMATP 

Instances

Eq OMAttributionPart Source # 
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 # 
Show OMAttributionPart Source # 

Methods

showsPrec :: Int -> OMAttributionPart -> ShowS

show :: OMAttributionPart -> String

showList :: [OMAttributionPart] -> ShowS

data OMBindingVariables Source #

OMBVAR

Constructors

OMBVAR 

Fields

Instances

Eq OMBindingVariables Source # 
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 # 
Show OMBindingVariables Source # 

Methods

showsPrec :: Int -> OMBindingVariables -> ShowS

show :: OMBindingVariables -> String

showList :: [OMBindingVariables] -> ShowS

data OMBase64 Source #

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

Constructors

OMB 

Fields

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 # 

mkOMB :: [Word8] -> OMBase64 Source #

mkOMBE :: [Word8] -> OMElement Source #

mkOMBWords :: [Word8] -> OMBase64 Source #

data OMString Source #

OMSTR

Constructors

OMSTR 

Fields

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 # 

mkOMSTR :: String -> OMString Source #

mkOMSTRE :: String -> OMElement Source #

data OMFloat Source #

OMF

Constructors

OMF 

Fields

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 # 

mkOMF :: Float -> OMFloat Source #

mkOMFE :: Float -> OMElement Source #

data OMApply Source #

OMA

Constructors

OMA 

Fields

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 # 

data OMError Source #

OME

Constructors

OME 

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 # 

data OMReference Source #

OMR

Constructors

OMR 

Fields

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 # 
Show OMReference Source # 

Methods

showsPrec :: Int -> OMReference -> ShowS

show :: OMReference -> String

showList :: [OMReference] -> ShowS

OMElementClass OMReference Source # 

data OMBind Source #

OMB

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 # 

data OMElement Source #

Elements for Open Math

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 # 

mkOMComment :: String -> OMElement Source #

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

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 # 
OMElementClass OMBind Source # 
OMElementClass OMReference Source # 
OMElementClass OMError Source # 
OMElementClass OMApply Source # 
OMElementClass OMFloat Source # 
OMElementClass OMString Source # 
OMElementClass OMBase64 Source # 
OMElementClass OMAttribution Source # 
OMElementClass OMSimpleVariable Source # 
OMElementClass OMVariable Source # 
OMElementClass OMInteger Source # 
OMElementClass OMSymbol Source #