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.GlobalAnnotations

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): GlobalAnnos LiteralAnnos LiteralType

Orphan instances

ShATermConvertible LiteralType Source # 

Methods

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

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

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

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

ShATermConvertible LiteralAnnos Source # 

Methods

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

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

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

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

ShATermConvertible GlobalAnnos Source # 

Methods

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

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

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

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