Module

Data.Divisible

Package: contravariant
Repository: purescript/purescript-contravariant

#Divisible Source

class Divisible :: (Type -> Type) -> Constraintclass (Divide f) <= Divisible f  where

Divisible is the contravariant analogue of Applicative.

Members

conquer :: forall a. f a

Instances

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