Monad (Stacked a) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

Functor (Stacked a) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

Applicative (Stacked a) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

Foldable (Stacked a) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

Traversable (Stacked a) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

Generic1 (Stacked a :: Type -> Type) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(Eq a, Eq b) => Eq (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(Data a, Data b) => Data (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(Ord a, Ord b) => Ord (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(Read a, Read b) => Read (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(Show a, Show b) => Show (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

Generic (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(Arbitrary a, Arbitrary b) => Arbitrary (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(NFData a, NFData b) => NFData (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(Hashable a, Hashable b) => Hashable (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(Universe a, Universe b) => Universe (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(Finite a, Finite b) => Finite (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(PartialOrd a, PartialOrd b) => PartialOrd (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(Lattice a, BoundedMeetSemiLattice b) => BoundedMeetSemiLattice (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(BoundedJoinSemiLattice a, Lattice b) => BoundedJoinSemiLattice (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

(Lattice a, Lattice b) => Lattice (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

type Rep1 (Stacked a :: Type -> Type) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |

type Rep (Stacked a b) Source # | |

## Instance detailsDefined in Algebra.Lattice.Stacked |