Data.Semiring

Semiring classes

class Semiring a where

A Semiring is like the the combination of two Monoids. The first is called <+>; it has the identity element zero, and it is commutative. The second is called <.>; it has identity element one, and it must distribute over <+>.

Laws

Normal Monoid laws

(a <+> b) <+> c = a <+> (b <+> c)
zero <+> a = a <+> zero = a
(a <.> b) <.> c = a <.> (b <.> c)
one <.> a = a <.> one = a

Commutativity of <+>

a <+> b = b <+> a

Distribution of <.> over <+>

a <.> (b <+> c) = (a <.> b) <+> (a <.> c)
(a <+> b) <.> c = (a <.> c) <+> (b <.> c)

Annihilation

zero <.> a = a <.> zero = zero

An ordered semiring follows the laws:

x <= y => x <+> z <= y <+> z
x <= y => x <+> z <= y <+> z
zero <= z && x <= y => x <.> z <= y <.> z && z <.> x <= z <.> y

Methods

zero :: a

The identity of <+>.

one :: a

The identity of <.>.

(<.>) :: a -> a -> a infixl 7

An associative binary operation, which distributes over <+>.

(<+>) :: a -> a -> a infixl 6

An associative, commutative binary operation.

zero :: Num a => a

The identity of <+>.

one :: Num a => a

The identity of <.>.

(<+>) :: Num a => a -> a -> a infixl 6

An associative, commutative binary operation.

(<.>) :: Num a => a -> a -> a infixl 7

An associative binary operation, which distributes over <+>.

Instances

Semiring Bool

Methods

zero :: Bool

one :: Bool

(<.>) :: Bool -> Bool -> Bool

(<+>) :: Bool -> Bool -> Bool

Semiring Double

Methods

zero :: Double

one :: Double

(<.>) :: Double -> Double -> Double

(<+>) :: Double -> Double -> Double

Semiring Float

Methods

zero :: Float

one :: Float

(<.>) :: Float -> Float -> Float

(<+>) :: Float -> Float -> Float

Semiring Int

Methods

zero :: Int

one :: Int

(<.>) :: Int -> Int -> Int

(<+>) :: Int -> Int -> Int

Semiring Int8

Methods

zero :: Int8

one :: Int8

(<.>) :: Int8 -> Int8 -> Int8

(<+>) :: Int8 -> Int8 -> Int8

Semiring Int16

Methods

zero :: Int16

one :: Int16

(<.>) :: Int16 -> Int16 -> Int16

(<+>) :: Int16 -> Int16 -> Int16

Semiring Int32

Methods

zero :: Int32

one :: Int32

(<.>) :: Int32 -> Int32 -> Int32

(<+>) :: Int32 -> Int32 -> Int32

Semiring Int64

Methods

zero :: Int64

one :: Int64

(<.>) :: Int64 -> Int64 -> Int64

(<+>) :: Int64 -> Int64 -> Int64

Semiring Integer

Methods

zero :: Integer

one :: Integer

(<.>) :: Integer -> Integer -> Integer

(<+>) :: Integer -> Integer -> Integer

Semiring Word

Methods

zero :: Word

one :: Word

(<.>) :: Word -> Word -> Word

(<+>) :: Word -> Word -> Word

Semiring Word8

Methods

zero :: Word8

one :: Word8

(<.>) :: Word8 -> Word8 -> Word8

(<+>) :: Word8 -> Word8 -> Word8

Semiring Word16

Methods

zero :: Word16

one :: Word16

(<.>) :: Word16 -> Word16 -> Word16

(<+>) :: Word16 -> Word16 -> Word16

Semiring Word32

Methods

zero :: Word32

one :: Word32

(<.>) :: Word32 -> Word32 -> Word32

(<+>) :: Word32 -> Word32 -> Word32

Semiring Word64

Methods

zero :: Word64

one :: Word64

(<.>) :: Word64 -> Word64 -> Word64

(<+>) :: Word64 -> Word64 -> Word64

Semiring ()

Methods

zero :: ()

one :: ()

(<.>) :: () -> () -> ()

(<+>) :: () -> () -> ()

Semiring Natural

Methods

zero :: Natural

one :: Natural

(<.>) :: Natural -> Natural -> Natural

(<+>) :: Natural -> Natural -> Natural

Semiring CDev

Methods

zero :: CDev

one :: CDev

(<.>) :: CDev -> CDev -> CDev

(<+>) :: CDev -> CDev -> CDev

Semiring CIno

Methods

zero :: CIno

one :: CIno

(<.>) :: CIno -> CIno -> CIno

(<+>) :: CIno -> CIno -> CIno

Semiring CMode

Methods

zero :: CMode

one :: CMode

(<.>) :: CMode -> CMode -> CMode

(<+>) :: CMode -> CMode -> CMode

Semiring COff

Methods

zero :: COff

one :: COff

(<.>) :: COff -> COff -> COff

(<+>) :: COff -> COff -> COff

Semiring CPid

Methods

zero :: CPid

one :: CPid

(<.>) :: CPid -> CPid -> CPid

(<+>) :: CPid -> CPid -> CPid

Semiring CSsize

Methods

zero :: CSsize

one :: CSsize

(<.>) :: CSsize -> CSsize -> CSsize

(<+>) :: CSsize -> CSsize -> CSsize

Semiring CGid

Methods

zero :: CGid

one :: CGid

(<.>) :: CGid -> CGid -> CGid

(<+>) :: CGid -> CGid -> CGid

Semiring CNlink

Methods

zero :: CNlink

one :: CNlink

(<.>) :: CNlink -> CNlink -> CNlink

(<+>) :: CNlink -> CNlink -> CNlink

Semiring CUid

Methods

zero :: CUid

one :: CUid

(<.>) :: CUid -> CUid -> CUid

(<+>) :: CUid -> CUid -> CUid

Semiring CCc

Methods

zero :: CCc

one :: CCc

(<.>) :: CCc -> CCc -> CCc

(<+>) :: CCc -> CCc -> CCc

Semiring CSpeed

Methods

zero :: CSpeed

one :: CSpeed

(<.>) :: CSpeed -> CSpeed -> CSpeed

(<+>) :: CSpeed -> CSpeed -> CSpeed

Semiring CTcflag

Methods

zero :: CTcflag

one :: CTcflag

(<.>) :: CTcflag -> CTcflag -> CTcflag

(<+>) :: CTcflag -> CTcflag -> CTcflag

Semiring CRLim

Methods

zero :: CRLim

one :: CRLim

(<.>) :: CRLim -> CRLim -> CRLim

(<+>) :: CRLim -> CRLim -> CRLim

Semiring Fd

Methods

zero :: Fd

one :: Fd

(<.>) :: Fd -> Fd -> Fd

(<+>) :: Fd -> Fd -> Fd

Semiring WordPtr

Methods

zero :: WordPtr

one :: WordPtr

(<.>) :: WordPtr -> WordPtr -> WordPtr

(<+>) :: WordPtr -> WordPtr -> WordPtr

Semiring IntPtr

Methods

zero :: IntPtr

one :: IntPtr

(<.>) :: IntPtr -> IntPtr -> IntPtr

(<+>) :: IntPtr -> IntPtr -> IntPtr

Semiring CChar

Methods

zero :: CChar

one :: CChar

(<.>) :: CChar -> CChar -> CChar

(<+>) :: CChar -> CChar -> CChar

Semiring CSChar

Methods

zero :: CSChar

one :: CSChar

(<.>) :: CSChar -> CSChar -> CSChar

(<+>) :: CSChar -> CSChar -> CSChar

Semiring CUChar

Methods

zero :: CUChar

one :: CUChar

(<.>) :: CUChar -> CUChar -> CUChar

(<+>) :: CUChar -> CUChar -> CUChar

Semiring CShort

Methods

zero :: CShort

one :: CShort

(<.>) :: CShort -> CShort -> CShort

(<+>) :: CShort -> CShort -> CShort

Semiring CUShort

Methods

zero :: CUShort

one :: CUShort

(<.>) :: CUShort -> CUShort -> CUShort

(<+>) :: CUShort -> CUShort -> CUShort

Semiring CInt

Methods

zero :: CInt

one :: CInt

(<.>) :: CInt -> CInt -> CInt

(<+>) :: CInt -> CInt -> CInt

Semiring CUInt

Methods

zero :: CUInt

