| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Semilattice
- class Semigroup a => Semilattice a
- merge :: Semilattice a => a -> a -> a
Documentation
class Semigroup a => Semilattice a Source #
A semilattice.
It may be a join-semilattice, or meet-semilattice, it doesn't matter.
If it matters for you, use package lattices.
In addition to Semigroup, Semilattice defines this laws:
Instances
| Ord a => Semilattice (GCounter a) Source # | |
| Ord a => Semilattice (PNCounter a) Source # | |
| Semilattice (LWW a) Source # | |
merge :: Semilattice a => a -> a -> a infixr 6 Source #
Just (<>), specialized to Semilattice.