Module

Data.Decidable

Package
purescript-contravariant
Repository
purescript/purescript-contravariant

#Decidable Source

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