Data.HashSet

Definitions

record HashSet : Type -> Type

Totality: total
Visibility: export
Constructor: 

MkHashSet : HashMap k () -> HashSet k

Projection: 

.hashmap : HashSet k -> HashMap k ()

empty : Hashable k => Eq k => HashSet k

Visibility: export

insert : Hashable k => Eq k => k -> HashSet k -> HashSet k

Visibility: export

contains : Hashable k => Eq k => k -> HashSet k -> Bool

Visibility: export