Control.Subcategory.Adjoint

class (HasToLeft c0 c1 l r, HasToRight c0 c1 l r) <= Adjoint c0 c1 l r 

Instances

• (HasToLeft c0 c1 l r, HasToRight c0 c1 l r) => Adjoint c0 c1 l r

class HasToLeft (c0 :: Type -> Type -> Type) (c1 :: Type -> Type -> Type) (l :: Type -> Type) (r :: Type -> Type)  where

Members

• toLeft :: forall v1 v0. ObjectOf c0 (l v0) => ObjectOf c0 v1 => ObjectOf c1 v0 => ObjectOf c1 (r v1) => c1 v0 (r v1) -> c0 (l v0) v1

Instances

• (HasUncurry c tensor exp, ObjectOf c v) => HasToLeft c c (tensor v) (exp v)

class HasToRight (c0 :: Type -> Type -> Type) (c1 :: Type -> Type -> Type) (l :: Type -> Type) (r :: Type -> Type)  where

Members

• toRight :: forall v1 v0. ObjectOf c0 (l v0) => ObjectOf c0 v1 => ObjectOf c1 v0 => ObjectOf c1 (r v1) => c0 (l v0) v1 -> c1 v0 (r v1)

Instances

• (HasCurry c tensor exp, ObjectOf c v) => HasToRight c c (tensor v) (exp v)