one :: CUInt

(<.>) :: CUInt -> CUInt -> CUInt

(<+>) :: CUInt -> CUInt -> CUInt

Semiring CLong

Methods

zero :: CLong

one :: CLong

(<.>) :: CLong -> CLong -> CLong

(<+>) :: CLong -> CLong -> CLong

Semiring CULong

Methods

zero :: CULong

one :: CULong

(<.>) :: CULong -> CULong -> CULong

(<+>) :: CULong -> CULong -> CULong

Semiring CLLong

Methods

zero :: CLLong

one :: CLLong

(<.>) :: CLLong -> CLLong -> CLLong

(<+>) :: CLLong -> CLLong -> CLLong

Semiring CULLong

Methods

zero :: CULLong

one :: CULLong

(<.>) :: CULLong -> CULLong -> CULLong

(<+>) :: CULLong -> CULLong -> CULLong

Semiring CFloat

Methods

zero :: CFloat

one :: CFloat

(<.>) :: CFloat -> CFloat -> CFloat

(<+>) :: CFloat -> CFloat -> CFloat

Semiring CDouble

Methods

zero :: CDouble

one :: CDouble

(<.>) :: CDouble -> CDouble -> CDouble

(<+>) :: CDouble -> CDouble -> CDouble

Semiring CPtrdiff

Methods

zero :: CPtrdiff

one :: CPtrdiff

(<.>) :: CPtrdiff -> CPtrdiff -> CPtrdiff

(<+>) :: CPtrdiff -> CPtrdiff -> CPtrdiff

Semiring CSize

Methods

zero :: CSize

one :: CSize

(<.>) :: CSize -> CSize -> CSize

(<+>) :: CSize -> CSize -> CSize

Semiring CWchar

Methods

zero :: CWchar

one :: CWchar

(<.>) :: CWchar -> CWchar -> CWchar

(<+>) :: CWchar -> CWchar -> CWchar

Semiring CSigAtomic

Methods

zero :: CSigAtomic

one :: CSigAtomic

(<.>) :: CSigAtomic -> CSigAtomic -> CSigAtomic

(<+>) :: CSigAtomic -> CSigAtomic -> CSigAtomic

Semiring CClock

Methods

zero :: CClock

one :: CClock

(<.>) :: CClock -> CClock -> CClock

(<+>) :: CClock -> CClock -> CClock

Semiring CTime

Methods

zero :: CTime

one :: CTime

(<.>) :: CTime -> CTime -> CTime

(<+>) :: CTime -> CTime -> CTime

Semiring CUSeconds

Methods

zero :: CUSeconds

one :: CUSeconds

(<.>) :: CUSeconds -> CUSeconds -> CUSeconds

(<+>) :: CUSeconds -> CUSeconds -> CUSeconds

Semiring CSUSeconds

Methods

zero :: CSUSeconds

one :: CSUSeconds

(<.>) :: CSUSeconds -> CSUSeconds -> CSUSeconds

(<+>) :: CSUSeconds -> CSUSeconds -> CSUSeconds

Semiring CIntPtr

Methods

zero :: CIntPtr

one :: CIntPtr

(<.>) :: CIntPtr -> CIntPtr -> CIntPtr

(<+>) :: CIntPtr -> CIntPtr -> CIntPtr

Semiring CUIntPtr

Methods

zero :: CUIntPtr

one :: CUIntPtr

(<.>) :: CUIntPtr -> CUIntPtr -> CUIntPtr

(<+>) :: CUIntPtr -> CUIntPtr -> CUIntPtr

Semiring CIntMax

Methods

zero :: CIntMax

one :: CIntMax

(<.>) :: CIntMax -> CIntMax -> CIntMax

(<+>) :: CIntMax -> CIntMax -> CIntMax

Semiring CUIntMax

Methods

zero :: CUIntMax

one :: CUIntMax

(<.>) :: CUIntMax -> CUIntMax -> CUIntMax

(<+>) :: CUIntMax -> CUIntMax -> CUIntMax

Semiring All

Methods

zero :: All

one :: All

(<.>) :: All -> All -> All

(<+>) :: All -> All -> All

Semiring Any

Methods

zero :: Any

one :: Any

(<.>) :: Any -> Any -> Any

(<+>) :: Any -> Any -> Any

Semiring a => Semiring [a]

A polynomial in x can be defined as a list of its coefficients, where the ith element is the coefficient of x^i. This is the semiring for such a list. Adapted from here.

Methods

zero :: [a]

one :: [a]

(<.>) :: [a] -> [a] -> [a]

(<+>) :: [a] -> [a] -> [a]

Integral a => Semiring (Ratio a)

Methods

zero :: Ratio a

one :: Ratio a

(<.>) :: Ratio a -> Ratio a -> Ratio a

(<+>) :: Ratio a -> Ratio a -> Ratio a

Semiring a => Semiring (Identity a)

Methods

zero :: Identity a

one :: Identity a

(<.>) :: Identity a -> Identity a -> Identity a

(<+>) :: Identity a -> Identity a -> Identity a

HasResolution a => Semiring (Fixed a)

Methods

zero :: Fixed a

one :: Fixed a

(<.>) :: Fixed a -> Fixed a -> Fixed a

(<+>) :: Fixed a -> Fixed a -> Fixed a

RealFloat a => Semiring (Complex a)

Methods

zero :: Complex a

one :: Complex a

(<.>) :: Complex a -> Complex a -> Complex a

(<+>) :: Complex a -> Complex a -> Complex a

Monoid a => Semiring (Endo a)

This is not a true semiring. In particular, it requires the underlying monoid to be commutative, and even then, it is only a near semiring. It is, however, extremely useful. For instance, this type:

forall a. Endo (Endo a)

Is a valid encoding of church numerals, with addition and multiplication being their semiring variants.

Methods

zero :: Endo a

one :: Endo a

(<.>) :: Endo a -> Endo a -> Endo a

(<+>) :: Endo a -> Endo a -> Endo a

Semiring a => Semiring (Sum a)

Methods

zero :: Sum a

one :: Sum a

(<.>) :: Sum a -> Sum a -> Sum a

(<+>) :: Sum a -> Sum a -> Sum a

Semiring a => Semiring (Product a)

Methods

zero :: Product a

one :: Product a

(<.>) :: Product a -> Product a -> Product a

(<+>) :: Product a -> Product a -> Product a

(Semiring a, Ord a, HasNegativeInfinity a) => Semiring (Max a)

Methods

zero :: Max a

one :: Max a

(<.>) :: Max a -> Max a -> Max a

(<+>) :: Max a -> Max a -> Max a

(Semiring a, Ord a, HasPositiveInfinity a) => Semiring (Min a)

Methods

zero :: Min a

one :: Min a

(<.>) :: Min a -> Min a -> Min a

(<+>) :: Min a -> Min a -> Min a

Semiring a => Semiring (Mul a)

Methods

zero :: Mul a

one :: Mul a

(<.>) :: Mul a -> Mul a -> Mul a

(<+>) :: Mul a -> Mul a -> Mul a

Semiring a => Semiring (Add a)

Methods

zero :: Add a

one :: Add a

(<.>) :: Add a -> Add a -> Add a

(<+>) :: Add a -> Add a -> Add a

Semiring (Free a)

Methods

zero :: Free a

one :: Free a

(<.>) :: Free a -> Free a -> Free a

(<+>) :: Free a -> Free a -> Free a

(DetectableZero a, Ord a) => Semiring (Infinite a)

Not distributive.

Methods

zero :: Infinite a

one :: Infinite a

(<.>) :: Infinite a -> Infinite a -> Infinite a

(<+>) :: Infinite a -> Infinite a -> Infinite a

DetectableZero a => Semiring (PositiveInfinite a)

Only lawful when used with positive numbers.

Methods

zero :: PositiveInfinite a

one :: PositiveInfinite a

(<.>) :: PositiveInfinite a -> PositiveInfinite a -> PositiveInfinite a

(<+>) :: PositiveInfinite a -> PositiveInfinite a -> PositiveInfinite a

DetectableZero a => Semiring (NegativeInfinite a)

Doesn't follow annihilateL or mulDistribR.

Methods

zero :: NegativeInfinite a

one :: NegativeInfinite a

(<.>) :: NegativeInfinite a -> NegativeInfinite a -> NegativeInfinite a

