Monad Levitated Source # | |

## Instance detailsDefined in Algebra.Lattice.Levitated |

Functor Levitated Source # | |

## Instance detailsDefined in Algebra.Lattice.Levitated |

Applicative Levitated Source # | |

## Instance detailsDefined in Algebra.Lattice.Levitated |

Foldable Levitated Source # | |

## Instance detailsDefined in Algebra.Lattice.Levitated |

Traversable Levitated Source # | |

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

Generic (Levitated a) Source # | |

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

Generic1 Levitated Source # | |

## Instance detailsDefined in Algebra.Lattice.Levitated |

type Rep (Levitated a) Source # | |

## Instance detailsDefined in Algebra.Lattice.Levitated |

type Rep1 Levitated Source # | |

## Instance detailsDefined in Algebra.Lattice.Levitated |