Documentation

data Homeomorphic k v Source

empty :: Homeomorphic k vSource

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

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

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