Module
Control.Subcategory.HasIntroduce
- Package
- purescript-subcategory
- Repository
- matthew-hilty/purescript-subcategory
#HasIntroduce Source
class (ObjectOf c s) <= HasIntroduce (c :: Type -> Type -> Type) (s :: Type) | c -> s whereMembers
introduce' :: forall v. ObjectOf c s => ObjectOf c v => Proxy3 c -> c s v
Instances
#introduce Source
introduce :: forall v s c. HasIntroduce c s => ObjectOf c v => c s v- 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