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

Hybrid.ATC_Hybrid

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): H_BASIC_ITEM RIGOR H_SIG_ITEM MODALITY NOMINAL H_FORMULA HybridSign

Orphan instances

ShATermConvertible H_FORMULA Source # 

Methods

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

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

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

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

ShATermConvertible NOMINAL Source # 

Methods

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

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

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

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

ShATermConvertible MODALITY Source # 

Methods

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

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

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

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

ShATermConvertible H_SIG_ITEM Source # 

Methods

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

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

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

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

ShATermConvertible RIGOR Source # 

Methods

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

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

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

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

ShATermConvertible H_BASIC_ITEM Source # 

Methods

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

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

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

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

ShATermConvertible HybridSign Source # 

Methods

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

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

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

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