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

Hybrid.ATC_Hybrid

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): H_BASIC_ITEM RIGOR H_SIG_ITEM MODALITY NOMINAL H_FORMULA HybridSign

Orphan instances

Generic H_FORMULA Source #
Instance details Associated Types type Rep H_FORMULA :: Type -> Type Methods from :: H_FORMULA -> Rep H_FORMULA x to :: Rep H_FORMULA x -> H_FORMULA
Generic NOMINAL Source #
Instance details Associated Types type Rep NOMINAL :: Type -> Type Methods from :: NOMINAL -> Rep NOMINAL x to :: Rep NOMINAL x -> NOMINAL
Generic MODALITY Source #
Instance details Associated Types type Rep MODALITY :: Type -> Type Methods from :: MODALITY -> Rep MODALITY x to :: Rep MODALITY x -> MODALITY
Generic H_SIG_ITEM Source #
Instance details Associated Types type Rep H_SIG_ITEM :: Type -> Type Methods from :: H_SIG_ITEM -> Rep H_SIG_ITEM x to :: Rep H_SIG_ITEM x -> H_SIG_ITEM
Generic RIGOR Source #
Instance details Associated Types type Rep RIGOR :: Type -> Type Methods from :: RIGOR -> Rep RIGOR x to :: Rep RIGOR x -> RIGOR
Generic H_BASIC_ITEM Source #
Instance details Associated Types type Rep H_BASIC_ITEM :: Type -> Type Methods from :: H_BASIC_ITEM -> Rep H_BASIC_ITEM x to :: Rep H_BASIC_ITEM x -> H_BASIC_ITEM
Generic HybridSign Source #
Instance details Associated Types type Rep HybridSign :: Type -> Type Methods from :: HybridSign -> Rep HybridSign x to :: Rep HybridSign x -> HybridSign
FromJSON H_FORMULA Source #
Instance details Methods parseJSON :: Value -> Parser H_FORMULA parseJSONList :: Value -> Parser [H_FORMULA]
FromJSON NOMINAL Source #
Instance details Methods parseJSON :: Value -> Parser NOMINAL parseJSONList :: Value -> Parser [NOMINAL]
FromJSON MODALITY Source #
Instance details Methods parseJSON :: Value -> Parser MODALITY parseJSONList :: Value -> Parser [MODALITY]
FromJSON H_SIG_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser H_SIG_ITEM parseJSONList :: Value -> Parser [H_SIG_ITEM]
FromJSON RIGOR Source #
Instance details Methods parseJSON :: Value -> Parser RIGOR parseJSONList :: Value -> Parser [RIGOR]
FromJSON H_BASIC_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser H_BASIC_ITEM parseJSONList :: Value -> Parser [H_BASIC_ITEM]
FromJSON HybridSign Source #
Instance details Methods parseJSON :: Value -> Parser HybridSign parseJSONList :: Value -> Parser [HybridSign]
ToJSON H_FORMULA Source #
Instance details Methods toJSON :: H_FORMULA -> Value toEncoding :: H_FORMULA -> Encoding toJSONList :: [H_FORMULA] -> Value toEncodingList :: [H_FORMULA] -> Encoding
ToJSON NOMINAL Source #
Instance details Methods toJSON :: NOMINAL -> Value toEncoding :: NOMINAL -> Encoding toJSONList :: [NOMINAL] -> Value toEncodingList :: [NOMINAL] -> Encoding
ToJSON MODALITY Source #
Instance details Methods toJSON :: MODALITY -> Value toEncoding :: MODALITY -> Encoding toJSONList :: [MODALITY] -> Value toEncodingList :: [MODALITY] -> Encoding
ToJSON H_SIG_ITEM Source #
Instance details Methods toJSON :: H_SIG_ITEM -> Value toEncoding :: H_SIG_ITEM -> Encoding toJSONList :: [H_SIG_ITEM] -> Value toEncodingList :: [H_SIG_ITEM] -> Encoding
ToJSON RIGOR Source #
Instance details Methods toJSON :: RIGOR -> Value toEncoding :: RIGOR -> Encoding toJSONList :: [RIGOR] -> Value toEncodingList :: [RIGOR] -> Encoding
ToJSON H_BASIC_ITEM Source #
Instance details Methods toJSON :: H_BASIC_ITEM -> Value toEncoding :: H_BASIC_ITEM -> Encoding toJSONList :: [H_BASIC_ITEM] -> Value toEncodingList :: [H_BASIC_ITEM] -> Encoding
ToJSON HybridSign Source #
Instance details Methods toJSON :: HybridSign -> Value toEncoding :: HybridSign -> Encoding toJSONList :: [HybridSign] -> Value toEncodingList :: [HybridSign] -> Encoding
ShATermConvertible H_FORMULA Source #
Instance details Methods toShATermAux :: ATermTable -> H_FORMULA -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [H_FORMULA] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, H_FORMULA) fromShATermList' :: Int -> ATermTable -> (ATermTable, [H_FORMULA])
ShATermConvertible NOMINAL Source #
Instance details Methods toShATermAux :: ATermTable -> NOMINAL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [NOMINAL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, NOMINAL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [NOMINAL])
ShATermConvertible MODALITY Source #
Instance details Methods toShATermAux :: ATermTable -> MODALITY -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MODALITY] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MODALITY) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MODALITY])
ShATermConvertible H_SIG_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> H_SIG_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [H_SIG_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, H_SIG_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [H_SIG_ITEM])
ShATermConvertible RIGOR Source #
Instance details Methods toShATermAux :: ATermTable -> RIGOR -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RIGOR] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RIGOR) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RIGOR])
ShATermConvertible H_BASIC_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> H_BASIC_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [H_BASIC_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, H_BASIC_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [H_BASIC_ITEM])
ShATermConvertible HybridSign Source #
Instance details Methods toShATermAux :: ATermTable -> HybridSign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [HybridSign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, HybridSign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [HybridSign])