Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

ATC.Result

Contents

Description

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

Orphan instances

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])

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])