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

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

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

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