| Copyright | (C) 2010-2015 Maximilian Bolingbroke, 2015 Oleg Grenrus |
|---|---|
| License | BSD-3-Clause (see the file LICENSE) |
| Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Algebra.Lattice.Lifted
Description
- data Lifted a
- retractLifted :: BoundedJoinSemiLattice a => Lifted a -> a
Documentation
Graft a distinct bottom onto an otherwise unbounded lattice. As a bonus, the bottom will be an absorbing element for the meet.
Instances
| Monad Lifted | |
| Functor Lifted | |
| Applicative Lifted | |
| Foldable Lifted | |
| Traversable Lifted | |
| Generic1 Lifted | |
| Eq a => Eq (Lifted a) | |
| Data a => Data (Lifted a) | |
| Ord a => Ord (Lifted a) | |
| Read a => Read (Lifted a) | |
| Show a => Show (Lifted a) | |
| Generic (Lifted a) | |
| NFData a => NFData (Lifted a) | |
| Hashable a => Hashable (Lifted a) | |
| BoundedLattice a => BoundedLattice (Lifted a) | |
| BoundedMeetSemiLattice a => BoundedMeetSemiLattice (Lifted a) | |
| JoinSemiLattice a => BoundedJoinSemiLattice (Lifted a) | |
| Lattice a => Lattice (Lifted a) | |
| MeetSemiLattice a => MeetSemiLattice (Lifted a) | |
| JoinSemiLattice a => JoinSemiLattice (Lifted a) | |
| Typeable (* -> *) Lifted | |
| type Rep1 Lifted | |
| type Rep (Lifted a) |
retractLifted :: BoundedJoinSemiLattice a => Lifted a -> a Source
Interpret Lifted aBoundedJoinSemiLattice of a.