Control.Subcategory.HasCurry

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

Members

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

Instances

• HasCurry Function Tuple Function