aterm-0.1.0.2: serialisation for Haskell values with sharing support

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 System.Mem.StableName and GHC.Prim)
Safe Haskell	None
Language	Haskell98

ATerm.AbstractSyntax

Description

the data types ShATerm and ATermTable plus some utilities

Synopsis

data ShATerm
- = ShAAppl String [Int] [Int]
- | ShAList [Int] [Int]
- | ShAInt Integer [Int]
data ATermTable
emptyATermTable :: ATermTable
addATerm :: ShATerm -> ATermTable -> (ATermTable, Int)
getATerm :: ATermTable -> ShATerm
toReadonlyATT :: ATermTable -> ATermTable
getTopIndex :: ATermTable -> Int
getATerm' :: Typeable t => Int -> ATermTable -> Maybe t
setATerm' :: Typeable t => Int -> t -> ATermTable -> ATermTable
getShATerm :: Int -> ATermTable -> ShATerm
data Key
getKey :: Key -> ATermTable -> IO (Maybe Int)
setKey :: Key -> Int -> ATermTable -> IO (ATermTable, Int)
mkKey :: Typeable a => a -> IO Key
getATermByIndex1 :: Int -> ATermTable -> ATermTable
str2Char :: String -> Char
integer2Int :: Integer -> Int

Documentation

data ShATerm Source #

Constructors

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

Instances

Eq ShATerm Source #
Instance details Defined in ATerm.AbstractSyntax Methods (==) :: ShATerm -> ShATerm -> Bool # (/=) :: ShATerm -> ShATerm -> Bool #
Ord ShATerm Source #
Instance details 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 Source #
Instance details Defined in ATerm.AbstractSyntax Methods showsPrec :: Int -> ShATerm -> ShowS # show :: ShATerm -> String # showList :: [ShATerm] -> ShowS #

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 t Source #

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