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

Modal.ATC_Modal

Contents

Orphan instances

Description

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

Orphan instances

Generic M_FORMULA Source #
Instance details Associated Types type Rep M_FORMULA :: Type -> Type Methods from :: M_FORMULA -> Rep M_FORMULA x to :: Rep M_FORMULA x -> M_FORMULA
Generic MODALITY Source #
Instance details Associated Types type Rep MODALITY :: Type -> Type Methods from :: MODALITY -> Rep MODALITY x to :: Rep MODALITY x -> MODALITY
Generic M_SIG_ITEM Source #
Instance details Associated Types type Rep M_SIG_ITEM :: Type -> Type Methods from :: M_SIG_ITEM -> Rep M_SIG_ITEM x to :: Rep M_SIG_ITEM x -> M_SIG_ITEM
Generic RIGOR Source #
Instance details Associated Types type Rep RIGOR :: Type -> Type Methods from :: RIGOR -> Rep RIGOR x to :: Rep RIGOR x -> RIGOR
Generic M_BASIC_ITEM Source #
Instance details Associated Types type Rep M_BASIC_ITEM :: Type -> Type Methods from :: M_BASIC_ITEM -> Rep M_BASIC_ITEM x to :: Rep M_BASIC_ITEM x -> M_BASIC_ITEM
Generic ModalSign Source #
Instance details Associated Types type Rep ModalSign :: Type -> Type Methods from :: ModalSign -> Rep ModalSign x to :: Rep ModalSign x -> ModalSign
FromJSON M_FORMULA Source #
Instance details Methods parseJSON :: Value -> Parser M_FORMULA parseJSONList :: Value -> Parser [M_FORMULA]
FromJSON MODALITY Source #
Instance details Methods parseJSON :: Value -> Parser MODALITY parseJSONList :: Value -> Parser [MODALITY]
FromJSON M_SIG_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser M_SIG_ITEM parseJSONList :: Value -> Parser [M_SIG_ITEM]
FromJSON RIGOR Source #
Instance details Methods parseJSON :: Value -> Parser RIGOR parseJSONList :: Value -> Parser [RIGOR]
FromJSON M_BASIC_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser M_BASIC_ITEM parseJSONList :: Value -> Parser [M_BASIC_ITEM]
FromJSON ModalSign Source #
Instance details Methods parseJSON :: Value -> Parser ModalSign parseJSONList :: Value -> Parser [ModalSign]
ToJSON M_FORMULA Source #
Instance details Methods toJSON :: M_FORMULA -> Value toEncoding :: M_FORMULA -> Encoding toJSONList :: [M_FORMULA] -> Value toEncodingList :: [M_FORMULA] -> Encoding
ToJSON MODALITY Source #
Instance details Methods toJSON :: MODALITY -> Value toEncoding :: MODALITY -> Encoding toJSONList :: [MODALITY] -> Value toEncodingList :: [MODALITY] -> Encoding
ToJSON M_SIG_ITEM Source #
Instance details Methods toJSON :: M_SIG_ITEM -> Value toEncoding :: M_SIG_ITEM -> Encoding toJSONList :: [M_SIG_ITEM] -> Value toEncodingList :: [M_SIG_ITEM] -> Encoding
ToJSON RIGOR Source #
Instance details Methods toJSON :: RIGOR -> Value toEncoding :: RIGOR -> Encoding toJSONList :: [RIGOR] -> Value toEncodingList :: [RIGOR] -> Encoding
ToJSON M_BASIC_ITEM Source #
Instance details Methods toJSON :: M_BASIC_ITEM -> Value toEncoding :: M_BASIC_ITEM -> Encoding toJSONList :: [M_BASIC_ITEM] -> Value toEncodingList :: [M_BASIC_ITEM] -> Encoding
ToJSON ModalSign Source #
Instance details Methods toJSON :: ModalSign -> Value toEncoding :: ModalSign -> Encoding toJSONList :: [ModalSign] -> Value toEncodingList :: [ModalSign] -> Encoding
ShATermConvertible M_FORMULA Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> ModalSign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ModalSign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ModalSign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ModalSign])