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

CoCASL.ATC_CoCASL

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): C_BASIC_ITEM C_SIG_ITEM CODATATYPE_DECL COALTERNATIVE COCOMPONENTS MODALITY C_FORMULA CoCASLSign

Orphan instances

ShATermConvertible C_FORMULA Source # 

Methods

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

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

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

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

ShATermConvertible MODALITY Source # 

Methods

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

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

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

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

ShATermConvertible COCOMPONENTS Source # 

Methods

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

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

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

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

ShATermConvertible COALTERNATIVE Source # 

Methods

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

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

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

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

ShATermConvertible CODATATYPE_DECL Source # 

Methods

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

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

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

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

ShATermConvertible C_SIG_ITEM Source # 

Methods

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

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

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

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

ShATermConvertible C_BASIC_ITEM Source # 

Methods

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

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

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

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

ShATermConvertible CoCASLSign Source # 

Methods

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

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

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

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