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