(<+>) :: NegativeInfinite a -> NegativeInfinite a -> NegativeInfinite a

Semiring a => Semiring (PosInt a)

Methods

zero :: PosInt a

one :: PosInt a

(<.>) :: PosInt a -> PosInt a -> PosInt a

(<+>) :: PosInt a -> PosInt a -> PosInt a

Semiring a => Semiring (PosFrac a)

Methods

zero :: PosFrac a

one :: PosFrac a

(<.>) :: PosFrac a -> PosFrac a -> PosFrac a

(<+>) :: PosFrac a -> PosFrac a -> PosFrac a

(Floating a, HasPositiveInfinity a) => Semiring (Log a)

Methods

zero :: Log a

one :: Log a

(<.>) :: Log a -> Log a -> Log a

(<+>) :: Log a -> Log a -> Log a

(Ord a, Semiring a) => Semiring (Viterbi a)

Methods

zero :: Viterbi a

one :: Viterbi a

(<.>) :: Viterbi a -> Viterbi a -> Viterbi a

(<+>) :: Viterbi a -> Viterbi a -> Viterbi a

(Ord a, Num a) => Semiring (Łukasiewicz a)

Methods

zero :: Łukasiewicz a

one :: Łukasiewicz a

(<.>) :: Łukasiewicz a -> Łukasiewicz a -> Łukasiewicz a

(<+>) :: Łukasiewicz a -> Łukasiewicz a -> Łukasiewicz a

(Integral a, Semiring a) => Semiring (Division a)

Only expects positive numbers

Methods

zero :: Division a

one :: Division a

(<.>) :: Division a -> Division a -> Division a

(<+>) :: Division a -> Division a -> Division a

(Bounded a, Ord a) => Semiring (Bottleneck a)

Methods

zero :: Bottleneck a

one :: Bottleneck a

(<.>) :: Bottleneck a -> Bottleneck a -> Bottleneck a

(<+>) :: Bottleneck a -> Bottleneck a -> Bottleneck a

Semiring b => Semiring (a -> b)

The (->) instance is analogous to the one for Monoid.

Methods

zero :: a -> b

one :: a -> b

(<.>) :: (a -> b) -> (a -> b) -> a -> b

(<+>) :: (a -> b) -> (a -> b) -> a -> b

(Semiring a0, Semiring a1) => Semiring (a0, a1)

Methods

zero :: (a0, a1)

one :: (a0, a1)

(<.>) :: (a0, a1) -> (a0, a1) -> (a0, a1)

(<+>) :: (a0, a1) -> (a0, a1) -> (a0, a1)

(Semiring a0, Semiring a1, Semiring a2) => Semiring (a0, a1, a2)

Methods

zero :: (a0, a1, a2)

one :: (a0, a1, a2)

(<.>) :: (a0, a1, a2) -> (a0, a1, a2) -> (a0, a1, a2)

(<+>) :: (a0, a1, a2) -> (a0, a1, a2) -> (a0, a1, a2)

(Semiring a0, Semiring a1, Semiring a2, Semiring a3) => Semiring (a0, a1, a2, a3)

Methods

zero :: (a0, a1, a2, a3)

one :: (a0, a1, a2, a3)

(<.>) :: (a0, a1, a2, a3) -> (a0, a1, a2, a3) -> (a0, a1, a2, a3)

(<+>) :: (a0, a1, a2, a3) -> (a0, a1, a2, a3) -> (a0, a1, a2, a3)

(Semiring a0, Semiring a1, Semiring a2, Semiring a3, Semiring a4) => Semiring (a0, a1, a2, a3, a4)

Methods

zero :: (a0, a1, a2, a3, a4)

one :: (a0, a1, a2, a3, a4)

(<.>) :: (a0, a1, a2, a3, a4) -> (a0, a1, a2, a3, a4) -> (a0, a1, a2, a3, a4)

(<+>) :: (a0, a1, a2, a3, a4) -> (a0, a1, a2, a3, a4) -> (a0, a1, a2, a3, a4)

(Semiring a0, Semiring a1, Semiring a2, Semiring a3, Semiring a4, Semiring a5) => Semiring (a0, a1, a2, a3, a4, a5)

Methods

zero :: (a0, a1, a2, a3, a4, a5)

one :: (a0, a1, a2, a3, a4, a5)

(<.>) :: (a0, a1, a2, a3, a4, a5) -> (a0, a1, a2, a3, a4, a5) -> (a0, a1, a2, a3, a4, a5)

(<+>) :: (a0, a1, a2, a3, a4, a5) -> (a0, a1, a2, a3, a4, a5) -> (a0, a1, a2, a3, a4, a5)

(Semiring a0, Semiring a1, Semiring a2, Semiring a3, Semiring a4, Semiring a5, Semiring a6) => Semiring (a0, a1, a2, a3, a4, a5, a6)

Methods

zero :: (a0, a1, a2, a3, a4, a5, a6)

one :: (a0, a1, a2, a3, a4, a5, a6)

(<.>) :: (a0, a1, a2, a3, a4, a5, a6) -> (a0, a1, a2, a3, a4, a5, a6) -> (a0, a1, a2, a3, a4, a5, a6)

(<+>) :: (a0, a1, a2, a3, a4, a5, a6) -> (a0, a1, a2, a3, a4, a5, a6) -> (a0, a1, a2, a3, a4, a5, a6)

(Semiring a0, Semiring a1, Semiring a2, Semiring a3, Semiring a4, Semiring a5, Semiring a6, Semiring a7) => Semiring (a0, a1, a2, a3, a4, a5, a6, a7)

Methods

zero :: (a0, a1, a2, a3, a4, a5, a6, a7)

one :: (a0, a1, a2, a3, a4, a5, a6, a7)

(<.>) :: (a0, a1, a2, a3, a4, a5, a6, a7) -> (a0, a1, a2, a3, a4, a5, a6, a7) -> (a0, a1, a2, a3, a4, a5, a6, a7)

(<+>) :: (a0, a1, a2, a3, a4, a5, a6, a7) -> (a0, a1, a2, a3, a4, a5, a6, a7) -> (a0, a1, a2, a3, a4, a5, a6, a7)

(Semiring a0, Semiring a1, Semiring a2, Semiring a3, Semiring a4, Semiring a5, Semiring a6, Semiring a7, Semiring a8) => Semiring (a0, a1, a2, a3, a4, a5, a6, a7, a8)

Methods

zero :: (a0, a1, a2, a3, a4, a5, a6, a7, a8)

one :: (a0, a1, a2, a3, a4, a5, a6, a7, a8)

(<.>) :: (a0, a1, a2, a3, a4, a5, a6, a7, a8) -> (a0, a1, a2, a3, a4, a5, a6, a7, a8) -> (a0, a1, a2, a3, a4, a5, a6, a7, a8)

(<+>) :: (a0, a1, a2, a3, a4, a5, a6, a7, a8) -> (a0, a1, a2, a3, a4, a5, a6, a7, a8) -> (a0, a1, a2, a3, a4, a5, a6, a7, a8)

class Semiring a => StarSemiring 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

For the semiring of types, this is equivalent to a list. When looking at the Applicative and Alternative classes as (near-) semirings, this is equivalent to the many operation.

Another operation, plus, can be defined in relation to star:

plus x = x <.> star x

This should be recognizable as a non-empty list on types, or the some operation in Alternative.

Minimal complete definition

star | plus

Methods

star :: a -> a

plus :: a -> a

Instances

StarSemiring Bool

Methods

star :: Bool -> Bool

plus :: Bool -> Bool

StarSemiring ()

Methods

star :: () -> ()

plus :: () -> ()

StarSemiring All

Methods

star :: All -> All

plus :: All -> All

StarSemiring Any

Methods

star :: Any -> Any

plus :: Any -> Any

(Monoid a, Eq a) => StarSemiring (Endo a)

Methods

star :: Endo a -> Endo a

plus :: Endo a -> Endo a

(Semiring a, Ord a, HasPositiveInfinity a, HasNegativeInfinity a) => StarSemiring (Max a)

Methods

star :: Max a -> Max a

plus :: Max a -> Max a

(Semiring a, Ord a, HasPositiveInfinity a, HasNegativeInfinity a) => StarSemiring (Min a)

Methods

star :: Min a -> Min a

plus :: Min a -> Min a

StarSemiring a => StarSemiring (Mul a)

Methods

