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