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

TopHybrid.ATC_TopHybrid

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): TH_BSPEC TH_BASIC_ITEM TH_FORMULA Mor THybridSign

Orphan instances

Generic Mor Source #
Instance details Associated Types type Rep Mor :: Type -> Type Methods from :: Mor -> Rep Mor x to :: Rep Mor x -> Mor
Generic TH_BASIC_ITEM Source #
Instance details Associated Types type Rep TH_BASIC_ITEM :: Type -> Type Methods from :: TH_BASIC_ITEM -> Rep TH_BASIC_ITEM x to :: Rep TH_BASIC_ITEM x -> TH_BASIC_ITEM
FromJSON Mor Source #
Instance details Methods parseJSON :: Value -> Parser Mor parseJSONList :: Value -> Parser [Mor]
FromJSON TH_BASIC_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser TH_BASIC_ITEM parseJSONList :: Value -> Parser [TH_BASIC_ITEM]
ToJSON Mor Source #
Instance details Methods toJSON :: Mor -> Value toEncoding :: Mor -> Encoding toJSONList :: [Mor] -> Value toEncodingList :: [Mor] -> Encoding
ToJSON TH_BASIC_ITEM Source #
Instance details Methods toJSON :: TH_BASIC_ITEM -> Value toEncoding :: TH_BASIC_ITEM -> Encoding toJSONList :: [TH_BASIC_ITEM] -> Value toEncodingList :: [TH_BASIC_ITEM] -> Encoding
ShATermConvertible Mor Source #
Instance details Methods toShATermAux :: ATermTable -> Mor -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Mor] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Mor) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Mor])
ShATermConvertible TH_BASIC_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> TH_BASIC_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TH_BASIC_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TH_BASIC_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TH_BASIC_ITEM])
Generic (TH_FORMULA f) Source #
Instance details Associated Types type Rep (TH_FORMULA f) :: Type -> Type Methods from :: TH_FORMULA f -> Rep (TH_FORMULA f) x to :: Rep (TH_FORMULA f) x -> TH_FORMULA f
Generic (TH_BSPEC s) Source #
Instance details Associated Types type Rep (TH_BSPEC s) :: Type -> Type Methods from :: TH_BSPEC s -> Rep (TH_BSPEC s) x to :: Rep (TH_BSPEC s) x -> TH_BSPEC s
Generic (THybridSign s) Source #
Instance details Associated Types type Rep (THybridSign s) :: Type -> Type Methods from :: THybridSign s -> Rep (THybridSign s) x to :: Rep (THybridSign s) x -> THybridSign s
FromJSON f => FromJSON (TH_FORMULA f) Source #
Instance details Methods parseJSON :: Value -> Parser (TH_FORMULA f) parseJSONList :: Value -> Parser [TH_FORMULA f]
FromJSON s => FromJSON (TH_BSPEC s) Source #
Instance details Methods parseJSON :: Value -> Parser (TH_BSPEC s) parseJSONList :: Value -> Parser [TH_BSPEC s]
FromJSON s => FromJSON (THybridSign s) Source #
Instance details Methods parseJSON :: Value -> Parser (THybridSign s) parseJSONList :: Value -> Parser [THybridSign s]
ToJSON f => ToJSON (TH_FORMULA f) Source #
Instance details Methods toJSON :: TH_FORMULA f -> Value toEncoding :: TH_FORMULA f -> Encoding toJSONList :: [TH_FORMULA f] -> Value toEncodingList :: [TH_FORMULA f] -> Encoding
ToJSON s => ToJSON (TH_BSPEC s) Source #
Instance details Methods toJSON :: TH_BSPEC s -> Value toEncoding :: TH_BSPEC s -> Encoding toJSONList :: [TH_BSPEC s] -> Value toEncodingList :: [TH_BSPEC s] -> Encoding
ToJSON s => ToJSON (THybridSign s) Source #
Instance details Methods toJSON :: THybridSign s -> Value toEncoding :: THybridSign s -> Encoding toJSONList :: [THybridSign s] -> Value toEncodingList :: [THybridSign s] -> Encoding
ShATermConvertible f => ShATermConvertible (TH_FORMULA f) Source #
Instance details Methods toShATermAux :: ATermTable -> TH_FORMULA f -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TH_FORMULA f] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TH_FORMULA f) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TH_FORMULA f])
ShATermConvertible s => ShATermConvertible (TH_BSPEC s) Source #
Instance details Methods toShATermAux :: ATermTable -> TH_BSPEC s -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TH_BSPEC s] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TH_BSPEC s) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TH_BSPEC s])
ShATermConvertible s => ShATermConvertible (THybridSign s) Source #
Instance details Methods toShATermAux :: ATermTable -> THybridSign s -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [THybridSign s] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, THybridSign s) fromShATermList' :: Int -> ATermTable -> (ATermTable, [THybridSign s])