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

Fpl.ATC_Fpl

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): FplExt FplSortItem FplOpItem FunDef TermExt SignExt

Orphan instances

ShATermConvertible TermExt Source # 

Methods

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

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

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

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

ShATermConvertible FunDef Source # 

Methods

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

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

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

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

ShATermConvertible FplOpItem Source # 

Methods

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

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

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

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

ShATermConvertible FplSortItem Source # 

Methods

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

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

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

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

ShATermConvertible FplExt Source # 

Methods

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

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

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

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

ShATermConvertible SignExt Source # 

Methods

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

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

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

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