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

Contents

Orphan instances

Description

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

Orphan instances

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