Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI GmbH 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

Common.Lattice

Description

 

Documentation

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

Minimal complete definition

cjoin, ctop, bot

Methods

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

ctop :: l Source #

bot :: l Source #

Instances

Lattice Bool Source # 

Methods

cjoin :: Bool -> Bool -> Bool Source #

ctop :: Bool Source #

bot :: Bool Source #

Lattice () Source # 

Methods

cjoin :: () -> () -> () Source #

ctop :: () Source #

bot :: () Source #

Lattice Sublogic Source # 
(Lattice a, Lattice b) => Lattice (a, b) Source # 

Methods

cjoin :: (a, b) -> (a, b) -> (a, b) Source #

ctop :: (a, b) Source #

bot :: (a, b) Source #