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

TopHybrid.ATC_TopHybrid

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): TH_BSPEC TH_BASIC_ITEM TH_FORMULA Mor THybridSign

Orphan instances

ShATermConvertible Mor Source # 

Methods

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

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

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

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

ShATermConvertible TH_BASIC_ITEM Source # 

Methods

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

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

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

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

ShATermConvertible f => ShATermConvertible (TH_FORMULA f) Source # 

Methods

toShATermAux :: ATermTable -> TH_FORMULA f -> IO (ATermTable, Int)

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

fromShATermAux :: Int -> ATermTable -> (ATermTable, TH_FORMULA f)

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

ShATermConvertible s => ShATermConvertible (TH_BSPEC s) Source # 

Methods

toShATermAux :: ATermTable -> TH_BSPEC s -> IO (ATermTable, Int)

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

fromShATermAux :: Int -> ATermTable -> (ATermTable, TH_BSPEC s)

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

ShATermConvertible s => ShATermConvertible (THybridSign s) Source # 

Methods

toShATermAux :: ATermTable -> THybridSign s -> IO (ATermTable, Int)

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

fromShATermAux :: Int -> ATermTable -> (ATermTable, THybridSign s)

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