Module

Data.Profunctor.Join

Package
purescript-profunctor
Repository
purescript/purescript-profunctor

#Join Source

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