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

CASL_DL.ATC_CASL_DL

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): CardType DL_FORMULA CASL_DLSign PropertyType AnnoAppl AnnoLiteral CASL_DL_SL

Orphan instances

Generic CASL_DL_SL Source #
Instance details Associated Types type Rep CASL_DL_SL :: Type -> Type Methods from :: CASL_DL_SL -> Rep CASL_DL_SL x to :: Rep CASL_DL_SL x -> CASL_DL_SL
Generic DL_FORMULA Source #
Instance details Associated Types type Rep DL_FORMULA :: Type -> Type Methods from :: DL_FORMULA -> Rep DL_FORMULA x to :: Rep DL_FORMULA x -> DL_FORMULA
Generic CardType Source #
Instance details Associated Types type Rep CardType :: Type -> Type Methods from :: CardType -> Rep CardType x to :: Rep CardType x -> CardType
Generic AnnoLiteral Source #
Instance details Associated Types type Rep AnnoLiteral :: Type -> Type Methods from :: AnnoLiteral -> Rep AnnoLiteral x to :: Rep AnnoLiteral x -> AnnoLiteral
Generic AnnoAppl Source #
Instance details Associated Types type Rep AnnoAppl :: Type -> Type Methods from :: AnnoAppl -> Rep AnnoAppl x to :: Rep AnnoAppl x -> AnnoAppl
Generic PropertyType Source #
Instance details Associated Types type Rep PropertyType :: Type -> Type Methods from :: PropertyType -> Rep PropertyType x to :: Rep PropertyType x -> PropertyType
Generic CASL_DLSign Source #
Instance details Associated Types type Rep CASL_DLSign :: Type -> Type Methods from :: CASL_DLSign -> Rep CASL_DLSign x to :: Rep CASL_DLSign x -> CASL_DLSign
FromJSON CASL_DL_SL Source #
Instance details Methods parseJSON :: Value -> Parser CASL_DL_SL parseJSONList :: Value -> Parser [CASL_DL_SL]
FromJSON DL_FORMULA Source #
Instance details Methods parseJSON :: Value -> Parser DL_FORMULA parseJSONList :: Value -> Parser [DL_FORMULA]
FromJSON CardType Source #
Instance details Methods parseJSON :: Value -> Parser CardType parseJSONList :: Value -> Parser [CardType]
FromJSON AnnoLiteral Source #
Instance details Methods parseJSON :: Value -> Parser AnnoLiteral parseJSONList :: Value -> Parser [AnnoLiteral]
FromJSON AnnoAppl Source #
Instance details Methods parseJSON :: Value -> Parser AnnoAppl parseJSONList :: Value -> Parser [AnnoAppl]
FromJSON PropertyType Source #
Instance details Methods parseJSON :: Value -> Parser PropertyType parseJSONList :: Value -> Parser [PropertyType]
FromJSON CASL_DLSign Source #
Instance details Methods parseJSON :: Value -> Parser CASL_DLSign parseJSONList :: Value -> Parser [CASL_DLSign]
ToJSON CASL_DL_SL Source #
Instance details Methods toJSON :: CASL_DL_SL -> Value toEncoding :: CASL_DL_SL -> Encoding toJSONList :: [CASL_DL_SL] -> Value toEncodingList :: [CASL_DL_SL] -> Encoding
ToJSON DL_FORMULA Source #
Instance details Methods toJSON :: DL_FORMULA -> Value toEncoding :: DL_FORMULA -> Encoding toJSONList :: [DL_FORMULA] -> Value toEncodingList :: [DL_FORMULA] -> Encoding
ToJSON CardType Source #
Instance details Methods toJSON :: CardType -> Value toEncoding :: CardType -> Encoding toJSONList :: [CardType] -> Value toEncodingList :: [CardType] -> Encoding
ToJSON AnnoLiteral Source #
Instance details Methods toJSON :: AnnoLiteral -> Value toEncoding :: AnnoLiteral -> Encoding toJSONList :: [AnnoLiteral] -> Value toEncodingList :: [AnnoLiteral] -> Encoding
ToJSON AnnoAppl Source #
Instance details Methods toJSON :: AnnoAppl -> Value toEncoding :: AnnoAppl -> Encoding toJSONList :: [AnnoAppl] -> Value toEncodingList :: [AnnoAppl] -> Encoding
ToJSON PropertyType Source #
Instance details Methods toJSON :: PropertyType -> Value toEncoding :: PropertyType -> Encoding toJSONList :: [PropertyType] -> Value toEncodingList :: [PropertyType] -> Encoding
ToJSON CASL_DLSign Source #
Instance details Methods toJSON :: CASL_DLSign -> Value toEncoding :: CASL_DLSign -> Encoding toJSONList :: [CASL_DLSign] -> Value toEncodingList :: [CASL_DLSign] -> Encoding
ShATermConvertible CASL_DL_SL Source #
Instance details Methods toShATermAux :: ATermTable -> CASL_DL_SL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CASL_DL_SL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CASL_DL_SL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CASL_DL_SL])
ShATermConvertible DL_FORMULA Source #
Instance details Methods toShATermAux :: ATermTable -> DL_FORMULA -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DL_FORMULA] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DL_FORMULA) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DL_FORMULA])
ShATermConvertible CardType Source #
Instance details Methods toShATermAux :: ATermTable -> CardType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CardType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CardType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CardType])
ShATermConvertible AnnoLiteral Source #
Instance details Methods toShATermAux :: ATermTable -> AnnoLiteral -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AnnoLiteral] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AnnoLiteral) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnnoLiteral])
ShATermConvertible AnnoAppl Source #
Instance details Methods toShATermAux :: ATermTable -> AnnoAppl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AnnoAppl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AnnoAppl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnnoAppl])
ShATermConvertible PropertyType Source #
Instance details Methods toShATermAux :: ATermTable -> PropertyType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PropertyType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PropertyType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropertyType])
ShATermConvertible CASL_DLSign Source #
Instance details Methods toShATermAux :: ATermTable -> CASL_DLSign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CASL_DLSign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CASL_DLSign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CASL_DLSign])