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

Modal.ATC_Modal

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): M_BASIC_ITEM RIGOR M_SIG_ITEM MODALITY M_FORMULA ModalSign

Orphan instances

ShATermConvertible M_FORMULA Source # 

Methods

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

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

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

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

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

Methods

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

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

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

fromShATermList' :: Int -> ATermTable -> (ATermTable, [M_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 M_BASIC_ITEM Source # 

Methods

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

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

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

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

ShATermConvertible ModalSign Source # 

Methods

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

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

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

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