Safe Haskell | None |
---|
- type MFun = Char
- type VarName = String
- data ShowF
- = Expr ByteString
- | Var Int
- type Context = HashTable Int (StableName MFun, MFun, [ShowF], Int)
- data Error = Error String
- data StatW = StatW (Context, [ShowF], ByteString)
- data STW a = STW (StatW -> (StatW, a))
- empty :: IO (HashTable Int val)
- assocs :: Ord a => HashTable a b -> [(a, b)]
- insert :: key -> val -> HashTable key val -> HashTable key val
- delete :: key -> HashTable key val -> HashTable key val
- lookup :: key -> HashTable key val -> Maybe val
- toList :: HashTable key val -> [(key, val)]
- fromList :: [(Int, val)] -> HashTable Int val
- addrHash :: Context -> a -> IO (Either Int Int)
- readContext :: ByteString -> ByteString -> (ByteString, ByteString)
- hasht :: a -> (Int, t)
- varName :: a -> [Char]
- numVar :: String -> Maybe Int
Documentation
addrHash :: Context -> a -> IO (Either Int Int)Source
return a unique hash identifier for an object
the context assures that no StableName used in addrStr is garbage collected,
so the hashes are constant and the correspondence address - string
remain one to one as long as the context is not garbage collected.
Left is returned if it is the first time that addHash
is called for that variable
readContext :: ByteString -> ByteString -> (ByteString, ByteString)Source
two variables that point to the same address will have identical varname (derived from import System.Mem.StableName)varName:: a -> String . The stable names of during the serializing deserializing process are not deleted . This is assured by the pointers in the context, so the hash values remain and the comparison of varNames is correct.