star :: Mul a -> Mul a

plus :: Mul a -> Mul a

StarSemiring a => StarSemiring (Add a)

Methods

star :: Add a -> Add a

plus :: Add a -> Add a

DetectableZero a => StarSemiring (PositiveInfinite a)

Methods

star :: PositiveInfinite a -> PositiveInfinite a

plus :: PositiveInfinite a -> PositiveInfinite a

(Eq a, Semiring a, HasPositiveInfinity a) => StarSemiring (PosInt a)

Methods

star :: PosInt a -> PosInt a

plus :: PosInt a -> PosInt a

(Ord a, Fractional a, Semiring a, HasPositiveInfinity a) => StarSemiring (PosFrac a)

Methods

star :: PosFrac a -> PosFrac a

plus :: PosFrac a -> PosFrac a

StarSemiring b => StarSemiring (a -> b)

Methods

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

plus :: (a -> b) -> a -> b

(StarSemiring a0, StarSemiring a1) => StarSemiring (a0, a1)

Methods

star :: (a0, a1) -> (a0, a1)

plus :: (a0, a1) -> (a0, a1)

(StarSemiring a0, StarSemiring a1, StarSemiring a2) => StarSemiring (a0, a1, a2)

Methods

star :: (a0, a1, a2) -> (a0, a1, a2)

plus :: (a0, a1, a2) -> (a0, a1, a2)

(StarSemiring a0, StarSemiring a1, StarSemiring a2, StarSemiring a3) => StarSemiring (a0, a1, a2, a3)

Methods

star :: (a0, a1, a2, a3) -> (a0, a1, a2, a3)

plus :: (a0, a1, a2, a3) -> (a0, a1, a2, a3)

(StarSemiring a0, StarSemiring a1, StarSemiring a2, StarSemiring a3, StarSemiring a4) => StarSemiring (a0, a1, a2, a3, a4)

Methods

star :: (a0, a1, a2, a3, a4) -> (a0, a1, a2, a3, a4)

plus :: (a0, a1, a2, a3, a4) -> (a0, a1, a2, a3, a4)

(StarSemiring a0, StarSemiring a1, StarSemiring a2, StarSemiring a3, StarSemiring a4, StarSemiring a5) => StarSemiring (a0, a1, a2, a3, a4, a5)

Methods

star :: (a0, a1, a2, a3, a4, a5) -> (a0, a1, a2, a3, a4, a5)

plus :: (a0, a1, a2, a3, a4, a5) -> (a0, a1, a2, a3, a4, a5)

(StarSemiring a0, StarSemiring a1, StarSemiring a2, StarSemiring a3, StarSemiring a4, StarSemiring a5, StarSemiring a6) => StarSemiring (a0, a1, a2, a3, a4, a5, a6)

Methods

star :: (a0, a1, a2, a3, a4, a5, a6) -> (a0, a1, a2, a3, a4, a5, a6)

plus :: (a0, a1, a2, a3, a4, a5, a6) -> (a0, a1, a2, a3, a4, a5, a6)

(StarSemiring a0, StarSemiring a1, StarSemiring a2, StarSemiring a3, StarSemiring a4, StarSemiring a5, StarSemiring a6, StarSemiring a7) => StarSemiring (a0, a1, a2, a3, a4, a5, a6, a7)

Methods

star :: (a0, a1, a2, a3, a4, a5, a6, a7) -> (a0, a1, a2, a3, a4, a5, a6, a7)

plus :: (a0, a1, a2, a3, a4, a5, a6, a7) -> (a0, a1, a2, a3, a4, a5, a6, a7)

(StarSemiring a0, StarSemiring a1, StarSemiring a2, StarSemiring a3, StarSemiring a4, StarSemiring a5, StarSemiring a6, StarSemiring a7, StarSemiring a8) => StarSemiring (a0, a1, a2, a3, a4, a5, a6, a7, a8)

Methods

star :: (a0, a1, a2, a3, a4, a5, a6, a7, a8) -> (a0, a1, a2, a3, a4, a5, a6, a7, a8)

plus :: (a0, a1, a2, a3, a4, a5, a6, a7, a8) -> (a0, a1, a2, a3, a4, a5, a6, a7, a8)

Helper classes

class HasPositiveInfinity a where

A class for semirings with a concept of "infinity". It's important that this isn't regarded as the same as "bounded": x <+> positiveInfinity should probably equal positiveInfinity.

Methods

positiveInfinity :: a

A positive infinite value

positiveInfinity :: RealFloat a => a

A positive infinite value

isPositiveInfinity :: a -> Bool

Test if a value is positive infinity.

isPositiveInfinity :: RealFloat a => a -> Bool

Test if a value is positive infinity.

Instances

HasPositiveInfinity Double

Methods

positiveInfinity :: Double

isPositiveInfinity :: Double -> Bool

HasPositiveInfinity Float

Methods

positiveInfinity :: Float

isPositiveInfinity :: Float -> Bool

HasPositiveInfinity CFloat

Methods

positiveInfinity :: CFloat

isPositiveInfinity :: CFloat -> Bool

HasPositiveInfinity CDouble

Methods

positiveInfinity :: CDouble

isPositiveInfinity :: CDouble -> Bool

HasPositiveInfinity (Infinite a)

Methods

positiveInfinity :: Infinite a

isPositiveInfinity :: Infinite a -> Bool

HasPositiveInfinity (PositiveInfinite a)

Methods

positiveInfinity :: PositiveInfinite a

isPositiveInfinity :: PositiveInfinite a -> Bool

class HasNegativeInfinity a where

A class for semirings with a concept of "negative infinity". It's important that this isn't regarded as the same as "bounded": x <+> negativeInfinity should probably equal negativeInfinity.

Methods

negativeInfinity :: a

A negative infinite value

negativeInfinity :: RealFloat a => a

A negative infinite value

isNegativeInfinity :: a -> Bool

Test if a value is negative infinity.

isNegativeInfinity :: RealFloat a => a -> Bool

Test if a value is negative infinity.

Instances

HasNegativeInfinity Double

Methods

negativeInfinity :: Double

isNegativeInfinity :: Double -> Bool

HasNegativeInfinity Float

Methods

negativeInfinity :: Float

isNegativeInfinity :: Float -> Bool

HasNegativeInfinity CFloat

Methods

negativeInfinity :: CFloat

isNegativeInfinity :: CFloat -> Bool

HasNegativeInfinity CDouble

Methods

negativeInfinity :: CDouble

isNegativeInfinity :: CDouble -> Bool

HasNegativeInfinity (Infinite a)

Methods

negativeInfinity :: Infinite a

isNegativeInfinity :: Infinite a -> Bool

HasNegativeInfinity (NegativeInfinite a)

Methods

negativeInfinity :: NegativeInfinite a

isNegativeInfinity :: NegativeInfinite a -> Bool

class Semiring a => DetectableZero a where

Useful for operations where zeroes may need to be discarded: for instance in sparse matrix calculations.

Methods

isZero :: a -> Bool

True if x is zero.

isZero :: Eq a => a -> Bool

True if x is zero.

Instances

DetectableZero Bool

Methods

isZero :: Bool -> Bool

DetectableZero Double

Methods

isZero :: Double -> Bool

DetectableZero Float

Methods

isZero :: Float -> Bool

DetectableZero Int

Methods

isZero :: Int -> Bool

DetectableZero Int8

Methods

isZero :: Int8 -> Bool

DetectableZero Int16

Methods

isZero :: Int16 -> Bool

DetectableZero Int32

Methods

isZero :: Int32 -> Bool

DetectableZero Int64

Methods

isZero :: Int64 -> Bool

DetectableZero Integer

Methods

isZero :: Integer -> Bool

DetectableZero Word

Methods

isZero :: Word -> Bool

DetectableZero Word8

Methods

isZero :: Word8 -> Bool

DetectableZero Word16

Methods

isZero :: Word16 -> Bool

DetectableZero Word32

Methods

isZero :: Word32 -> Bool

DetectableZero Word64

Methods

isZero :: Word64 -> Bool

DetectableZero ()

Methods

isZero :: () -> Bool

DetectableZero Natural

Methods

isZero :: Natural -> Bool

DetectableZero CDev

Methods

isZero :: CDev -> Bool

DetectableZero CIno

Methods

isZero :: CIno -> Bool

DetectableZero CMode

Methods

isZero :: CMode -> Bool

