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

DFOL.ATC_DFOL

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): BASIC_SPEC BASIC_ITEM TYPE TERM FORMULA SYMB_ITEMS SYMB_MAP_ITEMS SYMB_OR_MAP KIND CONTEXT Sign Morphism Symbol

Orphan instances

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

Methods

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

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

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

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

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

Methods

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

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

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

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

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

Methods

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

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

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

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

ShATermConvertible KIND Source # 

Methods

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

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

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

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

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