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

CoCASL.ATC_CoCASL

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): C_BASIC_ITEM C_SIG_ITEM CODATATYPE_DECL COALTERNATIVE COCOMPONENTS MODALITY C_FORMULA CoCASLSign

Orphan instances

Generic C_FORMULA Source #
Instance details Associated Types type Rep C_FORMULA :: Type -> Type Methods from :: C_FORMULA -> Rep C_FORMULA x to :: Rep C_FORMULA x -> C_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 COCOMPONENTS Source #
Instance details Associated Types type Rep COCOMPONENTS :: Type -> Type Methods from :: COCOMPONENTS -> Rep COCOMPONENTS x to :: Rep COCOMPONENTS x -> COCOMPONENTS
Generic COALTERNATIVE Source #
Instance details Associated Types type Rep COALTERNATIVE :: Type -> Type Methods from :: COALTERNATIVE -> Rep COALTERNATIVE x to :: Rep COALTERNATIVE x -> COALTERNATIVE
Generic CODATATYPE_DECL Source #
Instance details Associated Types type Rep CODATATYPE_DECL :: Type -> Type Methods from :: CODATATYPE_DECL -> Rep CODATATYPE_DECL x to :: Rep CODATATYPE_DECL x -> CODATATYPE_DECL
Generic C_SIG_ITEM Source #
Instance details Associated Types type Rep C_SIG_ITEM :: Type -> Type Methods from :: C_SIG_ITEM -> Rep C_SIG_ITEM x to :: Rep C_SIG_ITEM x -> C_SIG_ITEM
Generic C_BASIC_ITEM Source #
Instance details Associated Types type Rep C_BASIC_ITEM :: Type -> Type Methods from :: C_BASIC_ITEM -> Rep C_BASIC_ITEM x to :: Rep C_BASIC_ITEM x -> C_BASIC_ITEM
Generic CoCASLSign Source #
Instance details Associated Types type Rep CoCASLSign :: Type -> Type Methods from :: CoCASLSign -> Rep CoCASLSign x to :: Rep CoCASLSign x -> CoCASLSign
FromJSON C_FORMULA Source #
Instance details Methods parseJSON :: Value -> Parser C_FORMULA parseJSONList :: Value -> Parser [C_FORMULA]
FromJSON MODALITY Source #
Instance details Methods parseJSON :: Value -> Parser MODALITY parseJSONList :: Value -> Parser [MODALITY]
FromJSON COCOMPONENTS Source #
Instance details Methods parseJSON :: Value -> Parser COCOMPONENTS parseJSONList :: Value -> Parser [COCOMPONENTS]
FromJSON COALTERNATIVE Source #
Instance details Methods parseJSON :: Value -> Parser COALTERNATIVE parseJSONList :: Value -> Parser [COALTERNATIVE]
FromJSON CODATATYPE_DECL Source #
Instance details Methods parseJSON :: Value -> Parser CODATATYPE_DECL parseJSONList :: Value -> Parser [CODATATYPE_DECL]
FromJSON C_SIG_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser C_SIG_ITEM parseJSONList :: Value -> Parser [C_SIG_ITEM]
FromJSON C_BASIC_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser C_BASIC_ITEM parseJSONList :: Value -> Parser [C_BASIC_ITEM]
FromJSON CoCASLSign Source #
Instance details Methods parseJSON :: Value -> Parser CoCASLSign parseJSONList :: Value -> Parser [CoCASLSign]
ToJSON C_FORMULA Source #
Instance details Methods toJSON :: C_FORMULA -> Value toEncoding :: C_FORMULA -> Encoding toJSONList :: [C_FORMULA] -> Value toEncodingList :: [C_FORMULA] -> Encoding
ToJSON MODALITY Source #
Instance details Methods toJSON :: MODALITY -> Value toEncoding :: MODALITY -> Encoding toJSONList :: [MODALITY] -> Value toEncodingList :: [MODALITY] -> Encoding
ToJSON COCOMPONENTS Source #
Instance details Methods toJSON :: COCOMPONENTS -> Value toEncoding :: COCOMPONENTS -> Encoding toJSONList :: [COCOMPONENTS] -> Value toEncodingList :: [COCOMPONENTS] -> Encoding
ToJSON COALTERNATIVE Source #
Instance details Methods toJSON :: COALTERNATIVE -> Value toEncoding :: COALTERNATIVE -> Encoding toJSONList :: [COALTERNATIVE] -> Value toEncodingList :: [COALTERNATIVE] -> Encoding
ToJSON CODATATYPE_DECL Source #
Instance details Methods toJSON :: CODATATYPE_DECL -> Value toEncoding :: CODATATYPE_DECL -> Encoding toJSONList :: [CODATATYPE_DECL] -> Value toEncodingList :: [CODATATYPE_DECL] -> Encoding
ToJSON C_SIG_ITEM Source #
Instance details Methods toJSON :: C_SIG_ITEM -> Value toEncoding :: C_SIG_ITEM -> Encoding toJSONList :: [C_SIG_ITEM] -> Value toEncodingList :: [C_SIG_ITEM] -> Encoding
ToJSON C_BASIC_ITEM Source #
Instance details Methods toJSON :: C_BASIC_ITEM -> Value toEncoding :: C_BASIC_ITEM -> Encoding toJSONList :: [C_BASIC_ITEM] -> Value toEncodingList :: [C_BASIC_ITEM] -> Encoding
ToJSON CoCASLSign Source #
Instance details Methods toJSON :: CoCASLSign -> Value toEncoding :: CoCASLSign -> Encoding toJSONList :: [CoCASLSign] -> Value toEncodingList :: [CoCASLSign] -> Encoding
ShATermConvertible C_FORMULA Source #
Instance details Methods toShATermAux :: ATermTable -> C_FORMULA -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [C_FORMULA] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, C_FORMULA) fromShATermList' :: Int -> ATermTable -> (ATermTable, [C_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 COCOMPONENTS Source #
Instance details Methods toShATermAux :: ATermTable -> COCOMPONENTS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [COCOMPONENTS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, COCOMPONENTS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [COCOMPONENTS])
ShATermConvertible COALTERNATIVE Source #
Instance details Methods toShATermAux :: ATermTable -> COALTERNATIVE -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [COALTERNATIVE] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, COALTERNATIVE) fromShATermList' :: Int -> ATermTable -> (ATermTable, [COALTERNATIVE])
ShATermConvertible CODATATYPE_DECL Source #
Instance details Methods toShATermAux :: ATermTable -> CODATATYPE_DECL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CODATATYPE_DECL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CODATATYPE_DECL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CODATATYPE_DECL])
ShATermConvertible C_SIG_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> C_SIG_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [C_SIG_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, C_SIG_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [C_SIG_ITEM])
ShATermConvertible C_BASIC_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> C_BASIC_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [C_BASIC_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, C_BASIC_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [C_BASIC_ITEM])
ShATermConvertible CoCASLSign Source #
Instance details Methods toShATermAux :: ATermTable -> CoCASLSign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CoCASLSign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CoCASLSign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CoCASLSign])