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.Consistency

Contents

Description

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

Orphan instances

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