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

Modules: Data.Comparison; Data.Decidable; Data.Decide; Data.Divide; Data.Divisible; Data.Equivalence; Data.Functor.Contravariant; Data.Op; Data.Predicate