Module

Data.Decidable

Package: purescript-contravariant
Repository: purescript/purescript-contravariant

#Decidable Source

class Decidable :: (Type -> Type) -> Constraintclass (Decide f, Divisible f) <= Decidable f  where

Decidable is the contravariant analogue of Alternative.

Members

lose :: forall a. (a -> Void) -> f a

Instances

#lost Source

lost :: forall f. Decidable f => f Void

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