Data.Star

Documentation

class Semiring a => Star a where

A Star semiring adds one operation, star to a Semiring, such that it follows the law:

star x = one + x * star x = one + star x * x

Another operation, aplus, can be defined in terms of star:

aplus x = x * star x

Minimal complete definition

star | aplus

Methods

star :: a -> a

aplus :: a -> a

Instances

Star Bool

Defined in Data.Star

Methods

star :: Bool -> Bool

aplus :: Bool -> Bool

Star ()

Defined in Data.Star

Methods

star :: () -> ()

aplus :: () -> ()

Star b => Star (a -> b)

Defined in Data.Star

Methods

star :: (a -> b) -> a -> b

aplus :: (a -> b) -> a -> b

Star (Proxy a)

Defined in Data.Star

Methods

star :: Proxy a -> Proxy a

aplus :: Proxy a -> Proxy a

(Ord a, Monoid a, Extremum e) => Star (Tropical e a)

Defined in Data.Semiring.Tropical

Methods

star :: Tropical e a -> Tropical e a

aplus :: Tropical e a -> Tropical e a