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

Contents

Orphan instances

Description

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

Orphan instances

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