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

Join (p a a)

Instances

Newtype (Join p a) _
(Eq (p a a)) => Eq (Join p a)
(Ord (p a a)) => Ord (Join p a)
(Show (p a a)) => Show (Join p a)
(Semigroupoid p) => Semigroup (Join p a)
(Category p) => Monoid (Join p a)
(Profunctor p) => Invariant (Join p)

Modules: Data.Profunctor; Data.Profunctor.Choice; Data.Profunctor.Closed; Data.Profunctor.Cochoice; Data.Profunctor.Costrong; Data.Profunctor.Join; Data.Profunctor.Split; Data.Profunctor.Star; Data.Profunctor.Strong