Module

Data.Decide

Package
purescript-contravariant
Repository
purescript/purescript-contravariant

#Decide Source

class (Divide f) <= Decide f  where

Decide is the contravariant analogue of Alt.

Members

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

Instances

#chosen Source

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

chosen = choose id