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 #