Data.Divide

class Divide :: (Type -> Type) -> Constraintclass (Contravariant f) <= Divide f  where

Divide is the contravariant analogue of Apply.

For example, to test equality of Points, we can use the Divide instance for Equivalence:

type Point = Tuple Int Int

pointEquiv :: Equivalence Point
pointEquiv = divided defaultEquivalence defaultEquivalence

Members

• divide :: forall a b c. (a -> Tuple b c) -> f b -> f c -> f a

Instances

• Divide Comparison
• Divide Equivalence
• Divide Predicate
• (Semigroup r) => Divide (Op r)

divided :: forall f a b. Divide f => f a -> f b -> f (Tuple a b)

divided = divide id