Copyright	(c) DFKI GmbH 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(derive Typeable instances)
Safe Haskell	None

ExtModal.ATC_ExtModal

Contents

Orphan instances

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])