Monad (BinPacking n) | |
Functor (BinPacking n) | |
Eq a => Eq (BinPacking n a) | |
Ord a => Ord (BinPacking n a) | |
Read a => Read (BinPacking n a) | |
Show a => Show (BinPacking n a) | |
(Ord a, Ord (Ring a), Norm a, SingI Nat n) => Monoid (BinPacking n a) | |
(Ord a, Ord (Ring a), Norm a, SingI Nat n) => HomTrainer (BinPacking n a) | |
HasRing (SortedVector a) => HasRing (BinPacking n a) | |
(Ord a, Ord (Ring a), Norm a, SingI Nat n, Module (SortedVector a)) => Module (BinPacking n a) | |
(Ord a, Ord (Ring a), Norm a, SingI Nat n) => Abelian (BinPacking n a) | |
(Ord a, Ord (Ring a), Norm a, SingI Nat n, Group (SortedVector a)) => Group (BinPacking n a) | |