profunctors-5.2: Profunctors

Safe HaskellNone
LanguageHaskell2010

Data.Profunctor.Mapping

Contents

Synopsis

Documentation

class (Traversing p, Closed p) => Mapping p where

Methods

map' :: Functor f => p a b -> p (f a) (f b)

data FreeMapping p a b where

FreeMapping -| CofreeMapping

Constructors

FreeMapping :: Functor f => (f y -> b) -> p x y -> (a -> f x) -> FreeMapping p a b 

Closed in terms of Mapping

traverseMapping :: (Mapping p, Functor f) => p a b -> p (f a) (f b)

closedMapping :: Mapping p => p a b -> p (x -> a) (x -> b)