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

Framework.ATC_Framework

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): FRAM LogicDef ComorphismDef

Orphan instances

ShATermConvertible ComorphismDef Source # 

Methods

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

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

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

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

ShATermConvertible LogicDef Source # 

Methods

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

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

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

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

ShATermConvertible FRAM Source # 

Methods

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

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

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

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