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 Lifted a
- retractLifted :: BoundedJoinSemiLattice a => Lifted a -> a

# Documentation

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

Monad Lifted Source # | |

Functor Lifted Source # | |

Applicative Lifted Source # | |

Foldable Lifted Source # | |

Traversable Lifted Source # | |

Generic1 Lifted Source # | |

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

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

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

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

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

Generic (Lifted a) Source # | |

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

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

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

BoundedMeetSemiLattice a => BoundedMeetSemiLattice (Lifted a) Source # | |

JoinSemiLattice a => BoundedJoinSemiLattice (Lifted a) Source # | |

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

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

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

type Rep1 Lifted Source # | |

type Rep (Lifted a) Source # | |

retractLifted :: BoundedJoinSemiLattice a => Lifted a -> a Source #

Interpret

using the `Lifted`

a`BoundedJoinSemiLattice`

of `a`

.