homeomorphic-0.1: Homeomorphic Embedding Test

Data.Homeomorphic.MemoCache

Documentation

data Homeomorphic k v Source

Constructors

Homeomorphic (IORef Cache) [(ShellId, v)] (IORef (ShellIds k)) 

type Cache = IntMap (IntMap Bool)Source

empty :: Homeomorphic k vSource

insert :: Ord k => Shell k -> v -> Homeomorphic k v -> Homeomorphic k vSource

findOne :: Ord k => Shell k -> Homeomorphic k v -> Maybe vSource

find :: Ord k => Shell k -> Homeomorphic k v -> [v]Source

getCache :: ShellId -> ShellId -> State Cache (Maybe Bool)Source

addCache :: ShellId -> ShellId -> Bool -> State Cache ()Source

test :: ShellId -> ShellId -> State Cache BoolSource

diveM :: ShellId -> ShellId -> State Cache BoolSource

coupleM :: ShellId -> ShellId -> State Cache BoolSource