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

Instances