DetectableZero COff

Methods

isZero :: COff -> Bool

DetectableZero CPid

Methods

isZero :: CPid -> Bool

DetectableZero CSsize

Methods

isZero :: CSsize -> Bool

DetectableZero CGid

Methods

isZero :: CGid -> Bool

DetectableZero CNlink

Methods

isZero :: CNlink -> Bool

DetectableZero CUid

Methods

isZero :: CUid -> Bool

DetectableZero CCc

Methods

isZero :: CCc -> Bool

DetectableZero CSpeed

Methods

isZero :: CSpeed -> Bool

DetectableZero CTcflag

Methods

isZero :: CTcflag -> Bool

DetectableZero CRLim

Methods

isZero :: CRLim -> Bool

DetectableZero Fd

Methods

isZero :: Fd -> Bool

DetectableZero WordPtr

Methods

isZero :: WordPtr -> Bool

DetectableZero IntPtr

Methods

isZero :: IntPtr -> Bool

DetectableZero CChar

Methods

isZero :: CChar -> Bool

DetectableZero CSChar

Methods

isZero :: CSChar -> Bool

DetectableZero CUChar

Methods

isZero :: CUChar -> Bool

DetectableZero CShort

Methods

isZero :: CShort -> Bool

DetectableZero CUShort

Methods

isZero :: CUShort -> Bool

DetectableZero CInt

Methods

isZero :: CInt -> Bool

DetectableZero CUInt

Methods

isZero :: CUInt -> Bool

DetectableZero CLong

Methods

isZero :: CLong -> Bool

DetectableZero CULong

Methods

isZero :: CULong -> Bool

DetectableZero CLLong

Methods

isZero :: CLLong -> Bool

DetectableZero CULLong

Methods

isZero :: CULLong -> Bool

DetectableZero CFloat

Methods

isZero :: CFloat -> Bool

DetectableZero CDouble

Methods

isZero :: CDouble -> Bool

DetectableZero CPtrdiff

Methods

isZero :: CPtrdiff -> Bool

DetectableZero CSize

Methods

isZero :: CSize -> Bool

DetectableZero CWchar

Methods

isZero :: CWchar -> Bool

DetectableZero CSigAtomic

Methods

isZero :: CSigAtomic -> Bool

DetectableZero CClock

Methods

isZero :: CClock -> Bool

DetectableZero CTime

Methods

isZero :: CTime -> Bool

DetectableZero CUSeconds

Methods

isZero :: CUSeconds -> Bool

DetectableZero CSUSeconds

Methods

isZero :: CSUSeconds -> Bool

DetectableZero CIntPtr

Methods

isZero :: CIntPtr -> Bool

DetectableZero CUIntPtr

Methods

isZero :: CUIntPtr -> Bool

DetectableZero CIntMax

Methods

isZero :: CIntMax -> Bool

DetectableZero CUIntMax

Methods

isZero :: CUIntMax -> Bool

DetectableZero All

Methods

isZero :: All -> Bool

DetectableZero Any

Methods

isZero :: Any -> Bool

Semiring a => DetectableZero [a]

Methods

isZero :: [a] -> Bool

Integral a => DetectableZero (Ratio a)

Methods

isZero :: Ratio a -> Bool

DetectableZero a => DetectableZero (Identity a)

Methods

isZero :: Identity a -> Bool

HasResolution a => DetectableZero (Fixed a)

Methods

isZero :: Fixed a -> Bool

RealFloat a => DetectableZero (Complex a)

Methods

isZero :: Complex a -> Bool

(Enum a, Bounded a, Eq a, Monoid a) => DetectableZero (Endo a)

Methods

isZero :: Endo a -> Bool

DetectableZero a => DetectableZero (Sum a)

Methods

isZero :: Sum a -> Bool

DetectableZero a => DetectableZero (Product a)

Methods

isZero :: Product a -> Bool

(Semiring a, Ord a, HasNegativeInfinity a) => DetectableZero (Max a)

Methods

isZero :: Max a -> Bool

(Semiring a, Ord a, HasPositiveInfinity a) => DetectableZero (Min a)

Methods

isZero :: Min a -> Bool

DetectableZero a => DetectableZero (Mul a)

Methods

isZero :: Mul a -> Bool

DetectableZero a => DetectableZero (Add a)

Methods

isZero :: Add a -> Bool

(DetectableZero a, Ord a) => DetectableZero (Infinite a)

Methods

isZero :: Infinite a -> Bool

DetectableZero a => DetectableZero (PositiveInfinite a)

Methods

isZero :: PositiveInfinite a -> Bool

DetectableZero a => DetectableZero (NegativeInfinite a)

Methods

isZero :: NegativeInfinite a -> Bool

(Eq a, Semiring a) => DetectableZero (PosInt a)

Methods

isZero :: PosInt a -> Bool

(Eq a, Semiring a) => DetectableZero (PosFrac a)

Methods

isZero :: PosFrac a -> Bool

(Floating a, HasPositiveInfinity a) => DetectableZero (Log a)

Methods

isZero :: Log a -> Bool

(Ord a, DetectableZero a) => DetectableZero (Viterbi a)

Methods

isZero :: Viterbi a -> Bool

(Ord a, Num a) => DetectableZero (Łukasiewicz a)

Methods

isZero :: Łukasiewicz a -> Bool

(Integral a, DetectableZero a) => DetectableZero (Division a)

Methods

isZero :: Division a -> Bool

(Bounded a, Ord a) => DetectableZero (Bottleneck a)

Methods

isZero :: Bottleneck a -> Bool

(DetectableZero a0, DetectableZero a1) => DetectableZero (a0, a1)

Methods

isZero :: (a0, a1) -> Bool

(DetectableZero a0, DetectableZero a1, DetectableZero a2) => DetectableZero (a0, a1, a2)

Methods

isZero :: (a0, a1, a2) -> Bool

(DetectableZero a0, DetectableZero a1, DetectableZero a2, DetectableZero a3) => DetectableZero (a0, a1, a2, a3)

Methods

isZero :: (a0, a1, a2, a3) -> Bool

(DetectableZero a0, DetectableZero a1, DetectableZero a2, DetectableZero a3, DetectableZero a4) => DetectableZero (a0, a1, a2, a3, a4)

Methods

isZero :: (a0, a1, a2, a3, a4) -> Bool

(DetectableZero a0, DetectableZero a1, DetectableZero a2, DetectableZero a3, DetectableZero a4, DetectableZero a5) => DetectableZero (a0, a1, a2, a3, a4, a5)

Methods

isZero :: (a0, a1, a2, a3, a4, a5) -> Bool

(DetectableZero a0, DetectableZero a1, DetectableZero a2, DetectableZero a3, DetectableZero a4, DetectableZero a5, DetectableZero a6) => DetectableZero (a0, a1, a2, a3, a4, a5, a6)

Methods

isZero :: (a0, a1, a2, a3, a4, a5, a6) -> Bool

(DetectableZero a0, DetectableZero a1, DetectableZero a2, DetectableZero a3, DetectableZero a4, DetectableZero a5, DetectableZero a6, DetectableZero a7) => DetectableZero (a0, a1, a2, a3, a4, a5, a6, a7)

Methods

isZero :: (a0, a1, a2, a3, a4, a5, a6, a7) -> Bool

(DetectableZero a0, DetectableZero a1, DetectableZero a2, DetectableZero a3, DetectableZero a4, DetectableZero a5, DetectableZero a6, DetectableZero a7, DetectableZero a8) => DetectableZero (a0, a1, a2, a3, a4, a5, a6, a7, a8)

Methods

isZero :: (a0, a1, a2, a3, a4, a5, a6, a7, a8) -> Bool

Monoidal wrappers

newtype Add a

Monoid under <+>. Analogous to Sum, but uses the Semiring constraint, rather than Num.

Constructors

Add

Fields

• getAdd :: a

Instances

Functor Add

Methods

fmap :: (a -> b) -> Add a -> Add b

(<$) :: a -> Add b -> Add a

Foldable Add

Methods

fold :: Monoid m => Add m -> m

foldMap :: Monoid m => (a -> m) -> Add a -> m

foldr :: (a -> b -> b) -> b -> Add a -> b

foldr' :: (a -> b -> b) -> b -> Add a -> b

foldl :: (b -> a -> b) -> b -> Add a -> b

