Module

Data.Bifunctor.Join

#Join

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

Turns a Bifunctor into a Functor by equating the two type arguments.

Constructors

Instances

Modules