Module

Data.Profunctor.Closed

#Closed

class Closed :: (Type -> Type -> Type) -> Constraintclass (Profunctor p) <= Closed p  where

The Closed class extends the Profunctor class to work with functions.

Members

  • closed :: forall a b x. p a b -> p (x -> a) (x -> b)

Instances

Modules