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

CommonLogic.ATC_CommonLogic

Contents

Description

Orphan instances

ShATermConvertible Sign Source # 

Methods

toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])

ShATermConvertible SYMB_ITEMS Source # 

Methods

toShATermAux :: ATermTable -> SYMB_ITEMS -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SYMB_ITEMS] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_ITEMS)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_ITEMS])

ShATermConvertible SYMB_OR_MAP Source # 

Methods

toShATermAux :: ATermTable -> SYMB_OR_MAP -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SYMB_OR_MAP] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_OR_MAP)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_OR_MAP])

ShATermConvertible SYMB_MAP_ITEMS Source # 

Methods

toShATermAux :: ATermTable -> SYMB_MAP_ITEMS -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SYMB_MAP_ITEMS] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_MAP_ITEMS)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_MAP_ITEMS])

ShATermConvertible NAME_OR_SEQMARK Source # 

Methods

toShATermAux :: ATermTable -> NAME_OR_SEQMARK -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [NAME_OR_SEQMARK] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, NAME_OR_SEQMARK)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [NAME_OR_SEQMARK])

ShATermConvertible TERM_SEQ Source # 

Methods

toShATermAux :: ATermTable -> TERM_SEQ -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TERM_SEQ] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TERM_SEQ)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TERM_SEQ])

ShATermConvertible TERM Source # 

Methods

toShATermAux :: ATermTable -> TERM -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TERM] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TERM)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TERM])

ShATermConvertible ATOM Source # 

Methods

toShATermAux :: ATermTable -> ATOM -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ATOM] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ATOM)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ATOM])

ShATermConvertible ImplEq Source # 

Methods

toShATermAux :: ATermTable -> ImplEq -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ImplEq] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ImplEq)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ImplEq])

ShATermConvertible AndOr Source # 

Methods

toShATermAux :: ATermTable -> AndOr -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [AndOr] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, AndOr)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [AndOr])

ShATermConvertible BOOL_SENT Source # 

Methods

toShATermAux :: ATermTable -> BOOL_SENT -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BOOL_SENT] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BOOL_SENT)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BOOL_SENT])

ShATermConvertible QUANT Source # 

Methods

toShATermAux :: ATermTable -> QUANT -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [QUANT] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, QUANT)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [QUANT])

ShATermConvertible SENTENCE Source # 

Methods

toShATermAux :: ATermTable -> SENTENCE -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SENTENCE] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SENTENCE)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SENTENCE])

ShATermConvertible IMPORTATION Source # 

Methods

toShATermAux :: ATermTable -> IMPORTATION -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [IMPORTATION] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, IMPORTATION)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [IMPORTATION])

ShATermConvertible MODULE Source # 

Methods

toShATermAux :: ATermTable -> MODULE -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [MODULE] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, MODULE)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [MODULE])

ShATermConvertible COMMENT Source # 

Methods

toShATermAux :: ATermTable -> COMMENT -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [COMMENT] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, COMMENT)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [COMMENT])

ShATermConvertible PHRASE Source # 

Methods

toShATermAux :: ATermTable -> PHRASE -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [PHRASE] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, PHRASE)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [PHRASE])

ShATermConvertible TEXT Source # 

Methods

toShATermAux :: ATermTable -> TEXT -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TEXT] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TEXT)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TEXT])

ShATermConvertible TEXT_META Source # 

Methods

toShATermAux :: ATermTable -> TEXT_META -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TEXT_META] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TEXT_META)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TEXT_META])

ShATermConvertible BASIC_ITEMS Source # 

Methods

toShATermAux :: ATermTable -> BASIC_ITEMS -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BASIC_ITEMS] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BASIC_ITEMS)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASIC_ITEMS])

ShATermConvertible BASIC_SPEC Source # 

Methods

toShATermAux :: ATermTable -> BASIC_SPEC -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BASIC_SPEC] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BASIC_SPEC)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASIC_SPEC])

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

Methods

toShATermAux :: ATermTable -> CommonLogicSL -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [CommonLogicSL] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, CommonLogicSL)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [CommonLogicSL])

ShATermConvertible CLTextType Source # 

Methods

toShATermAux :: ATermTable -> CLTextType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [CLTextType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, CLTextType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [CLTextType])