Data.Semilattice

Documentation

class Monoid a => Semilattice a where

A Semilattice is a Monoid with the additional property that its (/\) = (<>) operation is commutative and idempotent. That is:

a /\ b = b /\ a

and

a /\ a = a

These two properties ensure the internal representations of QuadTree and OctTree can't leak out when performing spatial queries.

Minimal complete definition

Nothing

Methods

(/\) :: a -> a -> a

Instances

Semilattice All

Defined in Data.Semilattice

Methods

(/\) :: All -> All -> All

Semilattice Any

Defined in Data.Semilattice

Methods

(/\) :: Any -> Any -> Any

Semilattice ()

Defined in Data.Semilattice

Methods

(/\) :: () -> () -> ()

(Ord a, Bounded a) => Semilattice (Max a)

Defined in Data.Semilattice

Methods

(/\) :: Max a -> Max a -> Max a

(Ord a, Bounded a) => Semilattice (Min a)

Defined in Data.Semilattice

Methods

(/\) :: Min a -> Min a -> Min a

Ord a => Semilattice (Set a)

Defined in Data.Semilattice

Methods

(/\) :: Set a -> Set a -> Set a

Semilattice a => Semilattice (MonoidalIntMap a)

Defined in Data.Semilattice

Methods

(/\) :: MonoidalIntMap a -> MonoidalIntMap a -> MonoidalIntMap a

Semilattice a => Semilattice (MonoidalIntMap a)

Defined in Data.Semilattice

Methods

(/\) :: MonoidalIntMap a -> MonoidalIntMap a -> MonoidalIntMap a

Semilattice a => Semilattice (OctTree a)

Defined in Data.OctTree

Methods

(/\) :: OctTree a -> OctTree a -> OctTree a

Semilattice a => Semilattice (QuadTree a)

Defined in Data.QuadTree

Methods

(/\) :: QuadTree a -> QuadTree a -> QuadTree a

Semilattice a => Semilattice (Maybe a)

Defined in Data.Semilattice

Methods

(/\) :: Maybe a -> Maybe a -> Maybe a

(Hashable k, Eq k, Semilattice a) => Semilattice (MonoidalHashMap k a)

Defined in Data.Semilattice

Methods

(/\) :: MonoidalHashMap k a -> MonoidalHashMap k a -> MonoidalHashMap k a

(Ord k, Semilattice a) => Semilattice (MonoidalMap k a)

Defined in Data.Semilattice

Methods

(/\) :: MonoidalMap k a -> MonoidalMap k a -> MonoidalMap k a

(Ord k, Semilattice a) => Semilattice (MonoidalMap k a)

Defined in Data.Semilattice

Methods

(/\) :: MonoidalMap k a -> MonoidalMap k a -> MonoidalMap k a

Semilattice b => Semilattice (a -> b)

Defined in Data.Semilattice

Methods

(/\) :: (a -> b) -> (a -> b) -> a -> b

(Semilattice a, Semilattice b) => Semilattice (a, b)

Defined in Data.Semilattice

Methods

(/\) :: (a, b) -> (a, b) -> (a, b)

Semilattice a => Semilattice (Const a b)

Defined in Data.Semilattice

Methods

(/\) :: Const a b -> Const a b -> Const a b

(Semilattice a, Semilattice b, Semilattice c) => Semilattice (a, b, c)

Defined in Data.Semilattice

Methods

(/\) :: (a, b, c) -> (a, b, c) -> (a, b, c)

(Semilattice (f a), Semilattice (g a)) => Semilattice (Product f g a)

Defined in Data.Semilattice

Methods

(/\) :: Product f g a -> Product f g a -> Product f g a

(Semilattice (f a), Semilattice (g a)) => Semilattice ((f :*: g) a)

Defined in Data.Semilattice

Methods

(/\) :: (f :*: g) a -> (f :*: g) a -> (f :*: g) a

Semilattice a => Semilattice (K1 i a b)

Defined in Data.Semilattice

Methods

(/\) :: K1 i a b -> K1 i a b -> K1 i a b

(Semilattice a, Semilattice b, Semilattice c, Semilattice d) => Semilattice (a, b, c, d)

Defined in Data.Semilattice

Methods

(/\) :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d)

Semilattice (f (g a)) => Semilattice (Compose f g a)

Defined in Data.Semilattice

Methods

(/\) :: Compose f g a -> Compose f g a -> Compose f g a

Semilattice (f (g a)) => Semilattice ((f :.: g) a)

Defined in Data.Semilattice

Methods

(/\) :: (f :.: g) a -> (f :.: g) a -> (f :.: g) a

Semilattice (f a) => Semilattice (M1 i c f a)

Defined in Data.Semilattice

Methods

(/\) :: M1 i c f a -> M1 i c f a -> M1 i c f a

(Semilattice a, Semilattice b, Semilattice c, Semilattice d, Semilattice e) => Semilattice (a, b, c, d, e)

Defined in Data.Semilattice

Methods

(/\) :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e)