Module

Data.Decidable

Package
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

Instances

#lost Source

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