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

ConstraintCASL.ATC_ConstraintCASL

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): ConstraintFORMULA RELATION ATOMCONJUNCTION ATOM ConstraintTERM

Orphan instances

Generic ConstraintTERM Source #
Instance details Associated Types type Rep ConstraintTERM :: Type -> Type Methods from :: ConstraintTERM -> Rep ConstraintTERM x to :: Rep ConstraintTERM x -> ConstraintTERM
Generic ATOM Source #
Instance details Associated Types type Rep ATOM :: Type -> Type Methods from :: ATOM -> Rep ATOM x to :: Rep ATOM x -> ATOM
Generic ATOMCONJUNCTION Source #
Instance details Associated Types type Rep ATOMCONJUNCTION :: Type -> Type Methods from :: ATOMCONJUNCTION -> Rep ATOMCONJUNCTION x to :: Rep ATOMCONJUNCTION x -> ATOMCONJUNCTION
Generic RELATION Source #
Instance details Associated Types type Rep RELATION :: Type -> Type Methods from :: RELATION -> Rep RELATION x to :: Rep RELATION x -> RELATION
Generic ConstraintFORMULA Source #
Instance details Associated Types type Rep ConstraintFORMULA :: Type -> Type Methods from :: ConstraintFORMULA -> Rep ConstraintFORMULA x to :: Rep ConstraintFORMULA x -> ConstraintFORMULA
FromJSON ConstraintTERM Source #
Instance details Methods parseJSON :: Value -> Parser ConstraintTERM parseJSONList :: Value -> Parser [ConstraintTERM]
FromJSON ATOM Source #
Instance details Methods parseJSON :: Value -> Parser ATOM parseJSONList :: Value -> Parser [ATOM]
FromJSON ATOMCONJUNCTION Source #
Instance details Methods parseJSON :: Value -> Parser ATOMCONJUNCTION parseJSONList :: Value -> Parser [ATOMCONJUNCTION]
FromJSON RELATION Source #
Instance details Methods parseJSON :: Value -> Parser RELATION parseJSONList :: Value -> Parser [RELATION]
FromJSON ConstraintFORMULA Source #
Instance details Methods parseJSON :: Value -> Parser ConstraintFORMULA parseJSONList :: Value -> Parser [ConstraintFORMULA]
ToJSON ConstraintTERM Source #
Instance details Methods toJSON :: ConstraintTERM -> Value toEncoding :: ConstraintTERM -> Encoding toJSONList :: [ConstraintTERM] -> Value toEncodingList :: [ConstraintTERM] -> Encoding
ToJSON ATOM Source #
Instance details Methods toJSON :: ATOM -> Value toEncoding :: ATOM -> Encoding toJSONList :: [ATOM] -> Value toEncodingList :: [ATOM] -> Encoding
ToJSON ATOMCONJUNCTION Source #
Instance details Methods toJSON :: ATOMCONJUNCTION -> Value toEncoding :: ATOMCONJUNCTION -> Encoding toJSONList :: [ATOMCONJUNCTION] -> Value toEncodingList :: [ATOMCONJUNCTION] -> Encoding
ToJSON RELATION Source #
Instance details Methods toJSON :: RELATION -> Value toEncoding :: RELATION -> Encoding toJSONList :: [RELATION] -> Value toEncodingList :: [RELATION] -> Encoding
ToJSON ConstraintFORMULA Source #
Instance details Methods toJSON :: ConstraintFORMULA -> Value toEncoding :: ConstraintFORMULA -> Encoding toJSONList :: [ConstraintFORMULA] -> Value toEncodingList :: [ConstraintFORMULA] -> Encoding
ShATermConvertible ConstraintTERM Source #
Instance details Methods toShATermAux :: ATermTable -> ConstraintTERM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ConstraintTERM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstraintTERM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstraintTERM])
ShATermConvertible ATOM Source #
Instance details Methods toShATermAux :: ATermTable -> ATOM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ATOM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ATOM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ATOM])
ShATermConvertible ATOMCONJUNCTION Source #
Instance details Methods toShATermAux :: ATermTable -> ATOMCONJUNCTION -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ATOMCONJUNCTION] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ATOMCONJUNCTION) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ATOMCONJUNCTION])
ShATermConvertible RELATION Source #
Instance details Methods toShATermAux :: ATermTable -> RELATION -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RELATION] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RELATION) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RELATION])
ShATermConvertible ConstraintFORMULA Source #
Instance details Methods toShATermAux :: ATermTable -> ConstraintFORMULA -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ConstraintFORMULA] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstraintFORMULA) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstraintFORMULA])