Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- class Semigroup a => Semilattice a
- (<>) :: 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 (GCounter a) Source # | |
Ord a => Semilattice (PNCounter a) Source # | |
Ord a => Semilattice (LWW a) Source # | |
(<>) :: Semilattice a => a -> a -> a infixr 6 Source #
Just (<>
), specialized to Semilattice
.