Copyright	(c) Klaus Luettich C. Maeder Uni Bremen 2002-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(imports ATerm.AbstractSyntax)
Safe Haskell	None
Language	Haskell98

ATerm.Conversion

Description

the class ShATermConvertible depending on the class Typeable for converting datatypes to and from ShATerms in ATermTables, plus a couple of basic instances and utilities

Documentation

class Typeable t => ShATermConvertible t where Source #

Minimal complete definition

toShATermAux, fromShATermAux

Methods

toShATermAux :: ATermTable -> t -> IO (ATermTable, Int) Source #

toShATermList' :: ATermTable -> [t] -> IO (ATermTable, Int) Source #

fromShATermAux :: Int -> ATermTable -> (ATermTable, t) Source #

fromShATermList' :: Int -> ATermTable -> (ATermTable, [t]) Source #

Instances

ShATermConvertible Bool Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> Bool -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [Bool] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, Bool) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [Bool]) Source #
ShATermConvertible Char Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> Char -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [Char] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, Char) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [Char]) Source #
ShATermConvertible Float Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> Float -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [Float] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, Float) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [Float]) Source #
ShATermConvertible Int Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> Int -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [Int] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, Int) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [Int]) Source #
ShATermConvertible Integer Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> Integer -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [Integer] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, Integer) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [Integer]) Source #
ShATermConvertible Word8 Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> Word8 -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [Word8] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, Word8) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [Word8]) Source #
ShATermConvertible () Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> () -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [()] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, ()) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [()]) Source #
ShATermConvertible a => ShATermConvertible [a] Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> [a] -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [[a]] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, [a]) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [[a]]) Source #
ShATermConvertible a => ShATermConvertible (Maybe a) Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> Maybe a -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [Maybe a] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, Maybe a) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [Maybe a]) Source #
(ShATermConvertible a, Integral a) => ShATermConvertible (Ratio a) Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> Ratio a -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [Ratio a] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, Ratio a) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [Ratio a]) Source #
ShATermConvertible a => ShATermConvertible (IntMap a) Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> IntMap a -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [IntMap a] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, IntMap a) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [IntMap a]) Source #
ShATermConvertible a => ShATermConvertible (Set a) Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> Set a -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [Set a] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, Set a) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [Set a]) Source #
(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (Either a b) Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> Either a b -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [Either a b] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, Either a b) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [Either a b]) Source #
(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (a, b) Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> (a, b) -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [(a, b)] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, (a, b)) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [(a, b)]) Source #
(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (Map a b) Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> Map a b -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [Map a b] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, Map a b) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [Map a b]) Source #
(ShATermConvertible a, ShATermConvertible b, ShATermConvertible c) => ShATermConvertible (a, b, c) Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> (a, b, c) -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [(a, b, c)] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, (a, b, c)) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [(a, b, c)]) Source #
(ShATermConvertible a, ShATermConvertible b, ShATermConvertible c, ShATermConvertible d) => ShATermConvertible (a, b, c, d) Source #
Instance details Defined in ATerm.Conversion Methods toShATermAux :: ATermTable -> (a, b, c, d) -> IO (ATermTable, Int) Source # toShATermList' :: ATermTable -> [(a, b, c, d)] -> IO (ATermTable, Int) Source # fromShATermAux :: Int -> ATermTable -> (ATermTable, (a, b, c, d)) Source # fromShATermList' :: Int -> ATermTable -> (ATermTable, [(a, b, c, d)]) Source #

toShATerm' :: ShATermConvertible t => ATermTable -> t -> IO (ATermTable, Int) Source #

fromShATerm' :: ShATermConvertible t => Int -> ATermTable -> (ATermTable, t) Source #

fromShATermError :: String -> ShATerm -> a Source #