Satchmo.SMT.Exotic.Semiring.Tropical

Documentation

data Tropical a

Constructors

Finite a

Plus_Infinite

Instances

Functor Tropical

Decode m Boolean Bool => Decode m Tropical (Tropical Integer)

Eq a => Eq (Tropical a)

Ord a => Ord (Tropical a)

Show a => Show (Tropical a)

(Ord a, Num a) => Semiring (Tropical a)

Typeable (* -> *) Tropical