Data.Decide

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

Decide is the contravariant analogue of Alt.

Members

• choose :: forall a b c. (a -> Either b c) -> f b -> f c -> f a

Instances

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

chosen :: forall f a b. Decide f => f a -> f b -> f (Either a b)

chosen = choose id