Module

Data.Decide

Package
purescript-contravariant
Repository
purescript/purescript-contravariant

#Decide Source

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

#chosen Source

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

chosen = choose id