# Documentation

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

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