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

Ord ShATerm

Show ShATerm

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

ShATermConvertible Char

ShATermConvertible Float

ShATermConvertible Int

ShATermConvertible Integer

ShATermConvertible Word8

ShATermConvertible ()

ShATermConvertible a => ShATermConvertible [a]

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

ShATermConvertible a => ShATermConvertible (Maybe a)

ShATermConvertible a => ShATermConvertible (IntMap a)

(Ord a, ShATermConvertible a) => ShATermConvertible (Set a)

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

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

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

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

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

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

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

fromShATermError :: String -> ShATerm -> a