Copyright	(c) Christian Maeder DFKI GmbH 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

Common.Lattice

Description

Documentation

class (Ord l, Show l) => Lattice l where Source #

Methods

cjoin :: l -> l -> l Source #

Instances details

Lattice Bool Source #
Instance details Defined in Common.Lattice Methods cjoin :: Bool -> Bool -> Bool Source # ctop :: Bool Source # bot :: Bool Source #
Lattice () Source #
Instance details Defined in Common.Lattice Methods cjoin :: () -> () -> () Source # ctop :: () Source # bot :: () Source #
Lattice Sublogic Source #
Instance details Defined in ExtModal.Sublogic Methods cjoin :: Sublogic -> Sublogic -> Sublogic Source # ctop :: Sublogic Source # bot :: Sublogic Source #
(Lattice a, Lattice b) => Lattice (a, b) Source #
Instance details Defined in Common.Lattice Methods cjoin :: (a, b) -> (a, b) -> (a, b) Source # ctop :: (a, b) Source # bot :: (a, b) Source #