Module

Data.Semiring.Tropical

Package: purescript-tropical
Repository: paf31/purescript-tropical

This module defines the tropical semiring.

#Tropical Source

newtype Tropical

The tropical semiring is given by (ℝ ∪ {∞}, min, +), but we use Number as an approximation to ℝ ∪ {∞}.

Constructors

Tropical Number

Instances

Modules: Data.Semiring.Tropical