e071fb22ea9923a2a4ff41184d80ca46b55ee932Till MossakowskiDescription : lattice classes
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachCopyright : (c) Christian Maeder, DFKI GmbH 2011
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederLicense : GPLv2 or higher, see LICENSE.txt
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachMaintainer : Christian.Maeder@dfki.de
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiStability : provisional
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachPortability : portable
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbachclass (Ord l, Show l) => Lattice l where
fbb2d28086a1860850f661fbf4af531322bac405Christian Maeder cjoin :: l -> l -> l
c4b2418421546a337f83332fe0db04742dcd735dAndy Gimblettinstance Lattice () where
929190acb9f2b2f5857dce841c5a389710895515Andy Gimblett cjoin _ _ = ()
fbb2d28086a1860850f661fbf4af531322bac405Christian Maederinstance Lattice Bool where
1c7c4d95775a8ad5f7373e5cf0bad86f8301c56cAndy Gimblettinstance (Lattice a, Lattice b) => Lattice (a, b) where
1c7c4d95775a8ad5f7373e5cf0bad86f8301c56cAndy Gimblett cjoin (a, b) (c, d) = (cjoin a c, cjoin b d)
b3dca469a9e267d6d71acfdeca7bf284d0581dc7Till Mossakowski ctop = (ctop, ctop)
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach bot = (bot, bot)