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 | Safe |

Language | Haskell2010 |

- 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.

Monad Dropped Source # | |

Functor Dropped Source # | |

Applicative Dropped Source # | |

Foldable Dropped Source # | |

Traversable Dropped Source # | |

Generic1 Dropped Source # | |

Eq a => Eq (Dropped a) Source # | |

Data a => Data (Dropped a) Source # | |

Ord a => Ord (Dropped a) Source # | |

Read a => Read (Dropped a) Source # | |

Show a => Show (Dropped a) Source # | |

Generic (Dropped a) Source # | |

NFData a => NFData (Dropped a) Source # | |

Hashable a => Hashable (Dropped a) Source # | |

BoundedLattice a => BoundedLattice (Dropped a) Source # | |

MeetSemiLattice a => BoundedMeetSemiLattice (Dropped a) Source # | |

BoundedJoinSemiLattice a => BoundedJoinSemiLattice (Dropped a) Source # | |

Lattice a => Lattice (Dropped a) Source # | |

MeetSemiLattice a => MeetSemiLattice (Dropped a) Source # | |

JoinSemiLattice a => JoinSemiLattice (Dropped a) Source # | |

type Rep1 Dropped Source # | |

type Rep (Dropped a) Source # | |

retractDropped :: BoundedMeetSemiLattice a => Dropped a -> a Source #

Interpret

using the `Dropped`

a`BoundedMeetSemiLattice`

of `a`

.