Module
Control.Subcategory.HasCurriedEval
- Package
- purescript-subcategory
- Repository
- matthew-hilty/purescript-subcategory
#HasCurriedEval Source
class HasCurriedEval (c :: Type -> Type -> Type) (exp :: Type -> Type -> Type) where
Members
curriedEval :: forall v1 v0. ObjectOf c (exp v0 v1) => c (exp v0 v1) (exp v0 v1)
Instances
#eval Source
eval :: forall v1 v0 exp c. HasCurriedEval c exp => ObjectOf c (exp v0 v1) => c (exp v0 v1) (exp v0 v1)
- Modules
- Control.
Subcategory. Adjoint - Control.
Subcategory. Category - Control.
Subcategory. Closed - Control.
Subcategory. ClosedMonoidal - Control.
Subcategory. ClosedSemimonoidal - Control.
Subcategory. Constituency - Control.
Subcategory. Endofunctor - Control.
Subcategory. Endofunctor. Applicative - Control.
Subcategory. Endofunctor. Apply - Control.
Subcategory. Endofunctor. Bind - Control.
Subcategory. Endofunctor. Discard - Control.
Subcategory. Endofunctor. HasApply - Control.
Subcategory. Endofunctor. HasBind - Control.
Subcategory. Endofunctor. HasCompose - Control.
Subcategory. Endofunctor. HasConst - Control.
Subcategory. Endofunctor. HasMap - Control.
Subcategory. Endofunctor. HasPoint - Control.
Subcategory. Endofunctor. HasPure - Control.
Subcategory. Endofunctor. HasUnpoint - Control.
Subcategory. Endofunctor. Monad - Control.
Subcategory. Endofunctor. Parameterized. HasConst - Control.
Subcategory. Functor - Control.
Subcategory. Functor. Discard - Control.
Subcategory. Functor. HasApply - Control.
Subcategory. Functor. HasBind - Control.
Subcategory. Functor. HasConst - Control.
Subcategory. Functor. HasMap - Control.
Subcategory. Functor. HasPure - Control.
Subcategory. Functor. Parameterized. HasConst - Control.
Subcategory. HasCompose - Control.
Subcategory. HasCurriedEval - Control.
Subcategory. HasCurry - Control.
Subcategory. HasIdentity - Control.
Subcategory. HasIntroduce - Control.
Subcategory. HasStart - Control.
Subcategory. HasTJoin - Control.
Subcategory. HasTUnit - Control.
Subcategory. HasTerminate - Control.
Subcategory. HasUncurriedEval - Control.
Subcategory. HasUncurry - Control.
Subcategory. HasUnit - Control.
Subcategory. Monoidal - Control.
Subcategory. Profunctor - Control.
Subcategory. Profunctor. HasDimap - Control.
Subcategory. Relation. Reflexive - Control.
Subcategory. Relation. Symmetric - Control.
Subcategory. Restrictable - Control.
Subcategory. Semigroupoid - Control.
Subcategory. Semimonoidal - Control.
Subcategory. Slackable - Control.
Subcategory. Strength