Control.Subcategory.HasUncurry

class HasUncurry (c :: Type -> Type -> Type) (tensor :: Type -> Type -> Type) (exp :: Type -> Type -> Type)  where

Members

• uncurry :: forall v0 v1 v2. ObjectOf c v0 => ObjectOf c v1 => ObjectOf c v2 => ObjectOf c (tensor v0 v1) => ObjectOf c (exp v0 v2) => c v1 (exp v0 v2) -> c (tensor v0 v1) v2

Instances

• HasUncurry Function Tuple Function