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

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): Annote_word Annote_text Display_format PrecRel AssocEither Semantic_anno Annotation Annoted SenOrigin SenAttr Name

Orphan instances

Generic Name Source #
Instance details Associated Types type Rep Name :: Type -> Type Methods from :: Name -> Rep Name x to :: Rep Name x -> Name
Generic SenOrigin Source #
Instance details Associated Types type Rep SenOrigin :: Type -> Type Methods from :: SenOrigin -> Rep SenOrigin x to :: Rep SenOrigin x -> SenOrigin
Generic Annotation Source #
Instance details Associated Types type Rep Annotation :: Type -> Type Methods from :: Annotation -> Rep Annotation x to :: Rep Annotation x -> Annotation
Generic Semantic_anno Source #
Instance details Associated Types type Rep Semantic_anno :: Type -> Type Methods from :: Semantic_anno -> Rep Semantic_anno x to :: Rep Semantic_anno x -> Semantic_anno
Generic AssocEither Source #
Instance details Associated Types type Rep AssocEither :: Type -> Type Methods from :: AssocEither -> Rep AssocEither x to :: Rep AssocEither x -> AssocEither
Generic PrecRel Source #
Instance details Associated Types type Rep PrecRel :: Type -> Type Methods from :: PrecRel -> Rep PrecRel x to :: Rep PrecRel x -> PrecRel
Generic Display_format Source #
Instance details Associated Types type Rep Display_format :: Type -> Type Methods from :: Display_format -> Rep Display_format x to :: Rep Display_format x -> Display_format
Generic Annote_text Source #
Instance details Associated Types type Rep Annote_text :: Type -> Type Methods from :: Annote_text -> Rep Annote_text x to :: Rep Annote_text x -> Annote_text
Generic Annote_word Source #
Instance details Associated Types type Rep Annote_word :: Type -> Type Methods from :: Annote_word -> Rep Annote_word x to :: Rep Annote_word x -> Annote_word
FromJSON Name Source #
Instance details Methods parseJSON :: Value -> Parser Name parseJSONList :: Value -> Parser [Name]
FromJSON SenOrigin Source #
Instance details Methods parseJSON :: Value -> Parser SenOrigin parseJSONList :: Value -> Parser [SenOrigin]
FromJSON Annotation Source #
Instance details Methods parseJSON :: Value -> Parser Annotation parseJSONList :: Value -> Parser [Annotation]
FromJSON Semantic_anno Source #
Instance details Methods parseJSON :: Value -> Parser Semantic_anno parseJSONList :: Value -> Parser [Semantic_anno]
FromJSON AssocEither Source #
Instance details Methods parseJSON :: Value -> Parser AssocEither parseJSONList :: Value -> Parser [AssocEither]
FromJSON PrecRel Source #
Instance details Methods parseJSON :: Value -> Parser PrecRel parseJSONList :: Value -> Parser [PrecRel]
FromJSON Display_format Source #
Instance details Methods parseJSON :: Value -> Parser Display_format parseJSONList :: Value -> Parser [Display_format]
FromJSON Annote_text Source #
Instance details Methods parseJSON :: Value -> Parser Annote_text parseJSONList :: Value -> Parser [Annote_text]
FromJSON Annote_word Source #
Instance details Methods parseJSON :: Value -> Parser Annote_word parseJSONList :: Value -> Parser [Annote_word]
ToJSON Name Source #
Instance details Methods toJSON :: Name -> Value toEncoding :: Name -> Encoding toJSONList :: [Name] -> Value toEncodingList :: [Name] -> Encoding
ToJSON SenOrigin Source #
Instance details Methods toJSON :: SenOrigin -> Value toEncoding :: SenOrigin -> Encoding toJSONList :: [SenOrigin] -> Value toEncodingList :: [SenOrigin] -> Encoding
ToJSON Annotation Source #
Instance details Methods toJSON :: Annotation -> Value toEncoding :: Annotation -> Encoding toJSONList :: [Annotation] -> Value toEncodingList :: [Annotation] -> Encoding
ToJSON Semantic_anno Source #
Instance details Methods toJSON :: Semantic_anno -> Value toEncoding :: Semantic_anno -> Encoding toJSONList :: [Semantic_anno] -> Value toEncodingList :: [Semantic_anno] -> Encoding
ToJSON AssocEither Source #
Instance details Methods toJSON :: AssocEither -> Value toEncoding :: AssocEither -> Encoding toJSONList :: [AssocEither] -> Value toEncodingList :: [AssocEither] -> Encoding
ToJSON PrecRel Source #
Instance details Methods toJSON :: PrecRel -> Value toEncoding :: PrecRel -> Encoding toJSONList :: [PrecRel] -> Value toEncodingList :: [PrecRel] -> Encoding
ToJSON Display_format Source #
Instance details Methods toJSON :: Display_format -> Value toEncoding :: Display_format -> Encoding toJSONList :: [Display_format] -> Value toEncodingList :: [Display_format] -> Encoding
ToJSON Annote_text Source #
Instance details Methods toJSON :: Annote_text -> Value toEncoding :: Annote_text -> Encoding toJSONList :: [Annote_text] -> Value toEncodingList :: [Annote_text] -> Encoding
ToJSON Annote_word Source #
Instance details Methods toJSON :: Annote_word -> Value toEncoding :: Annote_word -> Encoding toJSONList :: [Annote_word] -> Value toEncodingList :: [Annote_word] -> Encoding
ShATermConvertible Name Source #
Instance details Methods toShATermAux :: ATermTable -> Name -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Name] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Name) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Name])
ShATermConvertible SenOrigin Source #
Instance details Methods toShATermAux :: ATermTable -> SenOrigin -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SenOrigin] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SenOrigin) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SenOrigin])
ShATermConvertible Annotation Source #
Instance details Methods toShATermAux :: ATermTable -> Annotation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Annotation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Annotation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Annotation])
ShATermConvertible Semantic_anno Source #
Instance details Methods toShATermAux :: ATermTable -> Semantic_anno -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Semantic_anno] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Semantic_anno) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Semantic_anno])
ShATermConvertible AssocEither Source #
Instance details Methods toShATermAux :: ATermTable -> AssocEither -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AssocEither] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AssocEither) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AssocEither])
ShATermConvertible PrecRel Source #
Instance details Methods toShATermAux :: ATermTable -> PrecRel -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PrecRel] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PrecRel) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PrecRel])
ShATermConvertible Display_format Source #
Instance details Methods toShATermAux :: ATermTable -> Display_format -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Display_format] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Display_format) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Display_format])
ShATermConvertible Annote_text Source #
Instance details Methods toShATermAux :: ATermTable -> Annote_text -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Annote_text] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Annote_text) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Annote_text])
ShATermConvertible Annote_word Source #
Instance details Methods toShATermAux :: ATermTable -> Annote_word -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Annote_word] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Annote_word) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Annote_word])
Generic (Annoted a) Source #
Instance details Associated Types type Rep (Annoted a) :: Type -> Type Methods from :: Annoted a -> Rep (Annoted a) x to :: Rep (Annoted a) x -> Annoted a
FromJSON a => FromJSON (Annoted a) Source #
Instance details Methods parseJSON :: Value -> Parser (Annoted a) parseJSONList :: Value -> Parser [Annoted a]
ToJSON a => ToJSON (Annoted a) Source #
Instance details Methods toJSON :: Annoted a -> Value toEncoding :: Annoted a -> Encoding toJSONList :: [Annoted a] -> Value toEncodingList :: [Annoted a] -> Encoding
ShATermConvertible a => ShATermConvertible (Annoted a) Source #
Instance details Methods toShATermAux :: ATermTable -> Annoted a -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Annoted a] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Annoted a) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Annoted a])
Generic (SenAttr s a) Source #
Instance details Associated Types type Rep (SenAttr s a) :: Type -> Type Methods from :: SenAttr s a -> Rep (SenAttr s a) x to :: Rep (SenAttr s a) x -> SenAttr s a
(FromJSON s, FromJSON a) => FromJSON (SenAttr s a) Source #
Instance details Methods parseJSON :: Value -> Parser (SenAttr s a) parseJSONList :: Value -> Parser [SenAttr s a]
(ToJSON s, ToJSON a) => ToJSON (SenAttr s a) Source #
Instance details Methods toJSON :: SenAttr s a -> Value toEncoding :: SenAttr s a -> Encoding toJSONList :: [SenAttr s a] -> Value toEncodingList :: [SenAttr s a] -> Encoding
(ShATermConvertible s, ShATermConvertible a) => ShATermConvertible (SenAttr s a) Source #
Instance details Methods toShATermAux :: ATermTable -> SenAttr s a -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SenAttr s a] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SenAttr s a) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SenAttr s a])