Copyright	(c) DFKI GmbH 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(derive Typeable instances)
Safe Haskell	None

OMDoc.ATC_OMDoc

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): OMDoc Theory ImportsType Imports Presentation Use SymbolRole Symbol Type Constitutive Axiom CMP FMP Assumption Conclusion Definition ADT SortType SortDef Constructor Insort Recognizer Conservativity Inclusion Morphism MText OMDocMathObject OMObject OMSymbol OMInteger OMVariable OMSimpleVariable OMAttribution OMAttributionPart OMBindingVariables OMBase64 OMString OMFloat OMApply OMError OMReference OMBind OMElement

Orphan instances

ShATermConvertible OMElement Source #
Methods toShATermAux :: ATermTable -> OMElement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMElement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMElement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMElement])
ShATermConvertible OMBind Source #
Methods toShATermAux :: ATermTable -> OMBind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMBind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMBind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMBind])
ShATermConvertible OMReference Source #
Methods toShATermAux :: ATermTable -> OMReference -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMReference] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMReference) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMReference])
ShATermConvertible OMError Source #
Methods toShATermAux :: ATermTable -> OMError -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMError] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMError) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMError])
ShATermConvertible OMApply Source #
Methods toShATermAux :: ATermTable -> OMApply -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMApply] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMApply) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMApply])
ShATermConvertible OMFloat Source #
Methods toShATermAux :: ATermTable -> OMFloat -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMFloat] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMFloat) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMFloat])
ShATermConvertible OMString Source #
Methods toShATermAux :: ATermTable -> OMString -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMString] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMString) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMString])
ShATermConvertible OMBase64 Source #
Methods toShATermAux :: ATermTable -> OMBase64 -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMBase64] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMBase64) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMBase64])
ShATermConvertible OMBindingVariables Source #
Methods toShATermAux :: ATermTable -> OMBindingVariables -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMBindingVariables] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMBindingVariables) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMBindingVariables])
ShATermConvertible OMAttributionPart Source #
Methods toShATermAux :: ATermTable -> OMAttributionPart -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMAttributionPart] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMAttributionPart) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMAttributionPart])
ShATermConvertible OMAttribution Source #
Methods toShATermAux :: ATermTable -> OMAttribution -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMAttribution] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMAttribution) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMAttribution])
ShATermConvertible OMSimpleVariable Source #
Methods toShATermAux :: ATermTable -> OMSimpleVariable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMSimpleVariable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMSimpleVariable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMSimpleVariable])
ShATermConvertible OMVariable Source #
Methods toShATermAux :: ATermTable -> OMVariable -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMVariable] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMVariable) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMVariable])
ShATermConvertible OMInteger Source #
Methods toShATermAux :: ATermTable -> OMInteger -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMInteger] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMInteger) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMInteger])
ShATermConvertible OMSymbol Source #
Methods toShATermAux :: ATermTable -> OMSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMSymbol])
ShATermConvertible OMObject Source #
Methods toShATermAux :: ATermTable -> OMObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMObject])
ShATermConvertible OMDocMathObject Source #
Methods toShATermAux :: ATermTable -> OMDocMathObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMDocMathObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMDocMathObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMDocMathObject])
ShATermConvertible MText Source #
Methods toShATermAux :: ATermTable -> MText -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MText] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MText) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MText])
ShATermConvertible Morphism Source #
Methods toShATermAux :: ATermTable -> Morphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Morphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Morphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Morphism])
ShATermConvertible Inclusion Source #
Methods toShATermAux :: ATermTable -> Inclusion -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Inclusion] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Inclusion) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Inclusion])
ShATermConvertible Conservativity Source #
Methods toShATermAux :: ATermTable -> Conservativity -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Conservativity] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Conservativity) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Conservativity])
ShATermConvertible Recognizer Source #
Methods toShATermAux :: ATermTable -> Recognizer -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Recognizer] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Recognizer) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Recognizer])
ShATermConvertible Insort Source #
Methods toShATermAux :: ATermTable -> Insort -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Insort] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Insort) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Insort])
ShATermConvertible Constructor Source #
Methods toShATermAux :: ATermTable -> Constructor -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Constructor] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Constructor) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Constructor])
ShATermConvertible SortDef Source #
Methods toShATermAux :: ATermTable -> SortDef -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SortDef] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SortDef) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SortDef])
ShATermConvertible SortType Source #
Methods toShATermAux :: ATermTable -> SortType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SortType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SortType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SortType])
ShATermConvertible ADT Source #
Methods toShATermAux :: ATermTable -> ADT -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ADT] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ADT) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ADT])
ShATermConvertible Definition Source #
Methods toShATermAux :: ATermTable -> Definition -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Definition] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Definition) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Definition])
ShATermConvertible Conclusion Source #
Methods toShATermAux :: ATermTable -> Conclusion -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Conclusion] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Conclusion) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Conclusion])
ShATermConvertible Assumption Source #
Methods toShATermAux :: ATermTable -> Assumption -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Assumption] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Assumption) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Assumption])
ShATermConvertible FMP Source #
Methods toShATermAux :: ATermTable -> FMP -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FMP] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FMP) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FMP])
ShATermConvertible CMP Source #
Methods toShATermAux :: ATermTable -> CMP -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CMP] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CMP) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CMP])
ShATermConvertible Axiom Source #
Methods toShATermAux :: ATermTable -> Axiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Axiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Axiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Axiom])
ShATermConvertible Constitutive Source #
Methods toShATermAux :: ATermTable -> Constitutive -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Constitutive] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Constitutive) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Constitutive])
ShATermConvertible Type Source #
Methods toShATermAux :: ATermTable -> Type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Type])
ShATermConvertible Symbol Source #
Methods toShATermAux :: ATermTable -> Symbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Symbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Symbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Symbol])
ShATermConvertible SymbolRole Source #
Methods toShATermAux :: ATermTable -> SymbolRole -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbolRole] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbolRole) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbolRole])
ShATermConvertible Use Source #
Methods toShATermAux :: ATermTable -> Use -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Use] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Use) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Use])
ShATermConvertible Presentation Source #
Methods toShATermAux :: ATermTable -> Presentation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Presentation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Presentation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Presentation])
ShATermConvertible Imports Source #
Methods toShATermAux :: ATermTable -> Imports -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Imports] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Imports) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Imports])
ShATermConvertible ImportsType Source #
Methods toShATermAux :: ATermTable -> ImportsType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ImportsType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ImportsType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ImportsType])
ShATermConvertible Theory Source #
Methods toShATermAux :: ATermTable -> Theory -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Theory] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Theory) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Theory])
ShATermConvertible OMDoc Source #
Methods toShATermAux :: ATermTable -> OMDoc -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMDoc] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMDoc) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMDoc])