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

QBF.ATC_QBF

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): Sign Morphism PREDITEM BASICSPEC BASICITEMS FORMULA ID SYMBITEMS SYMB SYMBMAPITEMS SYMBORMAP Symbol QBFFormulae QBFSL

Orphan instances

Generic Sign Source #
Instance details Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
Generic SYMBORMAP Source #
Instance details Associated Types type Rep SYMBORMAP :: Type -> Type Methods from :: SYMBORMAP -> Rep SYMBORMAP x to :: Rep SYMBORMAP x -> SYMBORMAP
Generic SYMBMAPITEMS Source #
Instance details Associated Types type Rep SYMBMAPITEMS :: Type -> Type Methods from :: SYMBMAPITEMS -> Rep SYMBMAPITEMS x to :: Rep SYMBMAPITEMS x -> SYMBMAPITEMS
Generic SYMB Source #
Instance details Associated Types type Rep SYMB :: Type -> Type Methods from :: SYMB -> Rep SYMB x to :: Rep SYMB x -> SYMB
Generic SYMBITEMS Source #
Instance details Associated Types type Rep SYMBITEMS :: Type -> Type Methods from :: SYMBITEMS -> Rep SYMBITEMS x to :: Rep SYMBITEMS x -> SYMBITEMS
Generic ID Source #
Instance details Associated Types type Rep ID :: Type -> Type Methods from :: ID -> Rep ID x to :: Rep ID x -> ID
Generic FORMULA Source #
Instance details Associated Types type Rep FORMULA :: Type -> Type Methods from :: FORMULA -> Rep FORMULA x to :: Rep FORMULA x -> FORMULA
Generic BASICITEMS Source #
Instance details Associated Types type Rep BASICITEMS :: Type -> Type Methods from :: BASICITEMS -> Rep BASICITEMS x to :: Rep BASICITEMS x -> BASICITEMS
Generic BASICSPEC Source #
Instance details Associated Types type Rep BASICSPEC :: Type -> Type Methods from :: BASICSPEC -> Rep BASICSPEC x to :: Rep BASICSPEC x -> BASICSPEC
Generic PREDITEM Source #
Instance details Associated Types type Rep PREDITEM :: Type -> Type Methods from :: PREDITEM -> Rep PREDITEM x to :: Rep PREDITEM x -> PREDITEM
Generic Morphism Source #
Instance details Associated Types type Rep Morphism :: Type -> Type Methods from :: Morphism -> Rep Morphism x to :: Rep Morphism x -> Morphism
Generic Symbol Source #
Instance details Associated Types type Rep Symbol :: Type -> Type Methods from :: Symbol -> Rep Symbol x to :: Rep Symbol x -> Symbol
Generic QBFSL Source #
Instance details Associated Types type Rep QBFSL :: Type -> Type Methods from :: QBFSL -> Rep QBFSL x to :: Rep QBFSL x -> QBFSL
Generic QBFFormulae Source #
Instance details Associated Types type Rep QBFFormulae :: Type -> Type Methods from :: QBFFormulae -> Rep QBFFormulae x to :: Rep QBFFormulae x -> QBFFormulae
FromJSON Sign Source #
Instance details Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
FromJSON SYMBORMAP Source #
Instance details Methods parseJSON :: Value -> Parser SYMBORMAP parseJSONList :: Value -> Parser [SYMBORMAP]
FromJSON SYMBMAPITEMS Source #
Instance details Methods parseJSON :: Value -> Parser SYMBMAPITEMS parseJSONList :: Value -> Parser [SYMBMAPITEMS]
FromJSON SYMB Source #
Instance details Methods parseJSON :: Value -> Parser SYMB parseJSONList :: Value -> Parser [SYMB]
FromJSON SYMBITEMS Source #
Instance details Methods parseJSON :: Value -> Parser SYMBITEMS parseJSONList :: Value -> Parser [SYMBITEMS]
FromJSON ID Source #
Instance details Methods parseJSON :: Value -> Parser ID parseJSONList :: Value -> Parser [ID]
FromJSON FORMULA Source #
Instance details Methods parseJSON :: Value -> Parser FORMULA parseJSONList :: Value -> Parser [FORMULA]
FromJSON BASICITEMS Source #
Instance details Methods parseJSON :: Value -> Parser BASICITEMS parseJSONList :: Value -> Parser [BASICITEMS]
FromJSON BASICSPEC Source #
Instance details Methods parseJSON :: Value -> Parser BASICSPEC parseJSONList :: Value -> Parser [BASICSPEC]
FromJSON PREDITEM Source #
Instance details Methods parseJSON :: Value -> Parser PREDITEM parseJSONList :: Value -> Parser [PREDITEM]
FromJSON Morphism Source #
Instance details Methods parseJSON :: Value -> Parser Morphism parseJSONList :: Value -> Parser [Morphism]
FromJSON Symbol Source #
Instance details Methods parseJSON :: Value -> Parser Symbol parseJSONList :: Value -> Parser [Symbol]
FromJSON QBFSL Source #
Instance details Methods parseJSON :: Value -> Parser QBFSL parseJSONList :: Value -> Parser [QBFSL]
FromJSON QBFFormulae Source #
Instance details Methods parseJSON :: Value -> Parser QBFFormulae parseJSONList :: Value -> Parser [QBFFormulae]
ToJSON Sign Source #
Instance details Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> Encoding
ToJSON SYMBORMAP Source #
Instance details Methods toJSON :: SYMBORMAP -> Value toEncoding :: SYMBORMAP -> Encoding toJSONList :: [SYMBORMAP] -> Value toEncodingList :: [SYMBORMAP] -> Encoding
ToJSON SYMBMAPITEMS Source #
Instance details Methods toJSON :: SYMBMAPITEMS -> Value toEncoding :: SYMBMAPITEMS -> Encoding toJSONList :: [SYMBMAPITEMS] -> Value toEncodingList :: [SYMBMAPITEMS] -> Encoding
ToJSON SYMB Source #
Instance details Methods toJSON :: SYMB -> Value toEncoding :: SYMB -> Encoding toJSONList :: [SYMB] -> Value toEncodingList :: [SYMB] -> Encoding
ToJSON SYMBITEMS Source #
Instance details Methods toJSON :: SYMBITEMS -> Value toEncoding :: SYMBITEMS -> Encoding toJSONList :: [SYMBITEMS] -> Value toEncodingList :: [SYMBITEMS] -> Encoding
ToJSON ID Source #
Instance details Methods toJSON :: ID -> Value toEncoding :: ID -> Encoding toJSONList :: [ID] -> Value toEncodingList :: [ID] -> Encoding
ToJSON FORMULA Source #
Instance details Methods toJSON :: FORMULA -> Value toEncoding :: FORMULA -> Encoding toJSONList :: [FORMULA] -> Value toEncodingList :: [FORMULA] -> Encoding
ToJSON BASICITEMS Source #
Instance details Methods toJSON :: BASICITEMS -> Value toEncoding :: BASICITEMS -> Encoding toJSONList :: [BASICITEMS] -> Value toEncodingList :: [BASICITEMS] -> Encoding
ToJSON BASICSPEC Source #
Instance details Methods toJSON :: BASICSPEC -> Value toEncoding :: BASICSPEC -> Encoding toJSONList :: [BASICSPEC] -> Value toEncodingList :: [BASICSPEC] -> Encoding
ToJSON PREDITEM Source #
Instance details Methods toJSON :: PREDITEM -> Value toEncoding :: PREDITEM -> Encoding toJSONList :: [PREDITEM] -> Value toEncodingList :: [PREDITEM] -> Encoding
ToJSON Morphism Source #
Instance details Methods toJSON :: Morphism -> Value toEncoding :: Morphism -> Encoding toJSONList :: [Morphism] -> Value toEncodingList :: [Morphism] -> Encoding
ToJSON Symbol Source #
Instance details Methods toJSON :: Symbol -> Value toEncoding :: Symbol -> Encoding toJSONList :: [Symbol] -> Value toEncodingList :: [Symbol] -> Encoding
ToJSON QBFSL Source #
Instance details Methods toJSON :: QBFSL -> Value toEncoding :: QBFSL -> Encoding toJSONList :: [QBFSL] -> Value toEncodingList :: [QBFSL] -> Encoding
ToJSON QBFFormulae Source #
Instance details Methods toJSON :: QBFFormulae -> Value toEncoding :: QBFFormulae -> Encoding toJSONList :: [QBFFormulae] -> Value toEncodingList :: [QBFFormulae] -> Encoding
ShATermConvertible Sign Source #
Instance details Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])
ShATermConvertible SYMBORMAP Source #
Instance details Methods toShATermAux :: ATermTable -> SYMBORMAP -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMBORMAP] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMBORMAP) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMBORMAP])
ShATermConvertible SYMBMAPITEMS Source #
Instance details Methods toShATermAux :: ATermTable -> SYMBMAPITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMBMAPITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMBMAPITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMBMAPITEMS])
ShATermConvertible SYMB Source #
Instance details Methods toShATermAux :: ATermTable -> SYMB -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB])
ShATermConvertible SYMBITEMS Source #
Instance details Methods toShATermAux :: ATermTable -> SYMBITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMBITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMBITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMBITEMS])
ShATermConvertible ID Source #
Instance details Methods toShATermAux :: ATermTable -> ID -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ID] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ID) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ID])
ShATermConvertible FORMULA Source #
Instance details Methods toShATermAux :: ATermTable -> FORMULA -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FORMULA] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FORMULA) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FORMULA])
ShATermConvertible BASICITEMS Source #
Instance details Methods toShATermAux :: ATermTable -> BASICITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASICITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASICITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASICITEMS])
ShATermConvertible BASICSPEC Source #
Instance details Methods toShATermAux :: ATermTable -> BASICSPEC -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASICSPEC] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASICSPEC) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASICSPEC])
ShATermConvertible PREDITEM Source #
Instance details Methods toShATermAux :: ATermTable -> PREDITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PREDITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PREDITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PREDITEM])
ShATermConvertible Morphism Source #
Instance details Methods toShATermAux :: ATermTable -> Morphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Morphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Morphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Morphism])
ShATermConvertible Symbol Source #
Instance details Methods toShATermAux :: ATermTable -> Symbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Symbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Symbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Symbol])
ShATermConvertible QBFSL Source #
Instance details Methods toShATermAux :: ATermTable -> QBFSL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [QBFSL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, QBFSL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [QBFSL])
ShATermConvertible QBFFormulae Source #
Instance details Methods toShATermAux :: ATermTable -> QBFFormulae -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [QBFFormulae] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, QBFFormulae) fromShATermList' :: Int -> ATermTable -> (ATermTable, [QBFFormulae])