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

ExtModal.ATC_ExtModal

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): FrameForm ModDefn EM_BASIC_ITEM ModOp MODALITY EM_SIG_ITEM BoxOp FormPrefix EM_FORMULA EModalSign MorphExtension Frequency Sublogic

Orphan instances

ShATermConvertible EModalSign Source # 

Methods

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

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

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

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

ShATermConvertible EM_FORMULA Source # 

Methods

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

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

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

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

ShATermConvertible FormPrefix Source # 

Methods

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

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

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

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

ShATermConvertible BoxOp Source # 

Methods

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

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

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

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

ShATermConvertible EM_SIG_ITEM Source # 

Methods

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

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

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

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

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 ModOp Source # 

Methods

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

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

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

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

ShATermConvertible EM_BASIC_ITEM Source # 

Methods

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

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

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

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

ShATermConvertible ModDefn Source # 

Methods

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

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

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

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

ShATermConvertible FrameForm Source # 

Methods

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

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

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

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

ShATermConvertible MorphExtension Source # 

Methods

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

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

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

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

ShATermConvertible Sublogic Source # 

Methods

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

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

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

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

ShATermConvertible Frequency Source # 

Methods

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

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

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

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