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

omdocDefaultNamespace :: String
type OMDocRef = IRI
type OMDocRefs = [OMDocRef]
showIRI :: IRI -> String
mkOMDocRef :: String -> Maybe OMDocRef
mkSymbolRef :: XmlId -> OMDocRef
mkExtSymbolRef :: XmlId -> XmlId -> OMDocRef
type XmlId = String
type XmlString = String
data OMDoc = OMDoc {
- omdocId :: XmlId
- omdocTheories :: [Theory]
- omdocInclusions :: [Inclusion]
}
addTheories :: OMDoc -> [Theory] -> OMDoc
addInclusions :: OMDoc -> [Inclusion] -> OMDoc
data Theory = Theory {
- theoryId :: XmlId
- theoryConstitutives :: [Constitutive]
- theoryPresentations :: [Presentation]
- theoryComment :: Maybe String
}
showTheory :: Theory -> String
data ImportsType
- = ITLocal
- | ITGlobal
data Imports = Imports {
- importsFrom :: OMDocRef
- importsMorphism :: Maybe Morphism
- importsId :: Maybe XmlId
- importsType :: ImportsType
- importsConservativity :: Conservativity
}
data Presentation = Presentation {
- presentationForId :: XmlId
- presentationSystem :: Maybe XmlString
- presentationUses :: [Use]
}
mkPresentationS :: XmlId -> XmlString -> [Use] -> Presentation
mkPresentation :: XmlId -> [Use] -> Presentation
addUse :: Presentation -> Use -> Presentation
data Use = Use {
- useFormat :: XmlString
- useValue :: String
}
mkUse :: XmlString -> String -> Use
data SymbolRole
- = SRType
- | SRSort
- | SRObject
- | SRBinder
- | SRAttribution
- | SRSemanticAttribution
- | SRError
data Symbol = Symbol {
- symbolGeneratedFrom :: Maybe XmlId
- symbolId :: XmlId
- symbolRole :: SymbolRole
- symbolType :: Maybe Type
}
mkSymbolE :: Maybe XmlId -> XmlId -> SymbolRole -> Maybe Type -> Symbol
mkSymbol :: XmlId -> SymbolRole -> Symbol
data Type = Type {
- typeSystem :: Maybe IRI
- typeOMDocMathObject :: OMDocMathObject
}
mkType :: Maybe OMDocRef -> OMDocMathObject -> Type
data Constitutive
- = CAx Axiom
- | CDe Definition
- | CSy Symbol
- | CIm Imports
- | CAd ADT
- | CCo {
  - conComCmt :: String
  - conComCon :: Constitutive
  }
mkCAx :: Axiom -> Constitutive
mkCDe :: Definition -> Constitutive
mkCSy :: Symbol -> Constitutive
mkCIm :: Imports -> Constitutive
mkCAd :: ADT -> Constitutive
mkCCo :: String -> Constitutive -> Constitutive
isAxiom :: Constitutive -> Bool
isDefinition :: Constitutive -> Bool
isSymbol :: Constitutive -> Bool
isImports :: Constitutive -> Bool
isADT :: Constitutive -> Bool
isCommented :: Constitutive -> Bool
getIdsForPresentation :: Constitutive -> [XmlId]
data Axiom = Axiom {
- axiomName :: XmlId
- axiomCMPs :: [CMP]
- axiomFMPs :: [FMP]
}
mkAxiom :: XmlId -> [CMP] -> [FMP] -> Axiom
data CMP = CMP {
- cmpContent :: MText
}
mkCMP :: MText -> CMP
data FMP = FMP {
- fmpLogic :: Maybe XmlString
- fmpContent :: Either OMObject ([Assumption], [Conclusion])
}
data Assumption = Assumption
data Conclusion = Conclusion
data Definition = Definition {
- definitionId :: XmlId
- definitionCMPs :: [CMP]
- definitionFMPs :: [FMP]
}
mkDefinition :: XmlId -> [CMP] -> [FMP] -> Definition
data ADT = ADT {
- adtId :: Maybe XmlId
- adtSortDefs :: [SortDef]
}
data SortType
- = STFree
- | STGenerated
- | STLoose
mkADT :: [SortDef] -> ADT
mkADTEx :: Maybe XmlId -> [SortDef] -> ADT
data SortDef = SortDef {
- sortDefName :: XmlId
- sortDefRole :: SymbolRole
- sortDefType :: SortType
- sortDefConstructors :: [Constructor]
- sortDefInsorts :: [Insort]
- sortDefRecognizers :: [Recognizer]
}
mkSortDefE :: XmlId -> SymbolRole -> SortType -> [Constructor] -> [Insort] -> [Recognizer] -> SortDef
mkSortDef :: XmlId -> [Constructor] -> [Insort] -> [Recognizer] -> SortDef
data Constructor = Constructor {
- constructorName :: XmlId
- constructorRole :: SymbolRole
- constructorArguments :: [Type]
}
mkConstructorE :: XmlId -> SymbolRole -> [Type] -> Constructor
mkConstructor :: XmlId -> [Type] -> Constructor
data Insort = Insort {
- insortFor :: OMDocRef
}
mkInsort :: OMDocRef -> Insort
data Recognizer = Recognizer {
- recognizerName :: XmlId
}
mkRecognizer :: XmlId -> Recognizer
data Conservativity
- = CNone
- | CMonomorphism
- | CDefinitional
- | CConservative
data Inclusion
- = TheoryInclusion {
  - inclusionFrom :: OMDocRef
  - inclusionTo :: OMDocRef
  - inclusionMorphism :: Maybe Morphism
  - inclusionId :: Maybe XmlId
  - inclusionConservativity :: Conservativity
  }
- | AxiomInclusion {
  - inclusionFrom :: OMDocRef
  - inclusionTo :: OMDocRef
  - inclusionMorphism :: Maybe Morphism
  - inclusionId :: Maybe XmlId
  - inclusionConservativity :: Conservativity
  }
data Morphism = Morphism {
- morphismId :: Maybe XmlId
- morphismHiding :: [XmlId]
- morphismBase :: [XmlId]
- morphismRequations :: [(MText, MText)]
}
data MText
- = MTextText String
- | MTextTerm String
- | MTextPhrase String
- | MTextOM OMObject
data OMDocMathObject
- = OMOMOBJ OMObject
- | OMLegacy String
- | OMMath String
data OMObject = OMObject OMElement
mkOMOBJ :: OMElementClass e => e -> OMObject
data OMSymbol = OMS {
- omsCDBase :: Maybe OMDocRef
- omsCD :: XmlId
- omsName :: XmlId
}
mkOMS :: Maybe OMDocRef -> XmlId -> XmlId -> OMSymbol
mkOMSE :: Maybe OMDocRef -> XmlId -> XmlId -> OMElement
data OMInteger = OMI {
- omiInt :: Int
}
mkOMI :: Int -> OMInteger
mkOMIE :: Int -> OMElement
data OMVariable
- = OMVS OMSimpleVariable
- | OMVA OMAttribution
class OMVariableClass a where
- toVariable :: a -> OMVariable
- fromVariable :: OMVariable -> Maybe a
mkOMVar :: Either OMSimpleVariable OMAttribution -> OMVariable
mkOMVarE :: Either OMSimpleVariable OMAttribution -> OMElement
data OMSimpleVariable = OMV {
- omvName :: XmlString
}
mkOMSimpleVar :: XmlString -> OMSimpleVariable
mkOMSimpleVarE :: XmlString -> OMElement
mkOMVSVar :: XmlString -> OMVariable
mkOMVSVarE :: XmlString -> OMElement
data OMAttribution = OMATTR {
- omattrATP :: OMAttributionPart
- omattrElem :: OMElement
}
mkOMATTR :: OMElementClass e => OMAttributionPart -> e -> OMAttribution
mkOMATTRE :: OMElementClass e => OMAttributionPart -> e -> OMElement
data OMAttributionPart = OMATP {
- omatpAttribs :: [(OMSymbol, OMElement)]
}
mkOMATP :: OMElementClass e => [(OMSymbol, e)] -> OMAttributionPart
data OMBindingVariables = OMBVAR {
- ombvarVars :: [OMVariable]
}
mkOMBVAR :: OMVariableClass e => [e] -> OMBindingVariables
data OMBase64 = OMB {
- ombContent :: [Word8]
}
mkOMB :: [Word8] -> OMBase64
mkOMBE :: [Word8] -> OMElement
mkOMBWords :: [Word8] -> OMBase64
mkOMBWordsE :: [Word8] -> OMElement
getOMBWords :: OMBase64 -> [Word8]
data OMString = OMSTR {
- omstrText :: String
}
mkOMSTR :: String -> OMString
mkOMSTRE :: String -> OMElement
data OMFloat = OMF {
- omfFloat :: Float
}
mkOMF :: Float -> OMFloat
mkOMFE :: Float -> OMElement
data OMApply = OMA {
- omaElements :: [OMElement]
}
mkOMA :: OMElementClass e => [e] -> OMApply
mkOMAE :: OMElementClass e => [e] -> OMElement
data OMError = OME {
- omeSymbol :: OMSymbol
- omeExtra :: [OMElement]
}
mkOME :: OMElementClass e => OMSymbol -> [e] -> OMError
mkOMEE :: OMElementClass e => OMSymbol -> [e] -> OMElement
data OMReference = OMR {
- omrHRef :: IRI
}
mkOMR :: IRI -> OMReference
mkOMRE :: IRI -> OMElement
data OMBind = OMBIND {
- ombindBinder :: OMElement
- ombindVariables :: OMBindingVariables
- ombindExpression :: OMElement
}
mkOMBIND :: (OMElementClass e1, OMElementClass e2) => e1 -> OMBindingVariables -> e2 -> OMBind
mkOMBINDE :: (OMElementClass e1, OMElementClass e2) => e1 -> OMBindingVariables -> e2 -> OMElement
data OMElement
- = 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
mkOMComment :: String -> OMElement
mkOMCommented :: OMElementClass e => String -> e -> OMElement
class OMElementClass a where
- toElement :: a -> OMElement
- fromElement :: OMElement -> Maybe a

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

