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

DFOL.ATC_DFOL

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): BASIC_SPEC BASIC_ITEM TYPE TERM FORMULA SYMB_ITEMS SYMB_MAP_ITEMS SYMB_OR_MAP KIND CONTEXT Sign Morphism Symbol

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_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 TERM Source #
Instance details Associated Types type Rep TERM :: Type -> Type Methods from :: TERM -> Rep TERM x to :: Rep TERM x -> TERM
Generic TYPE Source #
Instance details Associated Types type Rep TYPE :: Type -> Type Methods from :: TYPE -> Rep TYPE x to :: Rep TYPE x -> TYPE
Generic BASIC_ITEM Source #
Instance details Associated Types type Rep BASIC_ITEM :: Type -> Type Methods from :: BASIC_ITEM -> Rep BASIC_ITEM x to :: Rep BASIC_ITEM x -> BASIC_ITEM
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 Symbol Source #
Instance details Associated Types type Rep Symbol :: Type -> Type Methods from :: Symbol -> Rep Symbol x to :: Rep Symbol x -> Symbol
Generic Sign Source #
Instance details Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
Generic CONTEXT Source #
Instance details Associated Types type Rep CONTEXT :: Type -> Type Methods from :: CONTEXT -> Rep CONTEXT x to :: Rep CONTEXT x -> CONTEXT
Generic KIND Source #
Instance details Associated Types type Rep KIND :: Type -> Type Methods from :: KIND -> Rep KIND x to :: Rep KIND x -> KIND
Generic Morphism Source #
Instance details Associated Types type Rep Morphism :: Type -> Type Methods from :: Morphism -> Rep Morphism x to :: Rep Morphism x -> Morphism
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_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 TERM Source #
Instance details Methods parseJSON :: Value -> Parser TERM parseJSONList :: Value -> Parser [TERM]
FromJSON TYPE Source #
Instance details Methods parseJSON :: Value -> Parser TYPE parseJSONList :: Value -> Parser [TYPE]
FromJSON BASIC_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser BASIC_ITEM parseJSONList :: Value -> Parser [BASIC_ITEM]
FromJSON BASIC_SPEC Source #
Instance details Methods parseJSON :: Value -> Parser BASIC_SPEC parseJSONList :: Value -> Parser [BASIC_SPEC]
FromJSON Symbol Source #
Instance details Methods parseJSON :: Value -> Parser Symbol parseJSONList :: Value -> Parser [Symbol]
FromJSON Sign Source #
Instance details Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
FromJSON CONTEXT Source #
Instance details Methods parseJSON :: Value -> Parser CONTEXT parseJSONList :: Value -> Parser [CONTEXT]
FromJSON KIND Source #
Instance details Methods parseJSON :: Value -> Parser KIND parseJSONList :: Value -> Parser [KIND]
FromJSON Morphism Source #
Instance details Methods parseJSON :: Value -> Parser Morphism parseJSONList :: Value -> Parser [Morphism]
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_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 TERM Source #
Instance details Methods toJSON :: TERM -> Value toEncoding :: TERM -> Encoding toJSONList :: [TERM] -> Value toEncodingList :: [TERM] -> Encoding
ToJSON TYPE Source #
Instance details Methods toJSON :: TYPE -> Value toEncoding :: TYPE -> Encoding toJSONList :: [TYPE] -> Value toEncodingList :: [TYPE] -> Encoding
ToJSON BASIC_ITEM Source #
Instance details Methods toJSON :: BASIC_ITEM -> Value toEncoding :: BASIC_ITEM -> Encoding toJSONList :: [BASIC_ITEM] -> Value toEncodingList :: [BASIC_ITEM] -> 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 Symbol Source #
Instance details Methods toJSON :: Symbol -> Value toEncoding :: Symbol -> Encoding toJSONList :: [Symbol] -> Value toEncodingList :: [Symbol] -> Encoding
ToJSON Sign Source #
Instance details Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> Encoding
ToJSON CONTEXT Source #
Instance details Methods toJSON :: CONTEXT -> Value toEncoding :: CONTEXT -> Encoding toJSONList :: [CONTEXT] -> Value toEncodingList :: [CONTEXT] -> Encoding
ToJSON KIND Source #
Instance details Methods toJSON :: KIND -> Value toEncoding :: KIND -> Encoding toJSONList :: [KIND] -> Value toEncodingList :: [KIND] -> Encoding
ToJSON Morphism Source #
Instance details Methods toJSON :: Morphism -> Value toEncoding :: Morphism -> Encoding toJSONList :: [Morphism] -> Value toEncodingList :: [Morphism] -> 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_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 TERM Source #
Instance details Methods toShATermAux :: ATermTable -> TERM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TERM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TERM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TERM])
ShATermConvertible TYPE Source #
Instance details Methods toShATermAux :: ATermTable -> TYPE -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TYPE] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TYPE) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TYPE])
ShATermConvertible BASIC_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> BASIC_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASIC_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASIC_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASIC_ITEM])
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 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 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 CONTEXT Source #
Instance details Methods toShATermAux :: ATermTable -> CONTEXT -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CONTEXT] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CONTEXT) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CONTEXT])
ShATermConvertible KIND Source #
Instance details Methods toShATermAux :: ATermTable -> KIND -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [KIND] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, KIND) fromShATermList' :: Int -> ATermTable -> (ATermTable, [KIND])
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])