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, Json 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

Generic OMElement Source #
Instance details Associated Types type Rep OMElement :: Type -> Type Methods from :: OMElement -> Rep OMElement x to :: Rep OMElement x -> OMElement
Generic OMBind Source #
Instance details Associated Types type Rep OMBind :: Type -> Type Methods from :: OMBind -> Rep OMBind x to :: Rep OMBind x -> OMBind
Generic OMReference Source #
Instance details Associated Types type Rep OMReference :: Type -> Type Methods from :: OMReference -> Rep OMReference x to :: Rep OMReference x -> OMReference
Generic OMError Source #
Instance details Associated Types type Rep OMError :: Type -> Type Methods from :: OMError -> Rep OMError x to :: Rep OMError x -> OMError
Generic OMApply Source #
Instance details Associated Types type Rep OMApply :: Type -> Type Methods from :: OMApply -> Rep OMApply x to :: Rep OMApply x -> OMApply
Generic OMFloat Source #
Instance details Associated Types type Rep OMFloat :: Type -> Type Methods from :: OMFloat -> Rep OMFloat x to :: Rep OMFloat x -> OMFloat
Generic OMString Source #
Instance details Associated Types type Rep OMString :: Type -> Type Methods from :: OMString -> Rep OMString x to :: Rep OMString x -> OMString
Generic OMBase64 Source #
Instance details Associated Types type Rep OMBase64 :: Type -> Type Methods from :: OMBase64 -> Rep OMBase64 x to :: Rep OMBase64 x -> OMBase64
Generic OMBindingVariables Source #
Instance details Associated Types type Rep OMBindingVariables :: Type -> Type Methods from :: OMBindingVariables -> Rep OMBindingVariables x to :: Rep OMBindingVariables x -> OMBindingVariables
Generic OMAttributionPart Source #
Instance details Associated Types type Rep OMAttributionPart :: Type -> Type Methods from :: OMAttributionPart -> Rep OMAttributionPart x to :: Rep OMAttributionPart x -> OMAttributionPart
Generic OMAttribution Source #
Instance details Associated Types type Rep OMAttribution :: Type -> Type Methods from :: OMAttribution -> Rep OMAttribution x to :: Rep OMAttribution x -> OMAttribution
Generic OMSimpleVariable Source #
Instance details Associated Types type Rep OMSimpleVariable :: Type -> Type Methods from :: OMSimpleVariable -> Rep OMSimpleVariable x to :: Rep OMSimpleVariable x -> OMSimpleVariable
Generic OMVariable Source #
Instance details Associated Types type Rep OMVariable :: Type -> Type Methods from :: OMVariable -> Rep OMVariable x to :: Rep OMVariable x -> OMVariable
Generic OMInteger Source #
Instance details Associated Types type Rep OMInteger :: Type -> Type Methods from :: OMInteger -> Rep OMInteger x to :: Rep OMInteger x -> OMInteger
Generic OMSymbol Source #
Instance details Associated Types type Rep OMSymbol :: Type -> Type Methods from :: OMSymbol -> Rep OMSymbol x to :: Rep OMSymbol x -> OMSymbol
Generic OMObject Source #
Instance details Associated Types type Rep OMObject :: Type -> Type Methods from :: OMObject -> Rep OMObject x to :: Rep OMObject x -> OMObject
Generic OMDocMathObject Source #
Instance details Associated Types type Rep OMDocMathObject :: Type -> Type Methods from :: OMDocMathObject -> Rep OMDocMathObject x to :: Rep OMDocMathObject x -> OMDocMathObject
Generic MText Source #
Instance details Associated Types type Rep MText :: Type -> Type Methods from :: MText -> Rep MText x to :: Rep MText x -> MText
Generic Morphism Source #
Instance details Associated Types type Rep Morphism :: Type -> Type Methods from :: Morphism -> Rep Morphism x to :: Rep Morphism x -> Morphism
Generic Inclusion Source #
Instance details Associated Types type Rep Inclusion :: Type -> Type Methods from :: Inclusion -> Rep Inclusion x to :: Rep Inclusion x -> Inclusion
Generic Conservativity Source #
Instance details Associated Types type Rep Conservativity :: Type -> Type Methods from :: Conservativity -> Rep Conservativity x to :: Rep Conservativity x -> Conservativity
Generic Recognizer Source #
Instance details Associated Types type Rep Recognizer :: Type -> Type Methods from :: Recognizer -> Rep Recognizer x to :: Rep Recognizer x -> Recognizer
Generic Insort Source #
Instance details Associated Types type Rep Insort :: Type -> Type Methods from :: Insort -> Rep Insort x to :: Rep Insort x -> Insort
Generic Constructor Source #
Instance details Associated Types type Rep Constructor :: Type -> Type Methods from :: Constructor -> Rep Constructor x to :: Rep Constructor x -> Constructor
Generic SortDef Source #
Instance details Associated Types type Rep SortDef :: Type -> Type Methods from :: SortDef -> Rep SortDef x to :: Rep SortDef x -> SortDef
Generic SortType Source #
Instance details Associated Types type Rep SortType :: Type -> Type Methods from :: SortType -> Rep SortType x to :: Rep SortType x -> SortType
Generic ADT Source #
Instance details Associated Types type Rep ADT :: Type -> Type Methods from :: ADT -> Rep ADT x to :: Rep ADT x -> ADT
Generic Definition Source #
Instance details Associated Types type Rep Definition :: Type -> Type Methods from :: Definition -> Rep Definition x to :: Rep Definition x -> Definition
Generic Conclusion Source #
Instance details Associated Types type Rep Conclusion :: Type -> Type Methods from :: Conclusion -> Rep Conclusion x to :: Rep Conclusion x -> Conclusion
Generic Assumption Source #
Instance details Associated Types type Rep Assumption :: Type -> Type Methods from :: Assumption -> Rep Assumption x to :: Rep Assumption x -> Assumption
Generic FMP Source #
Instance details Associated Types type Rep FMP :: Type -> Type Methods from :: FMP -> Rep FMP x to :: Rep FMP x -> FMP
Generic CMP Source #
Instance details Associated Types type Rep CMP :: Type -> Type Methods from :: CMP -> Rep CMP x to :: Rep CMP x -> CMP
Generic Axiom Source #
Instance details Associated Types type Rep Axiom :: Type -> Type Methods from :: Axiom -> Rep Axiom x to :: Rep Axiom x -> Axiom
Generic Constitutive Source #
Instance details Associated Types type Rep Constitutive :: Type -> Type Methods from :: Constitutive -> Rep Constitutive x to :: Rep Constitutive x -> Constitutive
Generic Type Source #
Instance details Associated Types type Rep Type :: Type -> Type Methods from :: Type -> Rep Type x to :: Rep Type x -> Type
Generic Symbol Source #
Instance details Associated Types type Rep Symbol :: Type -> Type Methods from :: Symbol -> Rep Symbol x to :: Rep Symbol x -> Symbol
Generic SymbolRole Source #
Instance details Associated Types type Rep SymbolRole :: Type -> Type Methods from :: SymbolRole -> Rep SymbolRole x to :: Rep SymbolRole x -> SymbolRole
Generic Use Source #
Instance details Associated Types type Rep Use :: Type -> Type Methods from :: Use -> Rep Use x to :: Rep Use x -> Use
Generic Presentation Source #
Instance details Associated Types type Rep Presentation :: Type -> Type Methods from :: Presentation -> Rep Presentation x to :: Rep Presentation x -> Presentation
Generic Imports Source #
Instance details Associated Types type Rep Imports :: Type -> Type Methods from :: Imports -> Rep Imports x to :: Rep Imports x -> Imports
Generic ImportsType Source #
Instance details Associated Types type Rep ImportsType :: Type -> Type Methods from :: ImportsType -> Rep ImportsType x to :: Rep ImportsType x -> ImportsType
Generic Theory Source #
Instance details Associated Types type Rep Theory :: Type -> Type Methods from :: Theory -> Rep Theory x to :: Rep Theory x -> Theory
Generic OMDoc Source #
Instance details Associated Types type Rep OMDoc :: Type -> Type Methods from :: OMDoc -> Rep OMDoc x to :: Rep OMDoc x -> OMDoc
FromJSON OMElement Source #
Instance details Methods parseJSON :: Value -> Parser OMElement parseJSONList :: Value -> Parser [OMElement]
FromJSON OMBind Source #
Instance details Methods parseJSON :: Value -> Parser OMBind parseJSONList :: Value -> Parser [OMBind]
FromJSON OMReference Source #
Instance details Methods parseJSON :: Value -> Parser OMReference parseJSONList :: Value -> Parser [OMReference]
FromJSON OMError Source #
Instance details Methods parseJSON :: Value -> Parser OMError parseJSONList :: Value -> Parser [OMError]
FromJSON OMApply Source #
Instance details Methods parseJSON :: Value -> Parser OMApply parseJSONList :: Value -> Parser [OMApply]
FromJSON OMFloat Source #
Instance details Methods parseJSON :: Value -> Parser OMFloat parseJSONList :: Value -> Parser [OMFloat]
FromJSON OMString Source #
Instance details Methods parseJSON :: Value -> Parser OMString parseJSONList :: Value -> Parser [OMString]
FromJSON OMBase64 Source #
Instance details Methods parseJSON :: Value -> Parser OMBase64 parseJSONList :: Value -> Parser [OMBase64]
FromJSON OMBindingVariables Source #
Instance details Methods parseJSON :: Value -> Parser OMBindingVariables parseJSONList :: Value -> Parser [OMBindingVariables]
FromJSON OMAttributionPart Source #
Instance details Methods parseJSON :: Value -> Parser OMAttributionPart parseJSONList :: Value -> Parser [OMAttributionPart]
FromJSON OMAttribution Source #
Instance details Methods parseJSON :: Value -> Parser OMAttribution parseJSONList :: Value -> Parser [OMAttribution]
FromJSON OMSimpleVariable Source #
Instance details Methods parseJSON :: Value -> Parser OMSimpleVariable parseJSONList :: Value -> Parser [OMSimpleVariable]
FromJSON OMVariable Source #
Instance details Methods parseJSON :: Value -> Parser OMVariable parseJSONList :: Value -> Parser [OMVariable]
FromJSON OMInteger Source #
Instance details Methods parseJSON :: Value -> Parser OMInteger parseJSONList :: Value -> Parser [OMInteger]
FromJSON OMSymbol Source #
Instance details Methods parseJSON :: Value -> Parser OMSymbol parseJSONList :: Value -> Parser [OMSymbol]
FromJSON OMObject Source #
Instance details Methods parseJSON :: Value -> Parser OMObject parseJSONList :: Value -> Parser [OMObject]
FromJSON OMDocMathObject Source #
Instance details Methods parseJSON :: Value -> Parser OMDocMathObject parseJSONList :: Value -> Parser [OMDocMathObject]
FromJSON MText Source #
Instance details Methods parseJSON :: Value -> Parser MText parseJSONList :: Value -> Parser [MText]
FromJSON Morphism Source #
Instance details Methods parseJSON :: Value -> Parser Morphism parseJSONList :: Value -> Parser [Morphism]
FromJSON Inclusion Source #
Instance details Methods parseJSON :: Value -> Parser Inclusion parseJSONList :: Value -> Parser [Inclusion]
FromJSON Conservativity Source #
Instance details Methods parseJSON :: Value -> Parser Conservativity parseJSONList :: Value -> Parser [Conservativity]
FromJSON Recognizer Source #
Instance details Methods parseJSON :: Value -> Parser Recognizer parseJSONList :: Value -> Parser [Recognizer]
FromJSON Insort Source #
Instance details Methods parseJSON :: Value -> Parser Insort parseJSONList :: Value -> Parser [Insort]
FromJSON Constructor Source #
Instance details Methods parseJSON :: Value -> Parser Constructor parseJSONList :: Value -> Parser [Constructor]
FromJSON SortDef Source #
Instance details Methods parseJSON :: Value -> Parser SortDef parseJSONList :: Value -> Parser [SortDef]
FromJSON SortType Source #
Instance details Methods parseJSON :: Value -> Parser SortType parseJSONList :: Value -> Parser [SortType]
FromJSON ADT Source #
Instance details Methods parseJSON :: Value -> Parser ADT parseJSONList :: Value -> Parser [ADT]
FromJSON Definition Source #
Instance details Methods parseJSON :: Value -> Parser Definition parseJSONList :: Value -> Parser [Definition]
FromJSON Conclusion Source #
Instance details Methods parseJSON :: Value -> Parser Conclusion parseJSONList :: Value -> Parser [Conclusion]
FromJSON Assumption Source #
Instance details Methods parseJSON :: Value -> Parser Assumption parseJSONList :: Value -> Parser [Assumption]
FromJSON FMP Source #
Instance details Methods parseJSON :: Value -> Parser FMP parseJSONList :: Value -> Parser [FMP]
FromJSON CMP Source #
Instance details Methods parseJSON :: Value -> Parser CMP parseJSONList :: Value -> Parser [CMP]
FromJSON Axiom Source #
Instance details Methods parseJSON :: Value -> Parser Axiom parseJSONList :: Value -> Parser [Axiom]
FromJSON Constitutive Source #
Instance details Methods parseJSON :: Value -> Parser Constitutive parseJSONList :: Value -> Parser [Constitutive]
FromJSON Type Source #
Instance details Methods parseJSON :: Value -> Parser Type parseJSONList :: Value -> Parser [Type]
FromJSON Symbol Source #
Instance details Methods parseJSON :: Value -> Parser Symbol parseJSONList :: Value -> Parser [Symbol]
FromJSON SymbolRole Source #
Instance details Methods parseJSON :: Value -> Parser SymbolRole parseJSONList :: Value -> Parser [SymbolRole]
FromJSON Use Source #
Instance details Methods parseJSON :: Value -> Parser Use parseJSONList :: Value -> Parser [Use]
FromJSON Presentation Source #
Instance details Methods parseJSON :: Value -> Parser Presentation parseJSONList :: Value -> Parser [Presentation]
FromJSON Imports Source #
Instance details Methods parseJSON :: Value -> Parser Imports parseJSONList :: Value -> Parser [Imports]
FromJSON ImportsType Source #
Instance details Methods parseJSON :: Value -> Parser ImportsType parseJSONList :: Value -> Parser [ImportsType]
FromJSON Theory Source #
Instance details Methods parseJSON :: Value -> Parser Theory parseJSONList :: Value -> Parser [Theory]
FromJSON OMDoc Source #
Instance details Methods parseJSON :: Value -> Parser OMDoc parseJSONList :: Value -> Parser [OMDoc]
ToJSON OMElement Source #
Instance details Methods toJSON :: OMElement -> Value toEncoding :: OMElement -> Encoding toJSONList :: [OMElement] -> Value toEncodingList :: [OMElement] -> Encoding
ToJSON OMBind Source #
Instance details Methods toJSON :: OMBind -> Value toEncoding :: OMBind -> Encoding toJSONList :: [OMBind] -> Value toEncodingList :: [OMBind] -> Encoding
ToJSON OMReference Source #
Instance details Methods toJSON :: OMReference -> Value toEncoding :: OMReference -> Encoding toJSONList :: [OMReference] -> Value toEncodingList :: [OMReference] -> Encoding
ToJSON OMError Source #
Instance details Methods toJSON :: OMError -> Value toEncoding :: OMError -> Encoding toJSONList :: [OMError] -> Value toEncodingList :: [OMError] -> Encoding
ToJSON OMApply Source #
Instance details Methods toJSON :: OMApply -> Value toEncoding :: OMApply -> Encoding toJSONList :: [OMApply] -> Value toEncodingList :: [OMApply] -> Encoding
ToJSON OMFloat Source #
Instance details Methods toJSON :: OMFloat -> Value toEncoding :: OMFloat -> Encoding toJSONList :: [OMFloat] -> Value toEncodingList :: [OMFloat] -> Encoding
ToJSON OMString Source #
Instance details Methods toJSON :: OMString -> Value toEncoding :: OMString -> Encoding toJSONList :: [OMString] -> Value toEncodingList :: [OMString] -> Encoding
ToJSON OMBase64 Source #
Instance details Methods toJSON :: OMBase64 -> Value toEncoding :: OMBase64 -> Encoding toJSONList :: [OMBase64] -> Value toEncodingList :: [OMBase64] -> Encoding
ToJSON OMBindingVariables Source #
Instance details Methods toJSON :: OMBindingVariables -> Value toEncoding :: OMBindingVariables -> Encoding toJSONList :: [OMBindingVariables] -> Value toEncodingList :: [OMBindingVariables] -> Encoding
ToJSON OMAttributionPart Source #
Instance details Methods toJSON :: OMAttributionPart -> Value toEncoding :: OMAttributionPart -> Encoding toJSONList :: [OMAttributionPart] -> Value toEncodingList :: [OMAttributionPart] -> Encoding
ToJSON OMAttribution Source #
Instance details Methods toJSON :: OMAttribution -> Value toEncoding :: OMAttribution -> Encoding toJSONList :: [OMAttribution] -> Value toEncodingList :: [OMAttribution] -> Encoding
ToJSON OMSimpleVariable Source #
Instance details Methods toJSON :: OMSimpleVariable -> Value toEncoding :: OMSimpleVariable -> Encoding toJSONList :: [OMSimpleVariable] -> Value toEncodingList :: [OMSimpleVariable] -> Encoding
ToJSON OMVariable Source #
Instance details Methods toJSON :: OMVariable -> Value toEncoding :: OMVariable -> Encoding toJSONList :: [OMVariable] -> Value toEncodingList :: [OMVariable] -> Encoding
ToJSON OMInteger Source #
Instance details Methods toJSON :: OMInteger -> Value toEncoding :: OMInteger -> Encoding toJSONList :: [OMInteger] -> Value toEncodingList :: [OMInteger] -> Encoding
ToJSON OMSymbol Source #
Instance details Methods toJSON :: OMSymbol -> Value toEncoding :: OMSymbol -> Encoding toJSONList :: [OMSymbol] -> Value toEncodingList :: [OMSymbol] -> Encoding
ToJSON OMObject Source #
Instance details Methods toJSON :: OMObject -> Value toEncoding :: OMObject -> Encoding toJSONList :: [OMObject] -> Value toEncodingList :: [OMObject] -> Encoding
ToJSON OMDocMathObject Source #
Instance details Methods toJSON :: OMDocMathObject -> Value toEncoding :: OMDocMathObject -> Encoding toJSONList :: [OMDocMathObject] -> Value toEncodingList :: [OMDocMathObject] -> Encoding
ToJSON MText Source #
Instance details Methods toJSON :: MText -> Value toEncoding :: MText -> Encoding toJSONList :: [MText] -> Value toEncodingList :: [MText] -> Encoding
ToJSON Morphism Source #
Instance details Methods toJSON :: Morphism -> Value toEncoding :: Morphism -> Encoding toJSONList :: [Morphism] -> Value toEncodingList :: [Morphism] -> Encoding
ToJSON Inclusion Source #
Instance details Methods toJSON :: Inclusion -> Value toEncoding :: Inclusion -> Encoding toJSONList :: [Inclusion] -> Value toEncodingList :: [Inclusion] -> Encoding
ToJSON Conservativity Source #
Instance details Methods toJSON :: Conservativity -> Value toEncoding :: Conservativity -> Encoding toJSONList :: [Conservativity] -> Value toEncodingList :: [Conservativity] -> Encoding
ToJSON Recognizer Source #
Instance details Methods toJSON :: Recognizer -> Value toEncoding :: Recognizer -> Encoding toJSONList :: [Recognizer] -> Value toEncodingList :: [Recognizer] -> Encoding
ToJSON Insort Source #
Instance details Methods toJSON :: Insort -> Value toEncoding :: Insort -> Encoding toJSONList :: [Insort] -> Value toEncodingList :: [Insort] -> Encoding
ToJSON Constructor Source #
Instance details Methods toJSON :: Constructor -> Value toEncoding :: Constructor -> Encoding toJSONList :: [Constructor] -> Value toEncodingList :: [Constructor] -> Encoding
ToJSON SortDef Source #
Instance details Methods toJSON :: SortDef -> Value toEncoding :: SortDef -> Encoding toJSONList :: [SortDef] -> Value toEncodingList :: [SortDef] -> Encoding
ToJSON SortType Source #
Instance details Methods toJSON :: SortType -> Value toEncoding :: SortType -> Encoding toJSONList :: [SortType] -> Value toEncodingList :: [SortType] -> Encoding
ToJSON ADT Source #
Instance details Methods toJSON :: ADT -> Value toEncoding :: ADT -> Encoding toJSONList :: [ADT] -> Value toEncodingList :: [ADT] -> Encoding
ToJSON Definition Source #
Instance details Methods toJSON :: Definition -> Value toEncoding :: Definition -> Encoding toJSONList :: [Definition] -> Value toEncodingList :: [Definition] -> Encoding
ToJSON Conclusion Source #
Instance details Methods toJSON :: Conclusion -> Value toEncoding :: Conclusion -> Encoding toJSONList :: [Conclusion] -> Value toEncodingList :: [Conclusion] -> Encoding
ToJSON Assumption Source #
Instance details Methods toJSON :: Assumption -> Value toEncoding :: Assumption -> Encoding toJSONList :: [Assumption] -> Value toEncodingList :: [Assumption] -> Encoding
ToJSON FMP Source #
Instance details Methods toJSON :: FMP -> Value toEncoding :: FMP -> Encoding toJSONList :: [FMP] -> Value toEncodingList :: [FMP] -> Encoding
ToJSON CMP Source #
Instance details Methods toJSON :: CMP -> Value toEncoding :: CMP -> Encoding toJSONList :: [CMP] -> Value toEncodingList :: [CMP] -> Encoding
ToJSON Axiom Source #
Instance details Methods toJSON :: Axiom -> Value toEncoding :: Axiom -> Encoding toJSONList :: [Axiom] -> Value toEncodingList :: [Axiom] -> Encoding
ToJSON Constitutive Source #
Instance details Methods toJSON :: Constitutive -> Value toEncoding :: Constitutive -> Encoding toJSONList :: [Constitutive] -> Value toEncodingList :: [Constitutive] -> Encoding
ToJSON Type Source #
Instance details Methods toJSON :: Type -> Value toEncoding :: Type -> Encoding toJSONList :: [Type] -> Value toEncodingList :: [Type] -> Encoding
ToJSON Symbol Source #
Instance details Methods toJSON :: Symbol -> Value toEncoding :: Symbol -> Encoding toJSONList :: [Symbol] -> Value toEncodingList :: [Symbol] -> Encoding
ToJSON SymbolRole Source #
Instance details Methods toJSON :: SymbolRole -> Value toEncoding :: SymbolRole -> Encoding toJSONList :: [SymbolRole] -> Value toEncodingList :: [SymbolRole] -> Encoding
ToJSON Use Source #
Instance details Methods toJSON :: Use -> Value toEncoding :: Use -> Encoding toJSONList :: [Use] -> Value toEncodingList :: [Use] -> Encoding
ToJSON Presentation Source #
Instance details Methods toJSON :: Presentation -> Value toEncoding :: Presentation -> Encoding toJSONList :: [Presentation] -> Value toEncodingList :: [Presentation] -> Encoding
ToJSON Imports Source #
Instance details Methods toJSON :: Imports -> Value toEncoding :: Imports -> Encoding toJSONList :: [Imports] -> Value toEncodingList :: [Imports] -> Encoding
ToJSON ImportsType Source #
Instance details Methods toJSON :: ImportsType -> Value toEncoding :: ImportsType -> Encoding toJSONList :: [ImportsType] -> Value toEncodingList :: [ImportsType] -> Encoding
ToJSON Theory Source #
Instance details Methods toJSON :: Theory -> Value toEncoding :: Theory -> Encoding toJSONList :: [Theory] -> Value toEncodingList :: [Theory] -> Encoding
ToJSON OMDoc Source #
Instance details Methods toJSON :: OMDoc -> Value toEncoding :: OMDoc -> Encoding toJSONList :: [OMDoc] -> Value toEncodingList :: [OMDoc] -> Encoding
ShATermConvertible OMElement Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> OMDoc -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OMDoc] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OMDoc) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OMDoc])