Data.Semiring.Tropical

This file just contains the minimal definition of "tropical," meaning any tropical object has to be an ordered semiring.

Documentation

data Real t => Tropical t

Tropical numbers are like real numbers, except zero is the same thing as Infinity, and you can't subtract.

Constructors

Tropical

Any tropical number

Fields

realValue :: t

Infinity

Infinity

Instances

Real t => Eq (Tropical t)

Real t => Ord (Tropical t)

(Real t, Show t) => Show (Tropical t)

Real a => Semiring (Tropical a)

type Operator a = a -> a -> a

(./.) :: Real a => Operator (Tropical a)

Tropical division. Remember, if Infinity is tropical zero, then you can't divide by it!

(.^.) :: Real a => Operator (Tropical a)