aterm-0.1.0.1: serialisation for Haskell values with sharing support

Portability	non-portable(imports System.Mem.StableName and GHC.Prim)
Stability	provisional
Maintainer	Christian.Maeder@dfki.de

ATerm.AbstractSyntax

Description

the data types ShATerm and ATermTable plus some utilities

Synopsis

Documentation

data ShATerm Source

Constructors

ShAAppl String [Int] [Int]
ShAList [Int] [Int]
ShAInt Integer [Int]

Instances

Eq ShATerm
Ord ShATerm
Show ShATerm

data ATermTable Source

emptyATermTable :: ATermTable Source

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

getATerm :: ATermTable -> ShATerm Source

toReadonlyATT :: ATermTable -> ATermTable Source

getTopIndex :: ATermTable -> Int Source

getATerm' :: Typeable t => Int -> ATermTable -> Maybe tSource

setATerm' :: Typeable t => Int -> t -> ATermTable -> ATermTable Source

getShATerm :: Int -> ATermTable -> ShATerm Source

data Key Source

getKey :: Key -> ATermTable -> IO (Maybe Int)Source

setKey :: Key -> Int -> ATermTable -> IO (ATermTable, Int)Source

mkKey :: Typeable a => a -> IO Key Source

getATermByIndex1 :: Int -> ATermTable -> ATermTable Source

str2Char :: String -> Char Source

conversion of a string in double quotes to a character

integer2Int :: Integer -> Int Source

conversion of an unlimited integer to a machine int