Data.Bifunctor.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

• 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)
• (Bifunctor p) => Functor (Join p)
• (Biapply p) => Apply (Join p)
• (Biapplicative p) => Applicative (Join p)