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

ATC.Graph

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Gr GrContext

Orphan instances

(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (GrContext a b) Source # 

Methods

toShATermAux :: ATermTable -> GrContext a b -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [GrContext a b] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, GrContext a b)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [GrContext a b])

(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (Gr a b) Source # 

Methods

toShATermAux :: ATermTable -> Gr a b -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Gr a b] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Gr a b)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Gr a b])