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 |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

CoArbitrary a => CoArbitrary (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 |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

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

## Instance detailsDefined in Algebra.Lattice.Levitated |

Lattice a => Lattice (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 |