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