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

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Pos Range Token Id

Orphan instances

ShATermConvertible Id Source # 

Methods

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

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

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

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

ShATermConvertible Token Source # 

Methods

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

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

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

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

ShATermConvertible Range Source # 

Methods

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

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

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

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

ShATermConvertible Pos Source # 

Methods

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

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

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

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