connections-0.0.1: Partial orders, Galois connections, ordered semirings, & residuated lattices.

Data.Semigroup.Quantale

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

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

Minimal complete definition

Nothing

Methods

residr :: a -> Conn a a Source #

residl :: a -> Conn a a Source #

(\\) :: a -> a -> a Source #

(//) :: a -> a -> a Source #

Defined in Data.Semigroup.Quantale

residr :: Float -> Conn Float Float Source #

residl :: Float -> Conn Float Float Source #

(\\) :: Float -> Float -> Float Source #

(//) :: Float -> Float -> Float Source #

Defined in Data.Dioid.Signed

residr :: Unsigned -> Conn Unsigned Unsigned Source #

residl :: Unsigned -> Conn Unsigned Unsigned Source #

(\\) :: Unsigned -> Unsigned -> Unsigned Source #

(//) :: Unsigned -> Unsigned -> Unsigned Source #

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

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