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-Inferred

Common.Lattice

Description

 

Documentation

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

Methods

cjoin :: l -> l -> l

ctop :: l

bot :: l

Instances