foldl' :: (b -> a -> b) -> b -> Add a -> b

foldr1 :: (a -> a -> a) -> Add a -> a

foldl1 :: (a -> a -> a) -> Add a -> a

toList :: Add a -> [a]

null :: Add a -> Bool

length :: Add a -> Int

elem :: Eq a => a -> Add a -> Bool

maximum :: Ord a => Add a -> a

minimum :: Ord a => Add a -> a

sum :: Num a => Add a -> a

product :: Num a => Add a -> a

Traversable Add

Methods

traverse :: Applicative f => (a -> f b) -> Add a -> f (Add b)

sequenceA :: Applicative f => Add (f a) -> f (Add a)

mapM :: Monad m => (a -> m b) -> Add a -> m (Add b)

sequence :: Monad m => Add (m a) -> m (Add a)

Generic1 Add

Associated Types

type Rep1 (Add :: * -> *) :: * -> *

Methods

from1 :: Add a -> Rep1 Add a

to1 :: Rep1 Add a -> Add a

Bounded a => Bounded (Add a)

Methods

minBound :: Add a

maxBound :: Add a

Enum a => Enum (Add a)

Methods

succ :: Add a -> Add a

pred :: Add a -> Add a

toEnum :: Int -> Add a

fromEnum :: Add a -> Int

enumFrom :: Add a -> [Add a]

enumFromThen :: Add a -> Add a -> [Add a]

enumFromTo :: Add a -> Add a -> [Add a]

enumFromThenTo :: Add a -> Add a -> Add a -> [Add a]

Eq a => Eq (Add a)

Methods

(==) :: Add a -> Add a -> Bool

(/=) :: Add a -> Add a -> Bool

Fractional a => Fractional (Add a)

Methods

(/) :: Add a -> Add a -> Add a

recip :: Add a -> Add a

fromRational :: Rational -> Add a

Num a => Num (Add a)

Methods

(+) :: Add a -> Add a -> Add a

(-) :: Add a -> Add a -> Add a

(*) :: Add a -> Add a -> Add a

negate :: Add a -> Add a

abs :: Add a -> Add a

signum :: Add a -> Add a

fromInteger :: Integer -> Add a

Ord a => Ord (Add a)

Methods

compare :: Add a -> Add a -> Ordering

(<) :: Add a -> Add a -> Bool

(<=) :: Add a -> Add a -> Bool

(>) :: Add a -> Add a -> Bool

(>=) :: Add a -> Add a -> Bool

max :: Add a -> Add a -> Add a

min :: Add a -> Add a -> Add a

Read a => Read (Add a)

Methods

readsPrec :: Int -> ReadS (Add a)

readList :: ReadS [Add a]

readPrec :: ReadPrec (Add a)

readListPrec :: ReadPrec [Add a]

Real a => Real (Add a)

Methods

toRational :: Add a -> Rational

RealFrac a => RealFrac (Add a)

Methods

properFraction :: Integral b => Add a -> (b, Add a)

truncate :: Integral b => Add a -> b

round :: Integral b => Add a -> b

ceiling :: Integral b => Add a -> b

floor :: Integral b => Add a -> b

Show a => Show (Add a)

Methods

showsPrec :: Int -> Add a -> ShowS

show :: Add a -> String

showList :: [Add a] -> ShowS

Generic (Add a)

Associated Types

type Rep (Add a) :: * -> *

Methods

from :: Add a -> Rep (Add a) x

to :: Rep (Add a) x -> Add a

Semiring a => Semigroup (Add a)

Methods

(<>) :: Add a -> Add a -> Add a

sconcat :: NonEmpty (Add a) -> Add a

stimes :: Integral b => b -> Add a -> Add a

Semiring a => Monoid (Add a)

Methods

mempty :: Add a

mappend :: Add a -> Add a -> Add a

mconcat :: [Add a] -> Add a

Storable a => Storable (Add a)

Methods

sizeOf :: Add a -> Int

alignment :: Add a -> Int

peekElemOff :: Ptr (Add a) -> Int -> IO (Add a)

pokeElemOff :: Ptr (Add a) -> Int -> Add a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Add a)

pokeByteOff :: Ptr b -> Int -> Add a -> IO ()

peek :: Ptr (Add a) -> IO (Add a)

poke :: Ptr (Add a) -> Add a -> IO ()

DetectableZero a => DetectableZero (Add a)

Methods

isZero :: Add a -> Bool

StarSemiring a => StarSemiring (Add a)

Methods

star :: Add a -> Add a

plus :: Add a -> Add a

Semiring a => Semiring (Add a)

Methods

zero :: Add a

one :: Add a

(<.>) :: Add a -> Add a -> Add a

(<+>) :: Add a -> Add a -> Add a

type Rep1 Add

