| 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.Levitated
Description
- data Levitated a
- retractLevitated :: BoundedLattice a => Levitated a -> a
Documentation
Graft a distinct top and bottom onto an otherwise unbounded lattice. The top is the absorbing element for the join, and the bottom is the absorbing element for the meet.
Instances
| Monad Levitated | |
| Functor Levitated | |
| Applicative Levitated | |
| Foldable Levitated | |
| Traversable Levitated | |
| Generic1 Levitated | |
| Eq a => Eq (Levitated a) | |
| Data a => Data (Levitated a) | |
| Ord a => Ord (Levitated a) | |
| Read a => Read (Levitated a) | |
| Show a => Show (Levitated a) | |
| Generic (Levitated a) | |
| NFData a => NFData (Levitated a) | |
| Hashable a => Hashable (Levitated a) | |
| Lattice a => BoundedLattice (Levitated a) | |
| MeetSemiLattice a => BoundedMeetSemiLattice (Levitated a) | |
| JoinSemiLattice a => BoundedJoinSemiLattice (Levitated a) | |
| Lattice a => Lattice (Levitated a) | |
| MeetSemiLattice a => MeetSemiLattice (Levitated a) | |
| JoinSemiLattice a => JoinSemiLattice (Levitated a) | |
| Typeable (* -> *) Levitated | |
| type Rep1 Levitated | |
| type Rep (Levitated a) |
retractLevitated :: BoundedLattice a => Levitated a -> a Source
Interpret Levitated aBoundedLattice of a.