Add Wide join-semilattices

haskellari / lattices

Fine-grained lattice primitives for Haskell

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

35 stars 15 forks source link

Add Wide join-semilattices #61

Closed gwils closed 5 years ago

gwils commented 6 years ago

(formerly called Flat)

phadej commented 5 years ago

@gwils do you have some use case in mind. I'm slightly afraid of adding this as wouldn't we need (for completeness) variants for Dropped and Lifted; what about when a is (Bounded)MeetSemiLattice but not SemiLattice...

gwils commented 5 years ago

Yeah, no worries. I can define this guy inline if needed or just build it from other stuff.