Missing instance for instance BoundedMeetSemiLattice (HashSet a)

haskellari / lattices

Fine-grained lattice primitives for Haskell

BSD 3-Clause "New" or "Revised" License

35 stars 15 forks source link

Closed ocharles closed 6 years ago

ocharles commented 7 years ago

The following is the same instance as for a normal Set, but for HashSets:

instance (Hashable a, Eq a, Finite a) => BoundedMeetSemiLattice (HashSet a) where
    top = Set.fromList universeF

Is there any reason this instance doesn't exist, or is it just an accidental omission?