Safe Haskell | Safe-Inferred |
---|

# Documentation

Graft a distinct bottom onto an otherwise unbounded lattice. As a bonus, the bottom will be an absorbing element for the meet.

(Lattice (Lifted a), BoundedJoinSemiLattice (Lifted a), BoundedMeetSemiLattice (Lifted a), BoundedLattice a) => BoundedLattice (Lifted a) | |

(MeetSemiLattice (Lifted a), BoundedMeetSemiLattice a) => BoundedMeetSemiLattice (Lifted a) | |

(JoinSemiLattice (Lifted a), JoinSemiLattice a) => BoundedJoinSemiLattice (Lifted a) | |

(JoinSemiLattice (Lifted a), MeetSemiLattice (Lifted a), Lattice a) => Lattice (Lifted a) | |

MeetSemiLattice a => MeetSemiLattice (Lifted a) | |

JoinSemiLattice a => JoinSemiLattice (Lifted a) |