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
Description
Orphan instances
Generic Diagnosis Source # | |
Generic DiagKind Source # | |
FromJSON Diagnosis Source # | |
FromJSON DiagKind Source # | |
ToJSON Diagnosis Source # | |
Methods toEncoding :: Diagnosis -> Encoding toJSONList :: [Diagnosis] -> Value toEncodingList :: [Diagnosis] -> Encoding | |
ToJSON DiagKind Source # | |
Methods toEncoding :: DiagKind -> Encoding toJSONList :: [DiagKind] -> Value toEncodingList :: [DiagKind] -> Encoding | |
ShATermConvertible Diagnosis Source # | |
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 # | |
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 # | |
FromJSON a => FromJSON (Result a) Source # | |
ToJSON a => ToJSON (Result a) Source # | |
Methods toEncoding :: Result a -> Encoding toJSONList :: [Result a] -> Value toEncodingList :: [Result a] -> Encoding | |
ShATermConvertible a => ShATermConvertible (Result a) Source # | |
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]) |