Module

Control.Subcategory.Functor.HasMap

#HasMap 

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

Members

Instances

#(<$>)

Operator alias for Control.Subcategory.Functor.HasMap.map (left-associative / precedence 4)

#mapFlipped 

mapFlipped :: forall c f v0 v1. HasMap c f => ObjectOf c v0 => ObjectOf c v1 => f v0 -> c v0 v1 -> f v1

#(<#>)

Operator alias for Control.Subcategory.Functor.HasMap.mapFlipped (left-associative / precedence 1)

Modules