Lattice.hs


1
2
3
4
5
6
7
8
9

module Lattice where


class Eq a => Lattice a where
    join :: a -> a -> a
    bottom :: a

    joinList :: [a] -> a
    joinList = foldl join bottom