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

ATC.Result

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): DiagKind Diagnosis Result

Orphan instances

Generic Diagnosis Source #
Instance details Associated Types type Rep Diagnosis :: Type -> Type Methods from :: Diagnosis -> Rep Diagnosis x to :: Rep Diagnosis x -> Diagnosis
Generic DiagKind Source #
Instance details Associated Types type Rep DiagKind :: Type -> Type Methods from :: DiagKind -> Rep DiagKind x to :: Rep DiagKind x -> DiagKind
FromJSON Diagnosis Source #
Instance details Methods parseJSON :: Value -> Parser Diagnosis parseJSONList :: Value -> Parser [Diagnosis]
FromJSON DiagKind Source #
Instance details Methods parseJSON :: Value -> Parser DiagKind parseJSONList :: Value -> Parser [DiagKind]
ToJSON Diagnosis Source #
Instance details Methods toJSON :: Diagnosis -> Value toEncoding :: Diagnosis -> Encoding toJSONList :: [Diagnosis] -> Value toEncodingList :: [Diagnosis] -> Encoding
ToJSON DiagKind Source #
Instance details Methods toJSON :: DiagKind -> Value toEncoding :: DiagKind -> Encoding toJSONList :: [DiagKind] -> Value toEncodingList :: [DiagKind] -> Encoding
ShATermConvertible Diagnosis Source #
Instance details Methods toShATermAux :: ATermTable -> Diagnosis -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Diagnosis] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Diagnosis) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Diagnosis])
ShATermConvertible DiagKind Source #
Instance details Methods toShATermAux :: ATermTable -> DiagKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DiagKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DiagKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DiagKind])
Generic (Result a) Source #
Instance details Associated Types type Rep (Result a) :: Type -> Type Methods from :: Result a -> Rep (Result a) x to :: Rep (Result a) x -> Result a
FromJSON a => FromJSON (Result a) Source #
Instance details Methods parseJSON :: Value -> Parser (Result a) parseJSONList :: Value -> Parser [Result a]
ToJSON a => ToJSON (Result a) Source #
Instance details Methods toJSON :: Result a -> Value toEncoding :: Result a -> Encoding toJSONList :: [Result a] -> Value toEncodingList :: [Result a] -> Encoding
ShATermConvertible a => ShATermConvertible (Result a) Source #
Instance details Methods toShATermAux :: ATermTable -> Result a -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Result a] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Result a) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Result a])