Data.RefSerialize.Serialize

Documentation

myToStrict :: ByteString -> ByteString

type MFun = Char

type VarName = String

data ShowF

Constructors

Expr ByteString

Var Int

Instances

Show ShowF

Methods

showsPrec :: Int -> ShowF -> ShowS

show :: ShowF -> String

showList :: [ShowF] -> ShowS

type Context = BasicHashTable Int (StableName MFun, MFun, [ShowF], Int)

data Error

Constructors

Error String

data StatW

Constructors

StatW (Context, [ShowF], ByteString)

data STW a

Constructors

STW (StatW -> (StatW, a))

Instances

Monad STW

monadic serialization

Methods

(>>=) :: STW a -> (a -> STW b) -> STW b

(>>) :: STW a -> STW b -> STW b

return :: a -> STW a

fail :: String -> STW a

Functor STW

Methods

fmap :: (a -> b) -> STW a -> STW b

(<$) :: a -> STW b -> STW a

Applicative STW

Methods

pure :: a -> STW a

(<*>) :: STW (a -> b) -> STW a -> STW b

(*>) :: STW a -> STW b -> STW b

(<*) :: STW a -> STW b -> STW a

empty :: HashTable h => IO (h RealWorld k v)

assocs :: (Hashable a, HashTable h, Ord a) => h RealWorld a b -> [(a, b)]

insert :: (Hashable k, Eq k, HashTable h) => k -> v -> h RealWorld k v -> h RealWorld k v

delete :: (Hashable k, Eq k, HashTable h) => k -> h RealWorld k v -> h RealWorld k v

lookup :: (Hashable k, Eq k, HashTable h) => k -> h RealWorld k v -> Maybe v

toList :: (Hashable k, Eq k, HashTable h) => h RealWorld k v -> [(k, v)]

fromList :: (Hashable k, Eq k, HashTable h) => [(k, v)] -> h RealWorld k v

addrHash :: Context -> a -> IO (Either Int Int)

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)

hasht :: a -> (Int, t)

varName :: t -> [Char]

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.

numVar :: String -> Maybe Int