homeomorphic-0.1: Homeomorphic Embedding Test

Data.Homeomorphic.Memo

Documentation

data Homeomorphic k v Source

Constructors

Homeomorphic (IORef (Cache k)) [(Shell k, v)] 

type Cache k = Map (Shell k) (Map (Shell k) Bool)Source

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 :: Ord k => Shell k -> Shell k -> State (Cache k) (Maybe Bool)Source

addCache :: Ord k => Shell k -> Shell k -> Bool -> State (Cache k) ()Source

test :: Ord k => Shell k -> Shell k -> State (Cache k) BoolSource

diveM :: Ord k => Shell k -> Shell k -> State (Cache k) BoolSource

coupleM :: Ord k => Shell k -> Shell k -> State (Cache k) BoolSource