Portability | non-portable(imports System.Mem.StableName and GHC.Prim) |
---|---|
Stability | provisional |
Maintainer | Christian.Maeder@dfki.de |
the data types ShATerm
and ATermTable
plus some utilities
- data ShATerm
- 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 ATermTable Source
addATerm :: ShATerm -> ATermTable -> (ATermTable, Int)Source
getATerm :: ATermTable -> ShATermSource
getTopIndex :: ATermTable -> IntSource
setATerm' :: Typeable t => Int -> t -> ATermTable -> ATermTableSource
getShATerm :: Int -> ATermTable -> ShATermSource
setKey :: Key -> Int -> ATermTable -> IO (ATermTable, Int)Source
getATermByIndex1 :: Int -> ATermTable -> ATermTableSource
integer2Int :: Integer -> IntSource
conversion of an unlimited integer to a machine int