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 Levitated a
- retractLevitated :: BoundedLattice a => Levitated a -> a

# Documentation

Graft a distinct top and bottom onto an otherwise unbounded lattice. The top is the absorbing element for the join, and the bottom is the absorbing element for the meet.

Monad Levitated Source # | |

Functor Levitated Source # | |

Applicative Levitated Source # | |

Foldable Levitated Source # | |

Traversable Levitated Source # | |

Generic1 Levitated Source # | |

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

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

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

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

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

Generic (Levitated a) Source # | |

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

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

Lattice a => BoundedLattice (Levitated a) Source # | |

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

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

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

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

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

type Rep1 Levitated Source # | |

type Rep (Levitated a) Source # | |

retractLevitated :: BoundedLattice a => Levitated a -> a Source #

Interpret

using the `Levitated`

a`BoundedLattice`

of `a`

.