orders-0.1.0.0: basic orders

Safe HaskellSafe-Inferred

Data.Lattice

Documentation

class Lattice a whereSource

Methods

lbot :: aSource

ltop :: aSource

ljoin :: a -> a -> aSource

lmeet :: a -> a -> aSource

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] -> lSource

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