Module

Data.Profunctor.Join

#Join

newtype Join :: forall k. (k -> k -> Type) -> k -> Typenewtype Join p a

Turns a Profunctor into a Invariant functor by equating the two type arguments.

Constructors

Instances

Modules