Data.Lattice

Documentation

class Lattice a where

Methods

lbot :: a

ltop :: a

ljoin :: a -> a -> a

lmeet :: a -> a -> a

Instances

Lattice ()

Ord a => Lattice (Set a)

(Lattice a, Lattice b) => Lattice (Either a b)

(Lattice a, Lattice b) => Lattice (a, b)

(Ord k, Lattice v) => Lattice (Map k v)

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

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

lmeets :: Lattice l => [l] -> l

ljoins :: Lattice l => [l] -> l