Module
Control.Subcategory.Endofunctor.HasMap
- Package
- purescript-subcategory
- Repository
- matthew-hilty/purescript-subcategory
#HasMap Source
class HasMap (c :: Type -> Type -> Type) (f :: Type -> Type) where
Members
map :: forall v1 v0. ObjectOf c v0 => ObjectOf c v1 => ObjectOf c (f v0) => ObjectOf c (f v1) => c v0 v1 -> c (f v0) (f v1)
Instances
(Functor f) => HasMap Function f
(ObjectOf c v, ObjectOf c v', ObjectOf c (c v v'), Restrictable Function c, HasCompose c) => HasMap c (c v)
#flap Source
flap :: forall v1 v0 f c. HasMap c f => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c (c v0 v1) => ObjectOf c (c (c v0 v1) v1) => ObjectOf c (f v1) => ObjectOf c (f (c v0 v1)) => ObjectOf c (c (f (c v0 v1)) (f v1)) => ObjectOf c (c v0 (c (c v0 v1) v1)) => Restrictable Function c => Slackable c => f (c v0 v1) -> c v0 (f 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