Instances details

Data OMDoc Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMDoc -> ShowS show :: OMDoc -> String showList :: [OMDoc] -> ShowS
Generic OMDoc
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMDoc :: Type -> Type Methods from :: OMDoc -> Rep OMDoc x to :: Rep OMDoc x -> OMDoc
FromJSON OMDoc
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMDoc parseJSONList :: Value -> Parser [OMDoc]
ToJSON OMDoc
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMDoc -> Value toEncoding :: OMDoc -> Encoding toJSONList :: [OMDoc] -> Value toEncodingList :: [OMDoc] -> Encoding
ShATermConvertible OMDoc
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMDoc -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMDoc] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMDoc) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMDoc])
type Rep OMDoc
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMDoc = D1 ('MetaData "OMDoc" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMDoc" 'PrefixI 'True) (S1 ('MetaSel ('Just "omdocId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlId) :: (S1 ('MetaSel ('Just "omdocTheories") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Theory]) :: S1 ('MetaSel ('Just "omdocInclusions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inclusion]))))

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

Instances details

Eq Theory Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: Theory -> Theory -> Bool (/=) :: Theory -> Theory -> Bool
Data Theory Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Theory -> ShowS show :: Theory -> String showList :: [Theory] -> ShowS
Generic Theory
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Theory :: Type -> Type Methods from :: Theory -> Rep Theory x to :: Rep Theory x -> Theory
FromJSON Theory
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Theory parseJSONList :: Value -> Parser [Theory]
ToJSON Theory
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Theory -> Value toEncoding :: Theory -> Encoding toJSONList :: [Theory] -> Value toEncodingList :: [Theory] -> Encoding
ShATermConvertible Theory
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Theory -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Theory] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Theory) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Theory])
Pretty Theory Source #
Instance details Defined in OMDoc.OMDocInterface Methods pretty :: Theory -> Doc Source # pretties :: [Theory] -> Doc Source #
Category OMDoc_Sign OMDoc_Morphism Source #
Instance details Defined in OMDoc.Logic_OMDoc Methods ide :: OMDoc_Sign -> OMDoc_Morphism Source # composeMorphisms :: OMDoc_Morphism -> OMDoc_Morphism -> Result OMDoc_Morphism Source # dom :: OMDoc_Morphism -> OMDoc_Sign Source # cod :: OMDoc_Morphism -> OMDoc_Sign Source # inverse :: OMDoc_Morphism -> Result OMDoc_Morphism Source # isInclusion :: OMDoc_Morphism -> Bool Source # legal_mor :: OMDoc_Morphism -> Result () Source #
Sentences OMDoc_PUN () OMDoc_Sign OMDoc_Morphism Symbol Source #
Instance details Defined in OMDoc.Logic_OMDoc 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 #
Instance details Defined in OMDoc.Logic_OMDoc 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 #
Instance details Defined in OMDoc.Logic_OMDoc 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 #
type Rep Theory
Instance details Defined in OMDoc.ATC_OMDoc type Rep Theory = D1 ('MetaData "Theory" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Theory" 'PrefixI 'True) ((S1 ('MetaSel ('Just "theoryId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlId) :: S1 ('MetaSel ('Just "theoryConstitutives") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constitutive])) :: (S1 ('MetaSel ('Just "theoryPresentations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Presentation]) :*: S1 ('MetaSel ('Just "theoryComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)))))

showTheory :: Theory -> String Source #

data ImportsType Source #

Type (scope) of import

Constructors

ITLocal
ITGlobal

Instances

Instances details

Data ImportsType Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> ImportsType -> ShowS show :: ImportsType -> String showList :: [ImportsType] -> ShowS
Generic ImportsType
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep ImportsType :: Type -> Type Methods from :: ImportsType -> Rep ImportsType x to :: Rep ImportsType x -> ImportsType
FromJSON ImportsType
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser ImportsType parseJSONList :: Value -> Parser [ImportsType]
ToJSON ImportsType
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: ImportsType -> Value toEncoding :: ImportsType -> Encoding toJSONList :: [ImportsType] -> Value toEncodingList :: [ImportsType] -> Encoding
ShATermConvertible ImportsType
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> ImportsType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ImportsType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ImportsType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ImportsType])
type Rep ImportsType
Instance details Defined in OMDoc.ATC_OMDoc type Rep ImportsType = D1 ('MetaData "ImportsType" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "ITLocal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ITGlobal" 'PrefixI 'False) (U1 :: Type -> Type))

data Imports Source #

Imports (for Theory)

Constructors

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

Instances

Instances details

Data Imports Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Imports -> ShowS show :: Imports -> String showList :: [Imports] -> ShowS
Generic Imports
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Imports :: Type -> Type Methods from :: Imports -> Rep Imports x to :: Rep Imports x -> Imports
FromJSON Imports
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Imports parseJSONList :: Value -> Parser [Imports]
ToJSON Imports
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Imports -> Value toEncoding :: Imports -> Encoding toJSONList :: [Imports] -> Value toEncodingList :: [Imports] -> Encoding
ShATermConvertible Imports
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Imports -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Imports] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Imports) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Imports])
type Rep Imports
Instance details Defined in OMDoc.ATC_OMDoc type Rep Imports = D1 ('MetaData "Imports" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Imports" 'PrefixI 'True) ((S1 ('MetaSel ('Just "importsFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMDocRef) :: S1 ('MetaSel ('Just "importsMorphism") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Morphism))) :: (S1 ('MetaSel ('Just "importsId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe XmlId)) :: (S1 ('MetaSel ('Just "importsType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ImportsType) :: S1 ('MetaSel ('Just "importsConservativity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Conservativity)))))

data Presentation Source #

Presentation

Constructors

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

Instances

Instances details

Eq Presentation Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: Presentation -> Presentation -> Bool (/=) :: Presentation -> Presentation -> Bool
Data Presentation Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Presentation -> ShowS show :: Presentation -> String showList :: [Presentation] -> ShowS
Generic Presentation
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Presentation :: Type -> Type Methods from :: Presentation -> Rep Presentation x to :: Rep Presentation x -> Presentation
FromJSON Presentation
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Presentation parseJSONList :: Value -> Parser [Presentation]
ToJSON Presentation
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Presentation -> Value toEncoding :: Presentation -> Encoding toJSONList :: [Presentation] -> Value toEncodingList :: [Presentation] -> Encoding
ShATermConvertible Presentation
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Presentation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Presentation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Presentation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Presentation])
type Rep Presentation
Instance details Defined in OMDoc.ATC_OMDoc type Rep Presentation = D1 ('MetaData "Presentation" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Presentation" 'PrefixI 'True) (S1 ('MetaSel ('Just "presentationForId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlId) :: (S1 ('MetaSel ('Just "presentationSystem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe XmlString)) :: S1 ('MetaSel ('Just "presentationUses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Use]))))

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

Instances details

Eq Use Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: Use -> Use -> Bool (/=) :: Use -> Use -> Bool
Data Use Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Use -> ShowS show :: Use -> String showList :: [Use] -> ShowS
Generic Use
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Use :: Type -> Type Methods from :: Use -> Rep Use x to :: Rep Use x -> Use
FromJSON Use
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Use parseJSONList :: Value -> Parser [Use]
ToJSON Use
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Use -> Value toEncoding :: Use -> Encoding toJSONList :: [Use] -> Value toEncodingList :: [Use] -> Encoding
ShATermConvertible Use
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Use -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Use] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Use) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Use])
type Rep Use
Instance details Defined in OMDoc.ATC_OMDoc type Rep Use = D1 ('MetaData "Use" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Use" 'PrefixI 'True) (S1 ('MetaSel ('Just "useFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlString) :*: S1 ('MetaSel ('Just "useValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

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

data SymbolRole Source #

SymbolRole for Symbol

Constructors

SRType
SRSort
SRObject
SRBinder
SRAttribution
SRSemanticAttribution
SRError

Instances

Instances details

Eq SymbolRole Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: SymbolRole -> SymbolRole -> Bool (/=) :: SymbolRole -> SymbolRole -> Bool
Data SymbolRole Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods readsPrec :: Int -> ReadS SymbolRole readList :: ReadS [SymbolRole] readPrec :: ReadPrec SymbolRole readListPrec :: ReadPrec [SymbolRole]
Show SymbolRole Source #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> SymbolRole -> ShowS show :: SymbolRole -> String showList :: [SymbolRole] -> ShowS
Generic SymbolRole
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep SymbolRole :: Type -> Type Methods from :: SymbolRole -> Rep SymbolRole x to :: Rep SymbolRole x -> SymbolRole
FromJSON SymbolRole
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser SymbolRole parseJSONList :: Value -> Parser [SymbolRole]
ToJSON SymbolRole
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: SymbolRole -> Value toEncoding :: SymbolRole -> Encoding toJSONList :: [SymbolRole] -> Value toEncodingList :: [SymbolRole] -> Encoding
ShATermConvertible SymbolRole
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> SymbolRole -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbolRole] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbolRole) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbolRole])
type Rep SymbolRole
Instance details Defined in OMDoc.ATC_OMDoc type Rep SymbolRole = D1 ('MetaData "SymbolRole" "OMDoc.OMDocInterface" "main" 'False) ((C1 ('MetaCons "SRType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SRSort" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SRObject" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SRBinder" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SRAttribution" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SRSemanticAttribution" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SRError" 'PrefixI 'False) (U1 :: Type -> Type))))

data Symbol Source #

Symbol

Constructors

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

Instances

Instances details

Eq Symbol Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: Symbol -> Symbol -> Bool (/=) :: Symbol -> Symbol -> Bool
Data Symbol Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Symbol -> ShowS show :: Symbol -> String showList :: [Symbol] -> ShowS
Generic Symbol
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Symbol :: Type -> Type Methods from :: Symbol -> Rep Symbol x to :: Rep Symbol x -> Symbol
GetRange Symbol Source #
Instance details Defined in OMDoc.OMDocInterface Methods getRange :: Symbol -> Range Source # rangeSpan :: Symbol -> [Pos] Source #
FromJSON Symbol
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Symbol parseJSONList :: Value -> Parser [Symbol]
ToJSON Symbol
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Symbol -> Value toEncoding :: Symbol -> Encoding toJSONList :: [Symbol] -> Value toEncodingList :: [Symbol] -> Encoding
ShATermConvertible Symbol
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Symbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Symbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Symbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Symbol])
Pretty Symbol Source #
Instance details Defined in OMDoc.OMDocInterface Methods pretty :: Symbol -> Doc Source # pretties :: [Symbol] -> Doc Source #
Sentences OMDoc_PUN () OMDoc_Sign OMDoc_Morphism Symbol Source #
Instance details Defined in OMDoc.Logic_OMDoc 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 #
Instance details Defined in OMDoc.Logic_OMDoc 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 (PrefixMap -> AParser st ()) Source # parse_symb_items :: OMDoc_PUN -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_map_items :: OMDoc_PUN -> Maybe (PrefixMap -> AParser st ()) Source # toItem :: OMDoc_PUN -> () -> Item Source # symb_items_name :: OMDoc_PUN -> () -> [String] Source #
StaticAnalysis OMDoc_PUN () () () () OMDoc_Sign OMDoc_Morphism Symbol () Source #
Instance details Defined in OMDoc.Logic_OMDoc 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 #
Instance details Defined in OMDoc.Logic_OMDoc 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 #
type Rep Symbol
Instance details Defined in OMDoc.ATC_OMDoc type Rep Symbol = D1 ('MetaData "Symbol" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Symbol" 'PrefixI 'True) ((S1 ('MetaSel ('Just "symbolGeneratedFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe XmlId)) :: S1 ('MetaSel ('Just "symbolId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlId)) :: (S1 ('MetaSel ('Just "symbolRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolRole) :*: S1 ('MetaSel ('Just "symbolType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Type)))))

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

Instances details

Eq Type Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: Type -> Type -> Bool (/=) :: Type -> Type -> Bool
Data Type Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Type -> ShowS show :: Type -> String showList :: [Type] -> ShowS
Generic Type
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Type :: Type -> Type Methods from :: Type -> Rep Type x to :: Rep Type x -> Type
FromJSON Type
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Type parseJSONList :: Value -> Parser [Type]
ToJSON Type
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Type -> Value toEncoding :: Type -> Encoding toJSONList :: [Type] -> Value toEncodingList :: [Type] -> Encoding
ShATermConvertible Type
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Type])
type Rep Type
Instance details Defined in OMDoc.ATC_OMDoc type Rep Type = D1 ('MetaData "Type" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Type" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeSystem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe IRI)) :*: S1 ('MetaSel ('Just "typeOMDocMathObject") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMDocMathObject)))

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

Instances details

Data Constitutive Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Constitutive -> ShowS show :: Constitutive -> String showList :: [Constitutive] -> ShowS
Generic Constitutive
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Constitutive :: Type -> Type Methods from :: Constitutive -> Rep Constitutive x to :: Rep Constitutive x -> Constitutive
FromJSON Constitutive
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Constitutive parseJSONList :: Value -> Parser [Constitutive]
ToJSON Constitutive
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Constitutive -> Value toEncoding :: Constitutive -> Encoding toJSONList :: [Constitutive] -> Value toEncodingList :: [Constitutive] -> Encoding
ShATermConvertible Constitutive
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Constitutive -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Constitutive] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Constitutive) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Constitutive])
type Rep Constitutive
Instance details Defined in OMDoc.ATC_OMDoc type Rep Constitutive = D1 ('MetaData "Constitutive" "OMDoc.OMDocInterface" "main" 'False) ((C1 ('MetaCons "CAx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Axiom)) :+: (C1 ('MetaCons "CDe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Definition)) :+: C1 ('MetaCons "CSy" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Symbol)))) :+: (C1 ('MetaCons "CIm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Imports)) :+: (C1 ('MetaCons "CAd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ADT)) :+: C1 ('MetaCons "CCo" 'PrefixI 'True) (S1 ('MetaSel ('Just "conComCmt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "conComCon") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constitutive)))))

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

Instances details

Data Axiom Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Axiom -> ShowS show :: Axiom -> String showList :: [Axiom] -> ShowS
Generic Axiom
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Axiom :: Type -> Type Methods from :: Axiom -> Rep Axiom x to :: Rep Axiom x -> Axiom
FromJSON Axiom
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Axiom parseJSONList :: Value -> Parser [Axiom]
ToJSON Axiom
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Axiom -> Value toEncoding :: Axiom -> Encoding toJSONList :: [Axiom] -> Value toEncodingList :: [Axiom] -> Encoding
ShATermConvertible Axiom
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Axiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Axiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Axiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Axiom])
type Rep Axiom
Instance details Defined in OMDoc.ATC_OMDoc type Rep Axiom = D1 ('MetaData "Axiom" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Axiom" 'PrefixI 'True) (S1 ('MetaSel ('Just "axiomName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlId) :: (S1 ('MetaSel ('Just "axiomCMPs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CMP]) :: S1 ('MetaSel ('Just "axiomFMPs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FMP]))))

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

data CMP Source #

CMP

Constructors

CMP
Fields cmpContent :: MText

Instances

Instances details

Data CMP Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> CMP -> ShowS show :: CMP -> String showList :: [CMP] -> ShowS
Generic CMP
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep CMP :: Type -> Type Methods from :: CMP -> Rep CMP x to :: Rep CMP x -> CMP
FromJSON CMP
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser CMP parseJSONList :: Value -> Parser [CMP]
ToJSON CMP
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: CMP -> Value toEncoding :: CMP -> Encoding toJSONList :: [CMP] -> Value toEncodingList :: [CMP] -> Encoding
ShATermConvertible CMP
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> CMP -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CMP] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CMP) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CMP])
type Rep CMP
Instance details Defined in OMDoc.ATC_OMDoc type Rep CMP = D1 ('MetaData "CMP" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "CMP" 'PrefixI 'True) (S1 ('MetaSel ('Just "cmpContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MText)))

mkCMP :: MText -> CMP Source #

data FMP Source #

FMP

Constructors

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

Instances

Instances details

Data FMP Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> FMP -> ShowS show :: FMP -> String showList :: [FMP] -> ShowS
Generic FMP
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep FMP :: Type -> Type Methods from :: FMP -> Rep FMP x to :: Rep FMP x -> FMP
FromJSON FMP
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser FMP parseJSONList :: Value -> Parser [FMP]
ToJSON FMP
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: FMP -> Value toEncoding :: FMP -> Encoding toJSONList :: [FMP] -> Value toEncodingList :: [FMP] -> Encoding
ShATermConvertible FMP
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> FMP -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FMP] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FMP) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FMP])
type Rep FMP
Instance details Defined in OMDoc.ATC_OMDoc type Rep FMP = D1 ('MetaData "FMP" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "FMP" 'PrefixI 'True) (S1 ('MetaSel ('Just "fmpLogic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe XmlString)) :*: S1 ('MetaSel ('Just "fmpContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either OMObject ([Assumption], [Conclusion])))))

data Assumption Source #

Assumption (incomplete)

Constructors

Assumption

Instances

Instances details

Data Assumption Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Assumption -> ShowS show :: Assumption -> String showList :: [Assumption] -> ShowS
Generic Assumption
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Assumption :: Type -> Type Methods from :: Assumption -> Rep Assumption x to :: Rep Assumption x -> Assumption
FromJSON Assumption
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Assumption parseJSONList :: Value -> Parser [Assumption]
ToJSON Assumption
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Assumption -> Value toEncoding :: Assumption -> Encoding toJSONList :: [Assumption] -> Value toEncodingList :: [Assumption] -> Encoding
ShATermConvertible Assumption
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Assumption -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Assumption] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Assumption) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Assumption])
type Rep Assumption
Instance details Defined in OMDoc.ATC_OMDoc type Rep Assumption = D1 ('MetaData "Assumption" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Assumption" 'PrefixI 'False) (U1 :: Type -> Type))

data Conclusion Source #

Constructors

Conclusion

Instances

Instances details

Data Conclusion Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Conclusion -> ShowS show :: Conclusion -> String showList :: [Conclusion] -> ShowS
Generic Conclusion
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Conclusion :: Type -> Type Methods from :: Conclusion -> Rep Conclusion x to :: Rep Conclusion x -> Conclusion
FromJSON Conclusion
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Conclusion parseJSONList :: Value -> Parser [Conclusion]
ToJSON Conclusion
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Conclusion -> Value toEncoding :: Conclusion -> Encoding toJSONList :: [Conclusion] -> Value toEncodingList :: [Conclusion] -> Encoding
ShATermConvertible Conclusion
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Conclusion -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Conclusion] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Conclusion) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Conclusion])
type Rep Conclusion
Instance details Defined in OMDoc.ATC_OMDoc type Rep Conclusion = D1 ('MetaData "Conclusion" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Conclusion" 'PrefixI 'False) (U1 :: Type -> Type))

data Definition Source #

Definition (incomplete)

Constructors

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

Instances

Instances details

Data Definition Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Definition -> ShowS show :: Definition -> String showList :: [Definition] -> ShowS
Generic Definition
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Definition :: Type -> Type Methods from :: Definition -> Rep Definition x to :: Rep Definition x -> Definition
FromJSON Definition
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Definition parseJSONList :: Value -> Parser [Definition]
ToJSON Definition
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Definition -> Value toEncoding :: Definition -> Encoding toJSONList :: [Definition] -> Value toEncodingList :: [Definition] -> Encoding
ShATermConvertible Definition
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Definition -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Definition] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Definition) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Definition])
type Rep Definition
Instance details Defined in OMDoc.ATC_OMDoc type Rep Definition = D1 ('MetaData "Definition" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Definition" 'PrefixI 'True) (S1 ('MetaSel ('Just "definitionId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlId) :: (S1 ('MetaSel ('Just "definitionCMPs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CMP]) :: S1 ('MetaSel ('Just "definitionFMPs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FMP]))))

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

data ADT Source #

ADT

Constructors

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

Instances

Instances details

Data ADT Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> ADT -> ShowS show :: ADT -> String showList :: [ADT] -> ShowS
Generic ADT
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep ADT :: Type -> Type Methods from :: ADT -> Rep ADT x to :: Rep ADT x -> ADT
FromJSON ADT
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser ADT parseJSONList :: Value -> Parser [ADT]
ToJSON ADT
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: ADT -> Value toEncoding :: ADT -> Encoding toJSONList :: [ADT] -> Value toEncodingList :: [ADT] -> Encoding
ShATermConvertible ADT
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> ADT -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ADT] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ADT) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ADT])
type Rep ADT
Instance details Defined in OMDoc.ATC_OMDoc type Rep ADT = D1 ('MetaData "ADT" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "ADT" 'PrefixI 'True) (S1 ('MetaSel ('Just "adtId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe XmlId)) :*: S1 ('MetaSel ('Just "adtSortDefs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SortDef])))

data SortType Source #

Constructors

STFree
STGenerated
STLoose

Instances

Instances details

Data SortType Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods readsPrec :: Int -> ReadS SortType readList :: ReadS [SortType] readPrec :: ReadPrec SortType readListPrec :: ReadPrec [SortType]
Show SortType Source #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> SortType -> ShowS show :: SortType -> String showList :: [SortType] -> ShowS
Generic SortType
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep SortType :: Type -> Type Methods from :: SortType -> Rep SortType x to :: Rep SortType x -> SortType
FromJSON SortType
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser SortType parseJSONList :: Value -> Parser [SortType]
ToJSON SortType
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: SortType -> Value toEncoding :: SortType -> Encoding toJSONList :: [SortType] -> Value toEncodingList :: [SortType] -> Encoding
ShATermConvertible SortType
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> SortType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SortType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SortType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SortType])
type Rep SortType
Instance details Defined in OMDoc.ATC_OMDoc type Rep SortType = D1 ('MetaData "SortType" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "STFree" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "STGenerated" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "STLoose" 'PrefixI 'False) (U1 :: Type -> Type)))

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

Instances details

Data SortDef Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> SortDef -> ShowS show :: SortDef -> String showList :: [SortDef] -> ShowS
Generic SortDef
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep SortDef :: Type -> Type Methods from :: SortDef -> Rep SortDef x to :: Rep SortDef x -> SortDef
FromJSON SortDef
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser SortDef parseJSONList :: Value -> Parser [SortDef]
ToJSON SortDef
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: SortDef -> Value toEncoding :: SortDef -> Encoding toJSONList :: [SortDef] -> Value toEncodingList :: [SortDef] -> Encoding
ShATermConvertible SortDef
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> SortDef -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SortDef] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SortDef) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SortDef])
type Rep SortDef
Instance details Defined in OMDoc.ATC_OMDoc type Rep SortDef = D1 ('MetaData "SortDef" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "SortDef" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sortDefName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlId) :: (S1 ('MetaSel ('Just "sortDefRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolRole) :: S1 ('MetaSel ('Just "sortDefType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SortType))) :: (S1 ('MetaSel ('Just "sortDefConstructors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constructor]) :: (S1 ('MetaSel ('Just "sortDefInsorts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Insort]) :*: S1 ('MetaSel ('Just "sortDefRecognizers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Recognizer])))))

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

Instances details

Data Constructor Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Constructor -> ShowS show :: Constructor -> String showList :: [Constructor] -> ShowS
Generic Constructor
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Constructor :: Type -> Type Methods from :: Constructor -> Rep Constructor x to :: Rep Constructor x -> Constructor
FromJSON Constructor
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Constructor parseJSONList :: Value -> Parser [Constructor]
ToJSON Constructor
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Constructor -> Value toEncoding :: Constructor -> Encoding toJSONList :: [Constructor] -> Value toEncodingList :: [Constructor] -> Encoding
ShATermConvertible Constructor
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Constructor -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Constructor] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Constructor) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Constructor])
type Rep Constructor
Instance details Defined in OMDoc.ATC_OMDoc type Rep Constructor = D1 ('MetaData "Constructor" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Constructor" 'PrefixI 'True) (S1 ('MetaSel ('Just "constructorName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlId) :: (S1 ('MetaSel ('Just "constructorRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolRole) :: S1 ('MetaSel ('Just "constructorArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type]))))

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

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

data Insort Source #

Insort

Constructors

Insort
Fields insortFor :: OMDocRef

Instances

Instances details

Data Insort Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Insort -> ShowS show :: Insort -> String showList :: [Insort] -> ShowS
Generic Insort
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Insort :: Type -> Type Methods from :: Insort -> Rep Insort x to :: Rep Insort x -> Insort
FromJSON Insort
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Insort parseJSONList :: Value -> Parser [Insort]
ToJSON Insort
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Insort -> Value toEncoding :: Insort -> Encoding toJSONList :: [Insort] -> Value toEncodingList :: [Insort] -> Encoding
ShATermConvertible Insort
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Insort -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Insort] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Insort) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Insort])
type Rep Insort
Instance details Defined in OMDoc.ATC_OMDoc type Rep Insort = D1 ('MetaData "Insort" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Insort" 'PrefixI 'True) (S1 ('MetaSel ('Just "insortFor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMDocRef)))

mkInsort :: OMDocRef -> Insort Source #

data Recognizer Source #

Recognizer

Constructors

Recognizer
Fields recognizerName :: XmlId

Instances

Instances details

Data Recognizer Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Recognizer -> ShowS show :: Recognizer -> String showList :: [Recognizer] -> ShowS
Generic Recognizer
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Recognizer :: Type -> Type Methods from :: Recognizer -> Rep Recognizer x to :: Rep Recognizer x -> Recognizer
FromJSON Recognizer
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Recognizer parseJSONList :: Value -> Parser [Recognizer]
ToJSON Recognizer
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Recognizer -> Value toEncoding :: Recognizer -> Encoding toJSONList :: [Recognizer] -> Value toEncodingList :: [Recognizer] -> Encoding
ShATermConvertible Recognizer
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Recognizer -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Recognizer] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Recognizer) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Recognizer])
type Rep Recognizer
Instance details Defined in OMDoc.ATC_OMDoc type Rep Recognizer = D1 ('MetaData "Recognizer" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Recognizer" 'PrefixI 'True) (S1 ('MetaSel ('Just "recognizerName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlId)))

mkRecognizer :: XmlId -> Recognizer Source #

data Conservativity Source #

Inclusion-Conservativity

Constructors

CNone
CMonomorphism
CDefinitional
CConservative

Instances

Instances details

Eq Conservativity Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: Conservativity -> Conservativity -> Bool (/=) :: Conservativity -> Conservativity -> Bool
Data Conservativity Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods readsPrec :: Int -> ReadS Conservativity readList :: ReadS [Conservativity] readPrec :: ReadPrec Conservativity readListPrec :: ReadPrec [Conservativity]
Show Conservativity Source #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Conservativity -> ShowS show :: Conservativity -> String showList :: [Conservativity] -> ShowS
Generic Conservativity
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Conservativity :: Type -> Type Methods from :: Conservativity -> Rep Conservativity x to :: Rep Conservativity x -> Conservativity
FromJSON Conservativity
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Conservativity parseJSONList :: Value -> Parser [Conservativity]
ToJSON Conservativity
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Conservativity -> Value toEncoding :: Conservativity -> Encoding toJSONList :: [Conservativity] -> Value toEncodingList :: [Conservativity] -> Encoding
ShATermConvertible Conservativity
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Conservativity -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Conservativity] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Conservativity) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Conservativity])
type Rep Conservativity
Instance details Defined in OMDoc.ATC_OMDoc type Rep Conservativity = D1 ('MetaData "Conservativity" "OMDoc.OMDocInterface" "main" 'False) ((C1 ('MetaCons "CNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CMonomorphism" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CDefinitional" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CConservative" 'PrefixI 'False) (U1 :: Type -> Type)))

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

Instances details

Eq Inclusion Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: Inclusion -> Inclusion -> Bool (/=) :: Inclusion -> Inclusion -> Bool
Data Inclusion Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Inclusion -> ShowS show :: Inclusion -> String showList :: [Inclusion] -> ShowS
Generic Inclusion
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Inclusion :: Type -> Type Methods from :: Inclusion -> Rep Inclusion x to :: Rep Inclusion x -> Inclusion
FromJSON Inclusion
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Inclusion parseJSONList :: Value -> Parser [Inclusion]
ToJSON Inclusion
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Inclusion -> Value toEncoding :: Inclusion -> Encoding toJSONList :: [Inclusion] -> Value toEncodingList :: [Inclusion] -> Encoding
ShATermConvertible Inclusion
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Inclusion -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Inclusion] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Inclusion) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Inclusion])
Pretty Inclusion Source #
Instance details Defined in OMDoc.OMDocInterface Methods pretty :: Inclusion -> Doc Source # pretties :: [Inclusion] -> Doc Source #
Category OMDoc_Sign OMDoc_Morphism Source #
Instance details Defined in OMDoc.Logic_OMDoc Methods ide :: OMDoc_Sign -> OMDoc_Morphism Source # composeMorphisms :: OMDoc_Morphism -> OMDoc_Morphism -> Result OMDoc_Morphism Source # dom :: OMDoc_Morphism -> OMDoc_Sign Source # cod :: OMDoc_Morphism -> OMDoc_Sign Source # inverse :: OMDoc_Morphism -> Result OMDoc_Morphism Source # isInclusion :: OMDoc_Morphism -> Bool Source # legal_mor :: OMDoc_Morphism -> Result () Source #
Sentences OMDoc_PUN () OMDoc_Sign OMDoc_Morphism Symbol Source #
Instance details Defined in OMDoc.Logic_OMDoc 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 #
Instance details Defined in OMDoc.Logic_OMDoc 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 #
Instance details Defined in OMDoc.Logic_OMDoc 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 #
type Rep Inclusion
Instance details Defined in OMDoc.ATC_OMDoc type Rep Inclusion = D1 ('MetaData "Inclusion" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "TheoryInclusion" 'PrefixI 'True) ((S1 ('MetaSel ('Just "inclusionFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMDocRef) :: S1 ('MetaSel ('Just "inclusionTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMDocRef)) :: (S1 ('MetaSel ('Just "inclusionMorphism") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Morphism)) :: (S1 ('MetaSel ('Just "inclusionId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe XmlId)) :: S1 ('MetaSel ('Just "inclusionConservativity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Conservativity)))) :+: C1 ('MetaCons "AxiomInclusion" 'PrefixI 'True) ((S1 ('MetaSel ('Just "inclusionFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMDocRef) :: S1 ('MetaSel ('Just "inclusionTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMDocRef)) :: (S1 ('MetaSel ('Just "inclusionMorphism") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Morphism)) :: (S1 ('MetaSel ('Just "inclusionId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe XmlId)) :: S1 ('MetaSel ('Just "inclusionConservativity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Conservativity)))))

data Morphism Source #

OMDoc Morphism

Constructors

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

Instances

Instances details

Eq Morphism Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: Morphism -> Morphism -> Bool (/=) :: Morphism -> Morphism -> Bool
Data Morphism Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> Morphism -> ShowS show :: Morphism -> String showList :: [Morphism] -> ShowS
Generic Morphism
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep Morphism :: Type -> Type Methods from :: Morphism -> Rep Morphism x to :: Rep Morphism x -> Morphism
FromJSON Morphism
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser Morphism parseJSONList :: Value -> Parser [Morphism]
ToJSON Morphism
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: Morphism -> Value toEncoding :: Morphism -> Encoding toJSONList :: [Morphism] -> Value toEncodingList :: [Morphism] -> Encoding
ShATermConvertible Morphism
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> Morphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Morphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Morphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Morphism])
Pretty Morphism Source #
Instance details Defined in OMDoc.OMDocInterface Methods pretty :: Morphism -> Doc Source # pretties :: [Morphism] -> Doc Source #
type Rep Morphism
Instance details Defined in OMDoc.ATC_OMDoc type Rep Morphism = D1 ('MetaData "Morphism" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "Morphism" 'PrefixI 'True) ((S1 ('MetaSel ('Just "morphismId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe XmlId)) :: S1 ('MetaSel ('Just "morphismHiding") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [XmlId])) :: (S1 ('MetaSel ('Just "morphismBase") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [XmlId]) :*: S1 ('MetaSel ('Just "morphismRequations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(MText, MText)]))))

data MText Source #

Constructors

MTextText String
MTextTerm String
MTextPhrase String
MTextOM OMObject

Instances

Instances details

Eq MText Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: MText -> MText -> Bool (/=) :: MText -> MText -> Bool
Data MText Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> MText -> ShowS show :: MText -> String showList :: [MText] -> ShowS
Generic MText
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep MText :: Type -> Type Methods from :: MText -> Rep MText x to :: Rep MText x -> MText
FromJSON MText
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser MText parseJSONList :: Value -> Parser [MText]
ToJSON MText
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: MText -> Value toEncoding :: MText -> Encoding toJSONList :: [MText] -> Value toEncodingList :: [MText] -> Encoding
ShATermConvertible MText
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> MText -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MText] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MText) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MText])
type Rep MText
Instance details Defined in OMDoc.ATC_OMDoc type Rep MText = D1 ('MetaData "MText" "OMDoc.OMDocInterface" "main" 'False) ((C1 ('MetaCons "MTextText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "MTextTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "MTextPhrase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "MTextOM" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMObject))))

data OMDocMathObject Source #

Constructors

OMOMOBJ OMObject
OMLegacy String
OMMath String

Instances

Instances details

Eq OMDocMathObject Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMDocMathObject -> OMDocMathObject -> Bool (/=) :: OMDocMathObject -> OMDocMathObject -> Bool
Data OMDocMathObject Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMDocMathObject -> ShowS show :: OMDocMathObject -> String showList :: [OMDocMathObject] -> ShowS
Generic OMDocMathObject
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMDocMathObject :: Type -> Type Methods from :: OMDocMathObject -> Rep OMDocMathObject x to :: Rep OMDocMathObject x -> OMDocMathObject
FromJSON OMDocMathObject
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMDocMathObject parseJSONList :: Value -> Parser [OMDocMathObject]
ToJSON OMDocMathObject
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMDocMathObject -> Value toEncoding :: OMDocMathObject -> Encoding toJSONList :: [OMDocMathObject] -> Value toEncodingList :: [OMDocMathObject] -> Encoding
ShATermConvertible OMDocMathObject
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMDocMathObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMDocMathObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMDocMathObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMDocMathObject])
type Rep OMDocMathObject
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMDocMathObject = D1 ('MetaData "OMDocMathObject" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMOMOBJ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMObject)) :+: (C1 ('MetaCons "OMLegacy" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "OMMath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

data OMObject Source #

OMOBJ

Constructors

OMObject OMElement

Instances

Instances details

Eq OMObject Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMObject -> OMObject -> Bool (/=) :: OMObject -> OMObject -> Bool
Data OMObject Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMObject -> ShowS show :: OMObject -> String showList :: [OMObject] -> ShowS
Generic OMObject
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMObject :: Type -> Type Methods from :: OMObject -> Rep OMObject x to :: Rep OMObject x -> OMObject
FromJSON OMObject
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMObject parseJSONList :: Value -> Parser [OMObject]
ToJSON OMObject
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMObject -> Value toEncoding :: OMObject -> Encoding toJSONList :: [OMObject] -> Value toEncodingList :: [OMObject] -> Encoding
ShATermConvertible OMObject
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMObject])
type Rep OMObject
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMObject = D1 ('MetaData "OMObject" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMElement)))

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

data OMSymbol Source #

OMS

Constructors

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

Instances

Instances details

Eq OMSymbol Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMSymbol -> OMSymbol -> Bool (/=) :: OMSymbol -> OMSymbol -> Bool
Data OMSymbol Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMSymbol -> ShowS show :: OMSymbol -> String showList :: [OMSymbol] -> ShowS
Generic OMSymbol
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMSymbol :: Type -> Type Methods from :: OMSymbol -> Rep OMSymbol x to :: Rep OMSymbol x -> OMSymbol
FromJSON OMSymbol
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMSymbol parseJSONList :: Value -> Parser [OMSymbol]
ToJSON OMSymbol
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMSymbol -> Value toEncoding :: OMSymbol -> Encoding toJSONList :: [OMSymbol] -> Value toEncodingList :: [OMSymbol] -> Encoding
ShATermConvertible OMSymbol
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMSymbol])
OMElementClass OMSymbol Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMSymbol -> OMElement Source # fromElement :: OMElement -> Maybe OMSymbol Source #
type Rep OMSymbol
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMSymbol = D1 ('MetaData "OMSymbol" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMS" 'PrefixI 'True) (S1 ('MetaSel ('Just "omsCDBase") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe OMDocRef)) :: (S1 ('MetaSel ('Just "omsCD") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlId) :: S1 ('MetaSel ('Just "omsName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlId))))

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

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

data OMInteger Source #

OMI

Constructors

OMI
Fields omiInt :: Int

Instances

Instances details

Eq OMInteger Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMInteger -> OMInteger -> Bool (/=) :: OMInteger -> OMInteger -> Bool
Data OMInteger Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMInteger -> ShowS show :: OMInteger -> String showList :: [OMInteger] -> ShowS
Generic OMInteger
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMInteger :: Type -> Type Methods from :: OMInteger -> Rep OMInteger x to :: Rep OMInteger x -> OMInteger
FromJSON OMInteger
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMInteger parseJSONList :: Value -> Parser [OMInteger]
ToJSON OMInteger
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMInteger -> Value toEncoding :: OMInteger -> Encoding toJSONList :: [OMInteger] -> Value toEncodingList :: [OMInteger] -> Encoding
ShATermConvertible OMInteger
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMInteger -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMInteger] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMInteger) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMInteger])
OMElementClass OMInteger Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMInteger -> OMElement Source # fromElement :: OMElement -> Maybe OMInteger Source #
type Rep OMInteger
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMInteger = D1 ('MetaData "OMInteger" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMI" 'PrefixI 'True) (S1 ('MetaSel ('Just "omiInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

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

Instances details

Eq OMVariable Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMVariable -> OMVariable -> Bool (/=) :: OMVariable -> OMVariable -> Bool
Data OMVariable Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMVariable -> ShowS show :: OMVariable -> String showList :: [OMVariable] -> ShowS
Generic OMVariable
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMVariable :: Type -> Type Methods from :: OMVariable -> Rep OMVariable x to :: Rep OMVariable x -> OMVariable
FromJSON OMVariable
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMVariable parseJSONList :: Value -> Parser [OMVariable]
ToJSON OMVariable
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMVariable -> Value toEncoding :: OMVariable -> Encoding toJSONList :: [OMVariable] -> Value toEncodingList :: [OMVariable] -> Encoding
ShATermConvertible OMVariable
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMVariable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMVariable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMVariable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMVariable])
OMElementClass OMVariable Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMVariable -> OMElement Source # fromElement :: OMElement -> Maybe OMVariable Source #
OMVariableClass OMVariable Source #
Instance details Defined in OMDoc.OMDocInterface Methods toVariable :: OMVariable -> OMVariable Source # fromVariable :: OMVariable -> Maybe OMVariable Source #
type Rep OMVariable
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMVariable = D1 ('MetaData "OMVariable" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMVS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMSimpleVariable)) :+: C1 ('MetaCons "OMVA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMAttribution)))

class OMVariableClass a where Source #

Class to use something as a Variable

Methods

toVariable :: a -> OMVariable Source #

fromVariable :: OMVariable -> Maybe a Source #

Instances

Instances details

OMVariableClass OMAttribution Source #
Instance details Defined in OMDoc.OMDocInterface Methods toVariable :: OMAttribution -> OMVariable Source # fromVariable :: OMVariable -> Maybe OMAttribution Source #
OMVariableClass OMSimpleVariable Source #
Instance details Defined in OMDoc.OMDocInterface Methods toVariable :: OMSimpleVariable -> OMVariable Source # fromVariable :: OMVariable -> Maybe OMSimpleVariable Source #
OMVariableClass OMVariable Source #
Instance details Defined in OMDoc.OMDocInterface 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

Instances details

Eq OMSimpleVariable Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMSimpleVariable -> OMSimpleVariable -> Bool (/=) :: OMSimpleVariable -> OMSimpleVariable -> Bool
Data OMSimpleVariable Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMSimpleVariable -> ShowS show :: OMSimpleVariable -> String showList :: [OMSimpleVariable] -> ShowS
Generic OMSimpleVariable
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMSimpleVariable :: Type -> Type Methods from :: OMSimpleVariable -> Rep OMSimpleVariable x to :: Rep OMSimpleVariable x -> OMSimpleVariable
FromJSON OMSimpleVariable
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMSimpleVariable parseJSONList :: Value -> Parser [OMSimpleVariable]
ToJSON OMSimpleVariable
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMSimpleVariable -> Value toEncoding :: OMSimpleVariable -> Encoding toJSONList :: [OMSimpleVariable] -> Value toEncodingList :: [OMSimpleVariable] -> Encoding
ShATermConvertible OMSimpleVariable
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMSimpleVariable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMSimpleVariable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMSimpleVariable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMSimpleVariable])
OMElementClass OMSimpleVariable Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMSimpleVariable -> OMElement Source # fromElement :: OMElement -> Maybe OMSimpleVariable Source #
OMVariableClass OMSimpleVariable Source #
Instance details Defined in OMDoc.OMDocInterface Methods toVariable :: OMSimpleVariable -> OMVariable Source # fromVariable :: OMVariable -> Maybe OMSimpleVariable Source #
type Rep OMSimpleVariable
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMSimpleVariable = D1 ('MetaData "OMSimpleVariable" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMV" 'PrefixI 'True) (S1 ('MetaSel ('Just "omvName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XmlString)))

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

Instances details

Eq OMAttribution Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMAttribution -> OMAttribution -> Bool (/=) :: OMAttribution -> OMAttribution -> Bool
Data OMAttribution Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMAttribution -> ShowS show :: OMAttribution -> String showList :: [OMAttribution] -> ShowS
Generic OMAttribution
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMAttribution :: Type -> Type Methods from :: OMAttribution -> Rep OMAttribution x to :: Rep OMAttribution x -> OMAttribution
FromJSON OMAttribution
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMAttribution parseJSONList :: Value -> Parser [OMAttribution]
ToJSON OMAttribution
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMAttribution -> Value toEncoding :: OMAttribution -> Encoding toJSONList :: [OMAttribution] -> Value toEncodingList :: [OMAttribution] -> Encoding
ShATermConvertible OMAttribution
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMAttribution -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMAttribution] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMAttribution) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMAttribution])
OMElementClass OMAttribution Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMAttribution -> OMElement Source # fromElement :: OMElement -> Maybe OMAttribution Source #
OMVariableClass OMAttribution Source #
Instance details Defined in OMDoc.OMDocInterface Methods toVariable :: OMAttribution -> OMVariable Source # fromVariable :: OMVariable -> Maybe OMAttribution Source #
type Rep OMAttribution
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMAttribution = D1 ('MetaData "OMAttribution" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMATTR" 'PrefixI 'True) (S1 ('MetaSel ('Just "omattrATP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMAttributionPart) :*: S1 ('MetaSel ('Just "omattrElem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMElement)))

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

Instances details

Eq OMAttributionPart Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMAttributionPart -> OMAttributionPart -> Bool (/=) :: OMAttributionPart -> OMAttributionPart -> Bool
Data OMAttributionPart Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMAttributionPart -> ShowS show :: OMAttributionPart -> String showList :: [OMAttributionPart] -> ShowS
Generic OMAttributionPart
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMAttributionPart :: Type -> Type Methods from :: OMAttributionPart -> Rep OMAttributionPart x to :: Rep OMAttributionPart x -> OMAttributionPart
FromJSON OMAttributionPart
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMAttributionPart parseJSONList :: Value -> Parser [OMAttributionPart]
ToJSON OMAttributionPart
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMAttributionPart -> Value toEncoding :: OMAttributionPart -> Encoding toJSONList :: [OMAttributionPart] -> Value toEncodingList :: [OMAttributionPart] -> Encoding
ShATermConvertible OMAttributionPart
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMAttributionPart -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMAttributionPart] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMAttributionPart) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMAttributionPart])
type Rep OMAttributionPart
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMAttributionPart = D1 ('MetaData "OMAttributionPart" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMATP" 'PrefixI 'True) (S1 ('MetaSel ('Just "omatpAttribs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(OMSymbol, OMElement)])))

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

data OMBindingVariables Source #

OMBVAR

Constructors

OMBVAR
Fields ombvarVars :: [OMVariable]

Instances

Instances details

Eq OMBindingVariables Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMBindingVariables -> OMBindingVariables -> Bool (/=) :: OMBindingVariables -> OMBindingVariables -> Bool
Data OMBindingVariables Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMBindingVariables -> ShowS show :: OMBindingVariables -> String showList :: [OMBindingVariables] -> ShowS
Generic OMBindingVariables
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMBindingVariables :: Type -> Type Methods from :: OMBindingVariables -> Rep OMBindingVariables x to :: Rep OMBindingVariables x -> OMBindingVariables
FromJSON OMBindingVariables
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMBindingVariables parseJSONList :: Value -> Parser [OMBindingVariables]
ToJSON OMBindingVariables
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMBindingVariables -> Value toEncoding :: OMBindingVariables -> Encoding toJSONList :: [OMBindingVariables] -> Value toEncodingList :: [OMBindingVariables] -> Encoding
ShATermConvertible OMBindingVariables
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMBindingVariables -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMBindingVariables] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMBindingVariables) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMBindingVariables])
type Rep OMBindingVariables
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMBindingVariables = D1 ('MetaData "OMBindingVariables" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMBVAR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ombvarVars") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OMVariable])))

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

Instances details

Eq OMBase64 Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMBase64 -> OMBase64 -> Bool (/=) :: OMBase64 -> OMBase64 -> Bool
Data OMBase64 Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMBase64 -> ShowS show :: OMBase64 -> String showList :: [OMBase64] -> ShowS
Generic OMBase64
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMBase64 :: Type -> Type Methods from :: OMBase64 -> Rep OMBase64 x to :: Rep OMBase64 x -> OMBase64
FromJSON OMBase64
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMBase64 parseJSONList :: Value -> Parser [OMBase64]
ToJSON OMBase64
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMBase64 -> Value toEncoding :: OMBase64 -> Encoding toJSONList :: [OMBase64] -> Value toEncodingList :: [OMBase64] -> Encoding
ShATermConvertible OMBase64
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMBase64 -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMBase64] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMBase64) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMBase64])
OMElementClass OMBase64 Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMBase64 -> OMElement Source # fromElement :: OMElement -> Maybe OMBase64 Source #
type Rep OMBase64
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMBase64 = D1 ('MetaData "OMBase64" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMB" 'PrefixI 'True) (S1 ('MetaSel ('Just "ombContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Word8])))

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

Instances details

Eq OMString Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMString -> OMString -> Bool (/=) :: OMString -> OMString -> Bool
Data OMString Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMString -> ShowS show :: OMString -> String showList :: [OMString] -> ShowS
Generic OMString
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMString :: Type -> Type Methods from :: OMString -> Rep OMString x to :: Rep OMString x -> OMString
FromJSON OMString
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMString parseJSONList :: Value -> Parser [OMString]
ToJSON OMString
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMString -> Value toEncoding :: OMString -> Encoding toJSONList :: [OMString] -> Value toEncodingList :: [OMString] -> Encoding
ShATermConvertible OMString
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMString -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMString] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMString) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMString])
OMElementClass OMString Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMString -> OMElement Source # fromElement :: OMElement -> Maybe OMString Source #
type Rep OMString
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMString = D1 ('MetaData "OMString" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMSTR" 'PrefixI 'True) (S1 ('MetaSel ('Just "omstrText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

mkOMSTR :: String -> OMString Source #

mkOMSTRE :: String -> OMElement Source #

data OMFloat Source #

OMF

Constructors

OMF
Fields omfFloat :: Float

Instances

Instances details

Eq OMFloat Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMFloat -> OMFloat -> Bool (/=) :: OMFloat -> OMFloat -> Bool
Data OMFloat Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMFloat -> ShowS show :: OMFloat -> String showList :: [OMFloat] -> ShowS
Generic OMFloat
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMFloat :: Type -> Type Methods from :: OMFloat -> Rep OMFloat x to :: Rep OMFloat x -> OMFloat
FromJSON OMFloat
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMFloat parseJSONList :: Value -> Parser [OMFloat]
ToJSON OMFloat
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMFloat -> Value toEncoding :: OMFloat -> Encoding toJSONList :: [OMFloat] -> Value toEncodingList :: [OMFloat] -> Encoding
ShATermConvertible OMFloat
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMFloat -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMFloat] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMFloat) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMFloat])
OMElementClass OMFloat Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMFloat -> OMElement Source # fromElement :: OMElement -> Maybe OMFloat Source #
type Rep OMFloat
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMFloat = D1 ('MetaData "OMFloat" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMF" 'PrefixI 'True) (S1 ('MetaSel ('Just "omfFloat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Float)))

mkOMF :: Float -> OMFloat Source #

mkOMFE :: Float -> OMElement Source #

data OMApply Source #

OMA

Constructors

OMA
Fields omaElements :: [OMElement]

Instances

Instances details

Eq OMApply Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMApply -> OMApply -> Bool (/=) :: OMApply -> OMApply -> Bool
Data OMApply Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMApply -> ShowS show :: OMApply -> String showList :: [OMApply] -> ShowS
Generic OMApply
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMApply :: Type -> Type Methods from :: OMApply -> Rep OMApply x to :: Rep OMApply x -> OMApply
FromJSON OMApply
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMApply parseJSONList :: Value -> Parser [OMApply]
ToJSON OMApply
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMApply -> Value toEncoding :: OMApply -> Encoding toJSONList :: [OMApply] -> Value toEncodingList :: [OMApply] -> Encoding
ShATermConvertible OMApply
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMApply -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMApply] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMApply) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMApply])
OMElementClass OMApply Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMApply -> OMElement Source # fromElement :: OMElement -> Maybe OMApply Source #
type Rep OMApply
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMApply = D1 ('MetaData "OMApply" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMA" 'PrefixI 'True) (S1 ('MetaSel ('Just "omaElements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OMElement])))

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

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

data OMError Source #

OME

Constructors

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

Instances

Instances details

Eq OMError Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMError -> OMError -> Bool (/=) :: OMError -> OMError -> Bool
Data OMError Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMError -> ShowS show :: OMError -> String showList :: [OMError] -> ShowS
Generic OMError
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMError :: Type -> Type Methods from :: OMError -> Rep OMError x to :: Rep OMError x -> OMError
FromJSON OMError
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMError parseJSONList :: Value -> Parser [OMError]
ToJSON OMError
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMError -> Value toEncoding :: OMError -> Encoding toJSONList :: [OMError] -> Value toEncodingList :: [OMError] -> Encoding
ShATermConvertible OMError
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMError -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMError] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMError) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMError])
OMElementClass OMError Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMError -> OMElement Source # fromElement :: OMElement -> Maybe OMError Source #
type Rep OMError
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMError = D1 ('MetaData "OMError" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OME" 'PrefixI 'True) (S1 ('MetaSel ('Just "omeSymbol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMSymbol) :*: S1 ('MetaSel ('Just "omeExtra") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OMElement])))

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

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

data OMReference Source #

OMR

Constructors

OMR
Fields omrHRef :: IRI

Instances

Instances details

Eq OMReference Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMReference -> OMReference -> Bool (/=) :: OMReference -> OMReference -> Bool
Data OMReference Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMReference -> ShowS show :: OMReference -> String showList :: [OMReference] -> ShowS
Generic OMReference
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMReference :: Type -> Type Methods from :: OMReference -> Rep OMReference x to :: Rep OMReference x -> OMReference
FromJSON OMReference
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMReference parseJSONList :: Value -> Parser [OMReference]
ToJSON OMReference
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMReference -> Value toEncoding :: OMReference -> Encoding toJSONList :: [OMReference] -> Value toEncodingList :: [OMReference] -> Encoding
ShATermConvertible OMReference
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMReference -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMReference] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMReference) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMReference])
OMElementClass OMReference Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMReference -> OMElement Source # fromElement :: OMElement -> Maybe OMReference Source #
type Rep OMReference
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMReference = D1 ('MetaData "OMReference" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMR" 'PrefixI 'True) (S1 ('MetaSel ('Just "omrHRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRI)))

mkOMR :: IRI -> OMReference Source #

mkOMRE :: IRI -> OMElement Source #

data OMBind Source #

OMB

Constructors

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

Instances

Instances details

Eq OMBind Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMBind -> OMBind -> Bool (/=) :: OMBind -> OMBind -> Bool
Data OMBind Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMBind -> ShowS show :: OMBind -> String showList :: [OMBind] -> ShowS
Generic OMBind
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMBind :: Type -> Type Methods from :: OMBind -> Rep OMBind x to :: Rep OMBind x -> OMBind
FromJSON OMBind
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMBind parseJSONList :: Value -> Parser [OMBind]
ToJSON OMBind
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMBind -> Value toEncoding :: OMBind -> Encoding toJSONList :: [OMBind] -> Value toEncodingList :: [OMBind] -> Encoding
ShATermConvertible OMBind
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMBind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMBind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMBind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMBind])
OMElementClass OMBind Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMBind -> OMElement Source # fromElement :: OMElement -> Maybe OMBind Source #
type Rep OMBind
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMBind = D1 ('MetaData "OMBind" "OMDoc.OMDocInterface" "main" 'False) (C1 ('MetaCons "OMBIND" 'PrefixI 'True) (S1 ('MetaSel ('Just "ombindBinder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMElement) :: (S1 ('MetaSel ('Just "ombindVariables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMBindingVariables) :: S1 ('MetaSel ('Just "ombindExpression") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMElement))))

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

Instances details

Eq OMElement Source #
Instance details Defined in OMDoc.OMDocInterface Methods (==) :: OMElement -> OMElement -> Bool (/=) :: OMElement -> OMElement -> Bool
Data OMElement Source #
Instance details Defined in OMDoc.OMDocInterface 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 :: forall r r'. (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 #
Instance details Defined in OMDoc.OMDocInterface 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 #
Instance details Defined in OMDoc.OMDocInterface Methods showsPrec :: Int -> OMElement -> ShowS show :: OMElement -> String showList :: [OMElement] -> ShowS
Generic OMElement
Instance details Defined in OMDoc.ATC_OMDoc Associated Types type Rep OMElement :: Type -> Type Methods from :: OMElement -> Rep OMElement x to :: Rep OMElement x -> OMElement
FromJSON OMElement
Instance details Defined in OMDoc.ATC_OMDoc Methods parseJSON :: Value -> Parser OMElement parseJSONList :: Value -> Parser [OMElement]
ToJSON OMElement
Instance details Defined in OMDoc.ATC_OMDoc Methods toJSON :: OMElement -> Value toEncoding :: OMElement -> Encoding toJSONList :: [OMElement] -> Value toEncodingList :: [OMElement] -> Encoding
ShATermConvertible OMElement
Instance details Defined in OMDoc.ATC_OMDoc Methods toShATermAux :: ATermTable -> OMElement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMElement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMElement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMElement])
OMElementClass OMElement Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMElement -> OMElement Source # fromElement :: OMElement -> Maybe OMElement Source #
type Rep OMElement
Instance details Defined in OMDoc.ATC_OMDoc type Rep OMElement = D1 ('MetaData "OMElement" "OMDoc.OMDocInterface" "main" 'False) (((C1 ('MetaCons "OMES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMSymbol)) :+: (C1 ('MetaCons "OMEV" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMSimpleVariable)) :+: C1 ('MetaCons "OMEI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMInteger)))) :+: (C1 ('MetaCons "OMEB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMBase64)) :+: (C1 ('MetaCons "OMESTR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMString)) :+: C1 ('MetaCons "OMEF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMFloat))))) :+: ((C1 ('MetaCons "OMEA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMApply)) :+: (C1 ('MetaCons "OMEBIND" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMBind)) :+: C1 ('MetaCons "OMEE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMError)))) :+: (C1 ('MetaCons "OMEATTR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMAttribution)) :+: (C1 ('MetaCons "OMER" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OMReference)) :+: C1 ('MetaCons "OMEC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe OMElement)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))

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

Methods

toElement :: a -> OMElement Source #

fromElement :: OMElement -> Maybe a Source #

Instances

Instances details

OMElementClass OMElement Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMElement -> OMElement Source # fromElement :: OMElement -> Maybe OMElement Source #
OMElementClass OMBind Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMBind -> OMElement Source # fromElement :: OMElement -> Maybe OMBind Source #
OMElementClass OMReference Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMReference -> OMElement Source # fromElement :: OMElement -> Maybe OMReference Source #
OMElementClass OMError Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMError -> OMElement Source # fromElement :: OMElement -> Maybe OMError Source #
OMElementClass OMApply Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMApply -> OMElement Source # fromElement :: OMElement -> Maybe OMApply Source #
OMElementClass OMFloat Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMFloat -> OMElement Source # fromElement :: OMElement -> Maybe OMFloat Source #
OMElementClass OMString Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMString -> OMElement Source # fromElement :: OMElement -> Maybe OMString Source #
OMElementClass OMBase64 Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMBase64 -> OMElement Source # fromElement :: OMElement -> Maybe OMBase64 Source #
OMElementClass OMAttribution Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMAttribution -> OMElement Source # fromElement :: OMElement -> Maybe OMAttribution Source #
OMElementClass OMSimpleVariable Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMSimpleVariable -> OMElement Source # fromElement :: OMElement -> Maybe OMSimpleVariable Source #
OMElementClass OMVariable Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMVariable -> OMElement Source # fromElement :: OMElement -> Maybe OMVariable Source #
OMElementClass OMInteger Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMInteger -> OMElement Source # fromElement :: OMElement -> Maybe OMInteger Source #
OMElementClass OMSymbol Source #
Instance details Defined in OMDoc.OMDocInterface Methods toElement :: OMSymbol -> OMElement Source # fromElement :: OMElement -> Maybe OMSymbol Source #