Functor Tropical |
Pointed Tropical |
Ord a => Reducer a (Tropical a) |
(Ord a, Num a) => Bimodule Natural (Tropical a) |
(Ord a, Num a) => RightModule Natural (Tropical a) |
(Ord a, Num a) => LeftModule Natural (Tropical a) |
(Ord a, Num a) => Module Natural (Tropical a) |
Eq a => Eq (Tropical a) |
Ord a => Ord (Tropical a) |
Read a => Read (Tropical a) |
Show a => Show (Tropical a) |
Ord a => Monoid (Tropical a) |
Arbitrary a => Arbitrary (Tropical a) |
CoArbitrary a => CoArbitrary (Tropical a) |
Num a => Multiplicative (Tropical a) |
(Ord a, Num a) => SemiRing (Tropical a) |
(Ord a, Num a) => RightSemiNearRing (Tropical a) |
(Ord a, Num a) => LeftSemiNearRing (Tropical a) |
(Ord a, Num a) => Ringoid (Tropical a) |
Ord a => Reducer (Maybe a) (Tropical a) |
Ord a => Reducer (MinPriority a) (Tropical a) |
(Ord a, Num a) => Bimodule (Tropical a) (Tropical a) |
(Ord a, Num a) => RightModule (Tropical a) (Tropical a) |
(Ord a, Num a) => LeftModule (Tropical a) (Tropical a) |
(Ord a, Num a) => Module (Tropical a) (Tropical a) |