Data.Semigroup.Quantale

Documentation

residuated :: Quantale a => a -> a -> a -> Bool

class (Semigroup a, Prd a) => Quantale a where

Minimal complete definition

Nothing

Methods

residr :: a -> Conn a a

residl :: a -> Conn a a

(\\) :: a -> a -> a

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

Instances

Quantale Float

Defined in Data.Semigroup.Quantale

Methods

residr :: Float -> Conn Float Float

residl :: Float -> Conn Float Float

(\\) :: Float -> Float -> Float

(//) :: Float -> Float -> Float

Quantale Unsigned

Defined in Data.Dioid.Signed

Methods

residr :: Unsigned -> Conn Unsigned Unsigned

residl :: Unsigned -> Conn Unsigned Unsigned

(\\) :: Unsigned -> Unsigned -> Unsigned

(//) :: Unsigned -> Unsigned -> Unsigned

lower' :: Prd a => Float -> (Float -> a) -> a -> Float

upper :: Prd a => Float -> (Float -> a) -> a -> Float