Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

OMDoc.ATC_OMDoc

Contents

Description

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])