Data.Profunctor

Documentation

class Profunctor p where

Minimal complete definition

Nothing

Methods

dimap :: (a -> b) -> (c -> d) -> p b c -> p a d

lmap :: (a -> b) -> p b c -> p a c

rmap :: (b -> c) -> p a b -> p a c

Instances

Functor f => Profunctor (Kleisli f)

Defined in Data.Profunctor

Methods

dimap :: (a -> b) -> (c -> d) -> Kleisli f b c -> Kleisli f a d

lmap :: (a -> b) -> Kleisli f b c -> Kleisli f a c

rmap :: (b -> c) -> Kleisli f a b -> Kleisli f a c

Profunctor ((->) :: Type -> Type -> Type)

Defined in Data.Profunctor

Methods

dimap :: (a -> b) -> (c -> d) -> (b -> c) -> a -> d

lmap :: (a -> b) -> (b -> c) -> a -> c

rmap :: (b -> c) -> (a -> b) -> a -> c

Functor f => Profunctor (Cokleisli f)

Defined in Data.Profunctor

Methods

dimap :: (a -> b) -> (c -> d) -> Cokleisli f b c -> Cokleisli f a d

lmap :: (a -> b) -> Cokleisli f b c -> Cokleisli f a c

rmap :: (b -> c) -> Cokleisli f a b -> Cokleisli f a c

(^>>) :: Profunctor p => (a -> b) -> p b c -> p a c infixr 1

(>>^) :: Profunctor p => p a b -> (b -> c) -> p a c infixr 1

(<<^) :: Profunctor p => p b c -> (a -> b) -> p a c infixr 1

(^<<) :: Profunctor p => (b -> c) -> p a b -> p a c infixr 1

class Profunctor p => Related f p where

Methods

relate :: p a b -> p (f a) (f b)

Instances

(Applicative p, Traversable f) => Related f (Kleisli p)

Defined in Data.Profunctor

Methods

relate :: Kleisli p a b -> Kleisli p (f a) (f b)

(Cotraversable f, Functor ɯ) => Related f (Cokleisli ɯ)

Defined in Data.Profunctor

Methods

relate :: Cokleisli ɯ a b -> Cokleisli ɯ (f a) (f b)

Functor f => Related f ((->) :: Type -> Type -> Type)

Defined in Data.Profunctor

Methods

relate :: (a -> b) -> f a -> f b

Comonad ɯ => Related (Either a) (Cokleisli ɯ)

Defined in Data.Profunctor

Methods

relate :: Cokleisli ɯ a0 b -> Cokleisli ɯ (Either a a0) (Either a b)

class Profunctor p => Corelated f p where

Methods

corelate :: p (f a) (f b) -> p a b

Instances

Monad m => Corelated (Either a) (Kleisli m)

Defined in Data.Profunctor

Methods

corelate :: Kleisli m (Either a a0) (Either a b) -> Kleisli m a0 b

MonadFix m => Corelated ((,) a) (Kleisli m)

Defined in Data.Profunctor

Methods

corelate :: Kleisli m (a, a0) (a, b) -> Kleisli m a0 b

Functor f => Corelated (Either a) (Cokleisli f)

Defined in Data.Profunctor

Methods

corelate :: Cokleisli f (Either a a0) (Either a b) -> Cokleisli f a0 b

Corelated (Either a) ((->) :: Type -> Type -> Type)

Defined in Data.Profunctor

Methods

corelate :: (Either a a0 -> Either a b) -> a0 -> b

Corelated ((,) a) ((->) :: Type -> Type -> Type)

Defined in Data.Profunctor

Methods

corelate :: ((a, a0) -> (a, b)) -> a0 -> b