Module

Data.Decidable

#Decidable

class (Decide f, Divisible f) <= Decidable f  where

Decidable is the contravariant analogue of Alternative.

Members

Instances

#lost

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

Modules