homeomorphic-0.1: Homeomorphic Embedding Test

Data.Homeomorphic.Check

Documentation

data Homeomorphic k v Source

Constructors

Homeomorphic (Homeomorphic k v) (Homeomorphic k v) (Homeomorphic k v) (Homeomorphic k v) (Homeomorphic k v) (Homeomorphic k v)

empty :: Homeomorphic k vSource

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

find :: (Ord k, Eq v, Show v, Show k) => Shell k -> Homeomorphic k v -> [v]Source

findOne :: (Ord k, Eq v, Show v, Show k) => Shell k -> Homeomorphic k v -> Maybe vSource