Module

Data.Decide

#Decide

class (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

#chosen

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

chosen = choose id

Modules