Foldable Levitated Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Traversable Levitated Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Applicative Levitated Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Functor Levitated Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Monad Levitated Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Generic1 Levitated 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 |
Function a => Function (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Data a => Data (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Generic (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 |
NFData a => NFData (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Eq a => Eq (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Ord a => Ord (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Hashable a => Hashable (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Lattice a => BoundedJoinSemiLattice (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Lattice a => BoundedMeetSemiLattice (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Lattice a => Lattice (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
PartialOrd a => PartialOrd (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Finite a => Finite (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
Universe a => Universe (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
type Rep1 Levitated Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |
type Rep (Levitated a) Source # | |
Instance detailsDefined in Algebra.Lattice.Levitated |