Control.Subcategory.HasCurriedEval

class HasCurriedEval (c :: Type -> Type -> Type) (exp :: Type -> Type -> Type)  where

Members

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

Instances

• HasCurriedEval Function Function

eval :: forall c exp v0 v1. HasCurriedEval c exp => ObjectOf c (exp v0 v1) => c (exp v0 v1) (exp v0 v1)