Control.Subcategory.Endofunctor.HasMap

class HasMap (c :: Type -> Type -> Type) (f :: Type -> Type)  where

Members

• map :: forall v0 v1. 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 :: forall c f v0 v1. 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)