# language UndecidableSuperClasses #

module Haskerwaul.Lattice.Complete
  ( module Haskerwaul.Lattice.Complete
  -- * extended modules
  , module Haskerwaul.Lattice
  ) where

import Haskerwaul.Lattice

-- | [nLab](+lattice)
class Lattice c t a => CompleteLattice c t a

 * extended modules
 | [nLab](+lattice)
# language UndecidableSuperClasses #

module Haskerwaul.Lattice.Complete
  ( module Haskerwaul.Lattice.Complete
  , module Haskerwaul.Lattice
  ) where

import Haskerwaul.Lattice

class Lattice c t a => CompleteLattice c t a
