Control.Subcategory.HasTJoin

class HasTJoin (c :: Type -> Type -> Type) (bifunctor :: Type -> Type -> Type) (tensor :: Type -> Type -> Type)  where

Members

• tJoin :: forall v0 v1. ObjectOf c v0 => ObjectOf c v1 => ObjectOf c (tensor v0 v1) => bifunctor v0 v1 -> tensor v0 v1

Instances

• HasTJoin Function t t