Data.Bifunctor.Join · rerebase-1.21.2

newtypenewtype Join (p :: k -> k -> Type) (a :: k)

Make a Functor over both arguments of a Bifunctor.

Constructors

Join
- runJoin :: p a a

Instances18Functor, Applicative, Foldable, Traversable, Foldable1, Eq1, …

Bifunctor p => Functor (Join p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Biapplicative p => Applicative (Join p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Bifoldable p => Foldable (Join p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Bitraversable p => Traversable (Join p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Bifoldable1 p => Foldable1 (Join p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Eq2 p => Eq1 (Join p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Ord2 p => Ord1 (Join p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Read2 p => Read1 (Join p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Show2 p => Show1 (Join p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Biapply p => Apply (Join p)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Class
Bitraversable1 p => Traversable1 (Join p)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Invariant2 p => Invariant (Join p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Eq (p a a) => Eq (Join p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Ord (p a a) => Ord (Join p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Read (p a a) => Read (Join p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Show (p a a) => Show (Join p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
Generic (Join p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Join
type Rep (Join p a) = D1 ('MetaData "Join" "Data.Bifunctor.Join" "bifunctors-5.6.2-CVCaN6VuvqC3GgUKVKmvdT" 'True) (C1 ('MetaCons "Join" 'PrefixI 'True) (S1 ('MetaSel ('Just "runJoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (p a a))))Defined in bifunctors-5.6.2 · Data.Bifunctor.Join