Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- 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:
Ord a => Semilattice (Max a) Source # | |
Ord a => Semilattice (Set a) Source # | |
Eq a => Semilattice (LWW a) Source # | See |
Ord a => Semilattice (TwoPSet a) Source # | |
Ord a => Semilattice (ORSet a) Source # | |
Ord a => Semilattice (LwwElementSet a) Source # | |
Ord a => Semilattice (GCounter a) Source # | See |
Ord a => Semilattice (PNCounter a) Source # | See |
merge :: Semilattice a => a -> a -> a infixr 6 Source #
Just (<>
), specialized to Semilattice
.