ATerm.Lib

reexports the names needed for many ShATermConvertible instances. For converting ShATerms to and from Strings you'll need the module ATerm.ReadWrite.

For more information on ATerms look under http://www.asfsdf.org, http://www.asfsdf.org/Meta-Environment/ATerms.

Documentation

data ShATerm

Constructors

ShAAppl String [Int] [Int]

ShAList [Int] [Int]

ShAInt Integer [Int]

Instances

Eq ShATerm

Defined in ATerm.AbstractSyntax

Methods

(==) :: ShATerm -> ShATerm -> Bool

(/=) :: ShATerm -> ShATerm -> Bool

Ord ShATerm

Defined in ATerm.AbstractSyntax

Methods

compare :: ShATerm -> ShATerm -> Ordering

(<) :: ShATerm -> ShATerm -> Bool

(<=) :: ShATerm -> ShATerm -> Bool

(>) :: ShATerm -> ShATerm -> Bool

(>=) :: ShATerm -> ShATerm -> Bool

max :: ShATerm -> ShATerm -> ShATerm

min :: ShATerm -> ShATerm -> ShATerm

Show ShATerm

Defined in ATerm.AbstractSyntax

Methods

showsPrec :: Int -> ShATerm -> ShowS

show :: ShATerm -> String

showList :: [ShATerm] -> ShowS

data ATermTable

addATerm :: ShATerm -> ATermTable -> (ATermTable, Int)

getShATerm :: Int -> ATermTable -> ShATerm

class Typeable t => ShATermConvertible t where

Methods

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

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

Instances

ShATermConvertible Bool

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> Bool -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Bool] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Bool)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Bool])

ShATermConvertible Char

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> Char -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Char] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Char)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Char])

ShATermConvertible Float

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> Float -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Float] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Float)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Float])

ShATermConvertible Int

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> Int -> IO (ATermTable, Int)

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

fromShATermAux :: Int -> ATermTable -> (ATermTable, Int)

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

ShATermConvertible Integer

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> Integer -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Integer] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Integer)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Integer])

ShATermConvertible Word8

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> Word8 -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Word8] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Word8)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Word8])

ShATermConvertible ()

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> () -> IO (ATermTable, Int)

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

fromShATermAux :: Int -> ATermTable -> (ATermTable, ())

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

ShATermConvertible a => ShATermConvertible [a]

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> [a] -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [[a]] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, [a])

fromShATermList' :: Int -> ATermTable -> (ATermTable, [[a]])

ShATermConvertible a => ShATermConvertible (Maybe a)

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> Maybe a -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Maybe a] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Maybe a)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Maybe a])

(ShATermConvertible a, Integral a) => ShATermConvertible (Ratio a)

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> Ratio a -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Ratio a] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Ratio a)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Ratio a])

ShATermConvertible a => ShATermConvertible (IntMap a)

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> IntMap a -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [IntMap a] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, IntMap a)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [IntMap a])

ShATermConvertible a => ShATermConvertible (Set a)

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> Set a -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Set a] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Set a)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Set a])

(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (Either a b)

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> Either a b -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Either a b] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Either a b)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Either a b])

(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (a, b)

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> (a, b) -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [(a, b)] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, (a, b))

fromShATermList' :: Int -> ATermTable -> (ATermTable, [(a, b)])

(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (Map a b)

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> Map a b -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Map a b] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Map a b)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Map a b])

(ShATermConvertible a, ShATermConvertible b, ShATermConvertible c) => ShATermConvertible (a, b, c)

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> (a, b, c) -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [(a, b, c)] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, (a, b, c))

fromShATermList' :: Int -> ATermTable -> (ATermTable, [(a, b, c)])

(ShATermConvertible a, ShATermConvertible b, ShATermConvertible c, ShATermConvertible d) => ShATermConvertible (a, b, c, d)

Defined in ATerm.Conversion

Methods

toShATermAux :: ATermTable -> (a, b, c, d) -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [(a, b, c, d)] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, (a, b, c, d))

fromShATermList' :: Int -> ATermTable -> (ATermTable, [(a, b, c, d)])

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

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

fromShATermError :: String -> ShATerm -> a