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

Contents

Description

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

Orphan instances

ShATermConvertible Name Source # 

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 # 

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 # 

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 # 

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 # 

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 # 

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 # 

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 # 

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 # 

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

ShATermConvertible a => ShATermConvertible (Annoted a) Source # 

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

(ShATermConvertible s, ShATermConvertible a) => ShATermConvertible (SenAttr s a) Source # 

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