| License | BSD-3-Clause (see the file LICENSE) |
|---|---|
| Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Algebra.Lattice.Free.Final
Contents
Description
Synopsis
- data FLattice a
- liftFLattice :: a -> FLattice a
- lowerFLattice :: FLattice a -> forall b. Lattice b => (a -> b) -> b
- retractFLattice :: Lattice a => FLattice a -> a
- data FBoundedLattice a
- liftFBoundedLattice :: a -> FBoundedLattice a
- lowerFBoundedLattice :: FBoundedLattice a -> forall b. BoundedLattice b => (a -> b) -> b
- retractFBoundedLattice :: BoundedLattice a => FBoundedLattice a -> a
Free Lattice
Instances
| Functor FLattice Source # | |
| Universe a => Universe ( FLattice a) Source # | |
|
Defined in Algebra.Lattice.Free.Final |
|
| Finite a => Finite ( FLattice a) Source # | |
| BoundedMeetSemiLattice a => BoundedMeetSemiLattice ( FLattice a) Source # | |
|
Defined in Algebra.Lattice.Free.Final |
|
| BoundedJoinSemiLattice a => BoundedJoinSemiLattice ( FLattice a) Source # | |
|
Defined in Algebra.Lattice.Free.Final |
|
| Lattice ( FLattice a) Source # | |
liftFLattice :: a -> FLattice a Source #
lowerFLattice :: FLattice a -> forall b. Lattice b => (a -> b) -> b Source #
retractFLattice :: Lattice a => FLattice a -> a Source #
Free BoundedLattice
data FBoundedLattice a Source #
Instances
liftFBoundedLattice :: a -> FBoundedLattice a Source #
lowerFBoundedLattice :: FBoundedLattice a -> forall b. BoundedLattice b => (a -> b) -> b Source #
retractFBoundedLattice :: BoundedLattice a => FBoundedLattice a -> a Source #