type Rep1 Add = D1 (MetaData "Add" "Data.Semiring" "semiring-num-1.0.0.0-7OBAfS7Gua052Mg3sLOjjr" True) (C1 (MetaCons "Add" PrefixI True) (S1 (MetaSel (Just Symbol "getAdd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

type Rep (Add a)

type Rep (Add a) = D1 (MetaData "Add" "Data.Semiring" "semiring-num-1.0.0.0-7OBAfS7Gua052Mg3sLOjjr" True) (C1 (MetaCons "Add" PrefixI True) (S1 (MetaSel (Just Symbol "getAdd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

newtype Mul a

Monoid under <.>. Analogous to Product, but uses the Semiring constraint, rather than Num.

Constructors

Mul

Fields

• getMul :: a

Instances

Functor Mul

Methods

fmap :: (a -> b) -> Mul a -> Mul b

(<$) :: a -> Mul b -> Mul a

Foldable Mul

Methods

fold :: Monoid m => Mul m -> m

foldMap :: Monoid m => (a -> m) -> Mul a -> m

foldr :: (a -> b -> b) -> b -> Mul a -> b

foldr' :: (a -> b -> b) -> b -> Mul a -> b

foldl :: (b -> a -> b) -> b -> Mul a -> b

foldl' :: (b -> a -> b) -> b -> Mul a -> b

foldr1 :: (a -> a -> a) -> Mul a -> a

foldl1 :: (a -> a -> a) -> Mul a -> a

toList :: Mul a -> [a]

null :: Mul a -> Bool

length :: Mul a -> Int

elem :: Eq a => a -> Mul a -> Bool

maximum :: Ord a => Mul a -> a

minimum :: Ord a => Mul a -> a

sum :: Num a => Mul a -> a

product :: Num a => Mul a -> a

Traversable Mul

Methods

traverse :: Applicative f => (a -> f b) -> Mul a -> f (Mul b)

sequenceA :: Applicative f => Mul (f a) -> f (Mul a)

mapM :: Monad m => (a -> m b) -> Mul a -> m (Mul b)

sequence :: Monad m => Mul (m a) -> m (Mul a)

Generic1 Mul

Associated Types

type Rep1 (Mul :: * -> *) :: * -> *

Methods

from1 :: Mul a -> Rep1 Mul a

to1 :: Rep1 Mul a -> Mul a

Bounded a => Bounded (Mul a)

Methods

minBound :: Mul a

maxBound :: Mul a

Enum a => Enum (Mul a)

Methods

succ :: Mul a -> Mul a

pred :: Mul a -> Mul a

toEnum :: Int -> Mul a

fromEnum :: Mul a -> Int

enumFrom :: Mul a -> [Mul a]

enumFromThen :: Mul a -> Mul a -> [Mul a]

enumFromTo :: Mul a -> Mul a -> [Mul a]

enumFromThenTo :: Mul a -> Mul a -> Mul a -> [Mul a]

Eq a => Eq (Mul a)

Methods

(==) :: Mul a -> Mul a -> Bool

(/=) :: Mul a -> Mul a -> Bool

Fractional a => Fractional (Mul a)

Methods

(/) :: Mul a -> Mul a -> Mul a

recip :: Mul a -> Mul a

fromRational :: Rational -> Mul a

Num a => Num (Mul a)

Methods

(+) :: Mul a -> Mul a -> Mul a

(-) :: Mul a -> Mul a -> Mul a

(*) :: Mul a -> Mul a -> Mul a

negate :: Mul a -> Mul a

abs :: Mul a -> Mul a

signum :: Mul a -> Mul a

fromInteger :: Integer -> Mul a

Ord a => Ord (Mul a)

Methods

compare :: Mul a -> Mul a -> Ordering

(<) :: Mul a -> Mul a -> Bool

(<=) :: Mul a -> Mul a -> Bool

(>) :: Mul a -> Mul a -> Bool

(>=) :: Mul a -> Mul a -> Bool

max :: Mul a -> Mul a -> Mul a

min :: Mul a -> Mul a -> Mul a

Read a => Read (Mul a)

Methods

readsPrec :: Int -> ReadS (Mul a)

readList :: ReadS [Mul a]

readPrec :: ReadPrec (Mul a)

readListPrec :: ReadPrec [Mul a]

Real a => Real (Mul a)

Methods

toRational :: Mul a -> Rational

RealFrac a => RealFrac (Mul a)

Methods

properFraction :: Integral b => Mul a -> (b, Mul a)

truncate :: Integral b => Mul a -> b

round :: Integral b => Mul a -> b

ceiling :: Integral b => Mul a -> b

floor :: Integral b => Mul a -> b

Show a => Show (Mul a)

Methods

showsPrec :: Int -> Mul a -> ShowS

show :: Mul a -> String

showList :: [Mul a] -> ShowS

Generic (Mul a)

Associated Types

type Rep (Mul a) :: * -> *

Methods

from :: Mul a -> Rep (Mul a) x

to :: Rep (Mul a) x -> Mul a

Semiring a => Semigroup (Mul a)

Methods

(<>) :: Mul a -> Mul a -> Mul a

sconcat :: NonEmpty (Mul a) -> Mul a

stimes :: Integral b => b -> Mul a -> Mul a

Semiring a => Monoid (Mul a)

Methods

mempty :: Mul a

mappend :: Mul a -> Mul a -> Mul a

mconcat :: [Mul a] -> Mul a

Storable a => Storable (Mul a)

Methods

sizeOf :: Mul a -> Int

alignment :: Mul a -> Int

peekElemOff :: Ptr (Mul a) -> Int -> IO (Mul a)

pokeElemOff :: Ptr (Mul a) -> Int -> Mul a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Mul a)

pokeByteOff :: Ptr b -> Int -> Mul a -> IO ()

peek :: Ptr (Mul a) -> IO (Mul a)

poke :: Ptr (Mul a) -> Mul a -> IO ()

DetectableZero a => DetectableZero (Mul a)

Methods

isZero :: Mul a -> Bool

StarSemiring a => StarSemiring (Mul a)

Methods

star :: Mul a -> Mul a

plus :: Mul a -> Mul a

Semiring a => Semiring (Mul a)

Methods

zero :: Mul a

one :: Mul a

(<.>) :: Mul a -> Mul a -> Mul a

(<+>) :: Mul a -> Mul a -> Mul a

type Rep1 Mul

type Rep1 Mul = D1 (MetaData "Mul" "Data.Semiring" "semiring-num-1.0.0.0-7OBAfS7Gua052Mg3sLOjjr" True) (C1 (MetaCons "Mul" PrefixI True) (S1 (MetaSel (Just Symbol "getMul") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

type Rep (Mul a)

type Rep (Mul a) = D1 (MetaData "Mul" "Data.Semiring" "semiring-num-1.0.0.0-7OBAfS7Gua052Mg3sLOjjr" True) (C1 (MetaCons "Mul" PrefixI True) (S1 (MetaSel (Just Symbol "getMul") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

add :: (Foldable f, Semiring a) => f a -> a

Takes the sum of the elements of a Foldable. Analogous to sum on numbers, or or on Bools.

>>> add [1..5]
15
>>> add [False, False]
False
>>> add [False, True]
True
>>> add [True, undefined]
True

mul :: (Foldable f, Semiring a) => f a -> a

Takes the product of the elements of a Foldable. Analogous to product on numbers, or and on Bools.

>>> mul [1..5]
120
>>> mul [True, True]
True
>>> mul [True, False]
False
>>> mul [False, undefined]
False

Ordering wrappers

newtype Max a

The "Arctic" or max-plus semiring. It is a semiring where:

<+>  = max
zero = -∞
<.>  = <+>
one  = zero

Note that we can't use Max from Semigroup because annihilation needs to hold:

-∞ <+> x = x <+> -∞ = -∞

Taking -∞ to be minBound would break the above law. Using Nothing to represent it follows the law.

Constructors

Max

Fields

• getMax :: a

Instances

Functor Max

Methods

fmap :: (a -> b) -> Max a -> Max b

(<$) :: a -> Max b -> Max a

Foldable Max

Methods

fold :: Monoid m => Max m -> m

foldMap :: Monoid m => (a -> m) -> Max a -> m

foldr :: (a -> b -> b) -> b -> Max a -> b

foldr' :: (a -> b -> b) -> b -> Max a -> b

foldl :: (b -> a -> b) -> b -> Max a -> b

foldl' :: (b -> a -> b) -> b -> Max a -> b

foldr1 :: (a -> a -> a) -> Max a -> a

foldl1 :: (a -> a -> a) -> Max a -> a

toList :: Max a -> [a]

null :: Max a -> Bool

length :: Max a -> Int

elem :: Eq a => a -> Max a -> Bool

maximum :: Ord a => Max a -> a

minimum :: Ord a => Max a -> a

sum :: Num a => Max a -> a

product :: Num a => Max a -> a

Traversable Max

Methods

traverse :: Applicative f => (a -> f b) -> Max a -> f (Max b)

sequenceA :: Applicative f => Max (f a) -> f (Max a)

mapM :: Monad m => (a -> m b) -> Max a -> m (Max b)

sequence :: Monad m => Max (m a) -> m (Max a)

Generic1 Max

Associated Types

type Rep1 (Max :: * -> *) :: * -> *

Methods

from1 :: Max a -> Rep1 Max a

to1 :: Rep1 Max a -> Max a

Bounded a => Bounded (Max a)

Methods

minBound :: Max a

maxBound :: Max a

Enum a => Enum (Max a)

Methods

succ :: Max a -> Max a

pred :: Max a -> Max a

toEnum :: Int -> Max a

fromEnum :: Max a -> Int

enumFrom :: Max a -> [Max a]

enumFromThen :: Max a -> Max a -> [Max a]

enumFromTo :: Max a -> Max a -> [Max a]

enumFromThenTo :: Max a -> Max a -> Max a -> [Max a]

Eq a => Eq (Max a)

Methods

(==) :: Max a -> Max a -> Bool

(/=) :: Max a -> Max a -> Bool

Fractional a => Fractional (Max a)

Methods

(/) :: Max a -> Max a -> Max a

recip :: Max a -> Max a

fromRational :: Rational -> Max a

Num a => Num (Max a)

Methods

(+) :: Max a -> Max a -> Max a

(-) :: Max a -> Max a -> Max a

(*) :: Max a -> Max a -> Max a

negate :: Max a -> Max a

abs :: Max a -> Max a

signum :: Max a -> Max a

fromInteger :: Integer -> Max a

Ord a => Ord (Max a)

Methods

compare :: Max a -> Max a -> Ordering

(<) :: Max a -> Max a -> Bool

(<=) :: Max a -> Max a -> Bool

(>) :: Max a -> Max a -> Bool

(>=) :: Max a -> Max a -> Bool

max :: Max a -> Max a -> Max a

min :: Max a -> Max a -> Max a

Read a => Read (Max a)

Methods

readsPrec :: Int -> ReadS (Max a)

readList :: ReadS [Max a]

readPrec :: ReadPrec (Max a)

readListPrec :: ReadPrec [Max a]

Real a => Real (Max a)

Methods

toRational :: Max a -> Rational

RealFrac a => RealFrac (Max a)

Methods

properFraction :: Integral b => Max a -> (b, Max a)

truncate :: Integral b => Max a -> b

round :: Integral b => Max a -> b

ceiling :: Integral b => Max a -> b

floor :: Integral b => Max a -> b

Show a => Show (Max a)

Methods

showsPrec :: Int -> Max a -> ShowS

show :: Max a -> String

showList :: [Max a] -> ShowS

Generic (Max a)

Associated Types

type Rep (Max a) :: * -> *

Methods

from :: Max a -> Rep (Max a) x

to :: Rep (Max a) x -> Max a

Ord a => Semigroup (Max a)

Methods

(<>) :: Max a -> Max a -> Max a

sconcat :: NonEmpty (Max a) -> Max a

stimes :: Integral b => b -> Max a -> Max a

(Ord a, HasNegativeInfinity a) => Monoid (Max a)

>>> (getMax . foldMap Max) [1..10]
10.0

Methods

mempty :: Max a

mappend :: Max a -> Max a -> Max a

mconcat :: [Max a] -> Max a

Storable a => Storable (Max a)

Methods

sizeOf :: Max a -> Int

alignment :: Max a -> Int

peekElemOff :: Ptr (Max a) -> Int -> IO (Max a)

pokeElemOff :: Ptr (Max a) -> Int -> Max a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Max a)

pokeByteOff :: Ptr b -> Int -> Max a -> IO ()

peek :: Ptr (Max a) -> IO (Max a)

poke :: Ptr (Max a) -> Max a -> IO ()

(Semiring a, Ord a, HasNegativeInfinity a) => DetectableZero (Max a)

Methods

isZero :: Max a -> Bool

(Semiring a, Ord a, HasPositiveInfinity a, HasNegativeInfinity a) => StarSemiring (Max a)

Methods

star :: Max a -> Max a

plus :: Max a -> Max a

(Semiring a, Ord a, HasNegativeInfinity a) => Semiring (Max a)

Methods

zero :: Max a

one :: Max a

(<.>) :: Max a -> Max a -> Max a

(<+>) :: Max a -> Max a -> Max a

type Rep1 Max

type Rep1 Max = D1 (MetaData "Max" "Data.Semiring" "semiring-num-1.0.0.0-7OBAfS7Gua052Mg3sLOjjr" True) (C1 (MetaCons "Max" PrefixI True) (S1 (MetaSel (Just Symbol "getMax") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

type Rep (Max a)

type Rep (Max a) = D1 (MetaData "Max" "Data.Semiring" "semiring-num-1.0.0.0-7OBAfS7Gua052Mg3sLOjjr" True) (C1 (MetaCons "Max" PrefixI True) (S1 (MetaSel (Just Symbol "getMax") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

newtype Min a

The "Tropical" or min-plus semiring. It is a semiring where:

<+>  = min
zero = ∞
<.>  = <+>
one  = zero

Note that we can't use Min from Semigroup because annihilation needs to hold:

∞ <+> x = x <+> ∞ = ∞

Taking ∞ to be maxBound would break the above law. Using Nothing to represent it follows the law.

Constructors

Min

Fields

• getMin :: a

Instances

Functor Min

Methods

fmap :: (a -> b) -> Min a -> Min b

(<$) :: a -> Min b -> Min a

Foldable Min

Methods

fold :: Monoid m => Min m -> m

foldMap :: Monoid m => (a -> m) -> Min a -> m

foldr :: (a -> b -> b) -> b -> Min a -> b

foldr' :: (a -> b -> b) -> b -> Min a -> b

foldl :: (b -> a -> b) -> b -> Min a -> b

foldl' :: (b -> a -> b) -> b -> Min a -> b

foldr1 :: (a -> a -> a) -> Min a -> a

foldl1 :: (a -> a -> a) -> Min a -> a

toList :: Min a -> [a]

null :: Min a -> Bool

length :: Min a -> Int

elem :: Eq a => a -> Min a -> Bool

maximum :: Ord a => Min a -> a

minimum :: Ord a => Min a -> a

sum :: Num a => Min a -> a

product :: Num a => Min a -> a

Traversable Min

Methods

traverse :: Applicative f => (a -> f b) -> Min a -> f (Min b)

sequenceA :: Applicative f => Min (f a) -> f (Min a)

mapM :: Monad m => (a -> m b) -> Min a -> m (Min b)

sequence :: Monad m => Min (m a) -> m (Min a)

Generic1 Min

Associated Types

type Rep1 (Min :: * -> *) :: * -> *

Methods

from1 :: Min a -> Rep1 Min a

to1 :: Rep1 Min a -> Min a

Bounded a => Bounded (Min a)

Methods

minBound :: Min a

maxBound :: Min a

Enum a => Enum (Min a)

Methods

succ :: Min a -> Min a

pred :: Min a -> Min a

toEnum :: Int -> Min a

fromEnum :: Min a -> Int

enumFrom :: Min a -> [Min a]

enumFromThen :: Min a -> Min a -> [Min a]

enumFromTo :: Min a -> Min a -> [Min a]

enumFromThenTo :: Min a -> Min a -> Min a -> [Min a]

Eq a => Eq (Min a)

Methods

(==) :: Min a -> Min a -> Bool

(/=) :: Min a -> Min a -> Bool

Fractional a => Fractional (Min a)

Methods

(/) :: Min a -> Min a -> Min a

recip :: Min a -> Min a

fromRational :: Rational -> Min a

Num a => Num (Min a)

Methods

(+) :: Min a -> Min a -> Min a

(-) :: Min a -> Min a -> Min a

(*) :: Min a -> Min a -> Min a

negate :: Min a -> Min a

abs :: Min a -> Min a

signum :: Min a -> Min a

fromInteger :: Integer -> Min a

Ord a => Ord (Min a)

Methods

compare :: Min a -> Min a -> Ordering

(<) :: Min a -> Min a -> Bool

(<=) :: Min a -> Min a -> Bool

(>) :: Min a -> Min a -> Bool

(>=) :: Min a -> Min a -> Bool

max :: Min a -> Min a -> Min a

min :: Min a -> Min a -> Min a

Read a => Read (Min a)

Methods

readsPrec :: Int -> ReadS (Min a)

readList :: ReadS [Min a]

readPrec :: ReadPrec (Min a)

readListPrec :: ReadPrec [Min a]

Real a => Real (Min a)

Methods

toRational :: Min a -> Rational

RealFrac a => RealFrac (Min a)

Methods

properFraction :: Integral b => Min a -> (b, Min a)

truncate :: Integral b => Min a -> b

round :: Integral b => Min a -> b

ceiling :: Integral b => Min a -> b

floor :: Integral b => Min a -> b

Show a => Show (Min a)

Methods

showsPrec :: Int -> Min a -> ShowS

show :: Min a -> String

showList :: [Min a] -> ShowS

Generic (Min a)

Associated Types

type Rep (Min a) :: * -> *

Methods

from :: Min a -> Rep (Min a) x

to :: Rep (Min a) x -> Min a

Ord a => Semigroup (Min a)

Methods

(<>) :: Min a -> Min a -> Min a

sconcat :: NonEmpty (Min a) -> Min a

stimes :: Integral b => b -> Min a -> Min a

(Ord a, HasPositiveInfinity a) => Monoid (Min a)

>>> (getMin . foldMap Min) [1..10]
1.0

Methods

mempty :: Min a

mappend :: Min a -> Min a -> Min a

mconcat :: [Min a] -> Min a

Storable a => Storable (Min a)

Methods

sizeOf :: Min a -> Int

alignment :: Min a -> Int

peekElemOff :: Ptr (Min a) -> Int -> IO (Min a)

pokeElemOff :: Ptr (Min a) -> Int -> Min a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Min a)

pokeByteOff :: Ptr b -> Int -> Min a -> IO ()

peek :: Ptr (Min a) -> IO (Min a)

poke :: Ptr (Min a) -> Min a -> IO ()

(Semiring a, Ord a, HasPositiveInfinity a) => DetectableZero (Min a)

Methods

isZero :: Min a -> Bool

(Semiring a, Ord a, HasPositiveInfinity a, HasNegativeInfinity a) => StarSemiring (Min a)

Methods

star :: Min a -> Min a

plus :: Min a -> Min a

(Semiring a, Ord a, HasPositiveInfinity a) => Semiring (Min a)

Methods

zero :: Min a

one :: Min a

(<.>) :: Min a -> Min a -> Min a

(<+>) :: Min a -> Min a -> Min a

type Rep1 Min

type Rep1 Min = D1 (MetaData "Min" "Data.Semiring" "semiring-num-1.0.0.0-7OBAfS7Gua052Mg3sLOjjr" True) (C1 (MetaCons "Min" PrefixI True) (S1 (MetaSel (Just Symbol "getMin") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

type Rep (Min a)

type Rep (Min a) = D1 (MetaData "Min" "Data.Semiring" "semiring-num-1.0.0.0-7OBAfS7Gua052Mg3sLOjjr" True) (C1 (MetaCons "Min" PrefixI True) (S1 (MetaSel (Just Symbol "getMin") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))