Module

Data.Divisible

#Divisible

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

Divisible is the contravariant analogue of Applicative.

Members

Instances

Modules