Closed ocharles closed 5 years ago
I note it's also lacking a Universe
instance, which seems fine if we have Universe a
(just fmap Lift
over the existing universe and add Bottom
).
is there instances for Dropped or Leviated (and other wrappers). The PR for adding them will be welcomed
Great, I'll get you a PR. I just wanted to make sure they made sense. Levitated
and Dropped
also lack these.
https://hackage.haskell.org/package/lattices-1.7.1.1/docs/Algebra-Lattice-Lifted.html grafts a new least onto an unbounded lattice. Should this have a PartialOrd instance, such that
leq Bottom x = True
for all x?