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

Propositional.ATC_Propositional

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): Sign Morphism PRED_ITEM BASIC_SPEC BASIC_ITEMS FORMULA SYMB_ITEMS SYMB SYMB_MAP_ITEMS SYMB_OR_MAP Symbol PropFormulae PropSL

Orphan instances

Generic SYMB_OR_MAP Source #
Instance details Associated Types type Rep SYMB_OR_MAP :: Type -> Type Methods from :: SYMB_OR_MAP -> Rep SYMB_OR_MAP x to :: Rep SYMB_OR_MAP x -> SYMB_OR_MAP
Generic SYMB_MAP_ITEMS Source #
Instance details Associated Types type Rep SYMB_MAP_ITEMS :: Type -> Type Methods from :: SYMB_MAP_ITEMS -> Rep SYMB_MAP_ITEMS x to :: Rep SYMB_MAP_ITEMS x -> SYMB_MAP_ITEMS
Generic SYMB Source #
Instance details Associated Types type Rep SYMB :: Type -> Type Methods from :: SYMB -> Rep SYMB x to :: Rep SYMB x -> SYMB
Generic SYMB_ITEMS Source #
Instance details Associated Types type Rep SYMB_ITEMS :: Type -> Type Methods from :: SYMB_ITEMS -> Rep SYMB_ITEMS x to :: Rep SYMB_ITEMS x -> SYMB_ITEMS
Generic FORMULA Source #
Instance details Associated Types type Rep FORMULA :: Type -> Type Methods from :: FORMULA -> Rep FORMULA x to :: Rep FORMULA x -> FORMULA
Generic BASIC_ITEMS Source #
Instance details Associated Types type Rep BASIC_ITEMS :: Type -> Type Methods from :: BASIC_ITEMS -> Rep BASIC_ITEMS x to :: Rep BASIC_ITEMS x -> BASIC_ITEMS
Generic BASIC_SPEC Source #
Instance details Associated Types type Rep BASIC_SPEC :: Type -> Type Methods from :: BASIC_SPEC -> Rep BASIC_SPEC x to :: Rep BASIC_SPEC x -> BASIC_SPEC
Generic PRED_ITEM Source #
Instance details Associated Types type Rep PRED_ITEM :: Type -> Type Methods from :: PRED_ITEM -> Rep PRED_ITEM x to :: Rep PRED_ITEM x -> PRED_ITEM
Generic Sign Source #
Instance details Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
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 PropSL Source #
Instance details Associated Types type Rep PropSL :: Type -> Type Methods from :: PropSL -> Rep PropSL x to :: Rep PropSL x -> PropSL
Generic PropFormulae Source #
Instance details Associated Types type Rep PropFormulae :: Type -> Type Methods from :: PropFormulae -> Rep PropFormulae x to :: Rep PropFormulae x -> PropFormulae
FromJSON SYMB_OR_MAP Source #
Instance details Methods parseJSON :: Value -> Parser SYMB_OR_MAP parseJSONList :: Value -> Parser [SYMB_OR_MAP]
FromJSON SYMB_MAP_ITEMS Source #
Instance details Methods parseJSON :: Value -> Parser SYMB_MAP_ITEMS parseJSONList :: Value -> Parser [SYMB_MAP_ITEMS]
FromJSON SYMB Source #
Instance details Methods parseJSON :: Value -> Parser SYMB parseJSONList :: Value -> Parser [SYMB]
FromJSON SYMB_ITEMS Source #
Instance details Methods parseJSON :: Value -> Parser SYMB_ITEMS parseJSONList :: Value -> Parser [SYMB_ITEMS]
FromJSON FORMULA Source #
Instance details Methods parseJSON :: Value -> Parser FORMULA parseJSONList :: Value -> Parser [FORMULA]
FromJSON BASIC_ITEMS Source #
Instance details Methods parseJSON :: Value -> Parser BASIC_ITEMS parseJSONList :: Value -> Parser [BASIC_ITEMS]
FromJSON BASIC_SPEC Source #
Instance details Methods parseJSON :: Value -> Parser BASIC_SPEC parseJSONList :: Value -> Parser [BASIC_SPEC]
FromJSON PRED_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser PRED_ITEM parseJSONList :: Value -> Parser [PRED_ITEM]
FromJSON Sign Source #
Instance details Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
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 PropSL Source #
Instance details Methods parseJSON :: Value -> Parser PropSL parseJSONList :: Value -> Parser [PropSL]
FromJSON PropFormulae Source #
Instance details Methods parseJSON :: Value -> Parser PropFormulae parseJSONList :: Value -> Parser [PropFormulae]
ToJSON SYMB_OR_MAP Source #
Instance details Methods toJSON :: SYMB_OR_MAP -> Value toEncoding :: SYMB_OR_MAP -> Encoding toJSONList :: [SYMB_OR_MAP] -> Value toEncodingList :: [SYMB_OR_MAP] -> Encoding
ToJSON SYMB_MAP_ITEMS Source #
Instance details Methods toJSON :: SYMB_MAP_ITEMS -> Value toEncoding :: SYMB_MAP_ITEMS -> Encoding toJSONList :: [SYMB_MAP_ITEMS] -> Value toEncodingList :: [SYMB_MAP_ITEMS] -> Encoding
ToJSON SYMB Source #
Instance details Methods toJSON :: SYMB -> Value toEncoding :: SYMB -> Encoding toJSONList :: [SYMB] -> Value toEncodingList :: [SYMB] -> Encoding
ToJSON SYMB_ITEMS Source #
Instance details Methods toJSON :: SYMB_ITEMS -> Value toEncoding :: SYMB_ITEMS -> Encoding toJSONList :: [SYMB_ITEMS] -> Value toEncodingList :: [SYMB_ITEMS] -> Encoding
ToJSON FORMULA Source #
Instance details Methods toJSON :: FORMULA -> Value toEncoding :: FORMULA -> Encoding toJSONList :: [FORMULA] -> Value toEncodingList :: [FORMULA] -> Encoding
ToJSON BASIC_ITEMS Source #
Instance details Methods toJSON :: BASIC_ITEMS -> Value toEncoding :: BASIC_ITEMS -> Encoding toJSONList :: [BASIC_ITEMS] -> Value toEncodingList :: [BASIC_ITEMS] -> Encoding
ToJSON BASIC_SPEC Source #
Instance details Methods toJSON :: BASIC_SPEC -> Value toEncoding :: BASIC_SPEC -> Encoding toJSONList :: [BASIC_SPEC] -> Value toEncodingList :: [BASIC_SPEC] -> Encoding
ToJSON PRED_ITEM Source #
Instance details Methods toJSON :: PRED_ITEM -> Value toEncoding :: PRED_ITEM -> Encoding toJSONList :: [PRED_ITEM] -> Value toEncodingList :: [PRED_ITEM] -> Encoding
ToJSON Sign Source #
Instance details Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> 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 PropSL Source #
Instance details Methods toJSON :: PropSL -> Value toEncoding :: PropSL -> Encoding toJSONList :: [PropSL] -> Value toEncodingList :: [PropSL] -> Encoding
ToJSON PropFormulae Source #
Instance details Methods toJSON :: PropFormulae -> Value toEncoding :: PropFormulae -> Encoding toJSONList :: [PropFormulae] -> Value toEncodingList :: [PropFormulae] -> Encoding
ShATermConvertible SYMB_OR_MAP Source #
Instance details Methods toShATermAux :: ATermTable -> SYMB_OR_MAP -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_OR_MAP] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_OR_MAP) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_OR_MAP])
ShATermConvertible SYMB_MAP_ITEMS Source #
Instance details Methods toShATermAux :: ATermTable -> SYMB_MAP_ITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_MAP_ITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_MAP_ITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_MAP_ITEMS])
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 SYMB_ITEMS Source #
Instance details Methods toShATermAux :: ATermTable -> SYMB_ITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_ITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_ITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_ITEMS])
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 BASIC_ITEMS Source #
Instance details Methods toShATermAux :: ATermTable -> BASIC_ITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASIC_ITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASIC_ITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASIC_ITEMS])
ShATermConvertible BASIC_SPEC Source #
Instance details Methods toShATermAux :: ATermTable -> BASIC_SPEC -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASIC_SPEC] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASIC_SPEC) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASIC_SPEC])
ShATermConvertible PRED_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> PRED_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PRED_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PRED_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PRED_ITEM])
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 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 PropSL Source #
Instance details Methods toShATermAux :: ATermTable -> PropSL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PropSL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PropSL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropSL])
ShATermConvertible PropFormulae Source #
Instance details Methods toShATermAux :: ATermTable -> PropFormulae -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PropFormulae] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PropFormulae) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropFormulae])