Control.Subcategory.HasUncurriedEval

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

Members

• uncurriedEval :: forall v0 v1. ObjectOf c (tensor (exp v0 v1) v0) => ObjectOf c v1 => c (tensor (exp v0 v1) v0) v1

Instances

• HasUncurriedEval Function Tuple Function