Safe Haskell	None
Language	Haskell2010

Data.Profunctor.Absorbent

Documentation

class Profunctor p => Absorbent m p | p -> m where Source #

Methods

absorb :: p a (m b) -> p a b Source #

Instances details

Absorbent m (Forget (m r)) Source #
Instance details Defined in Data.Profunctor.Absorbent Methods absorb :: Forget (m r) a (m b) -> Forget (m r) a b Source #
Monad m => Absorbent m (Star m) Source #
Instance details Defined in Data.Profunctor.Absorbent Methods absorb :: Star m a (m b) -> Star m a b Source #
Absorbent Identity ((->) :: Type -> Type -> Type) Source #
Instance details Defined in Data.Profunctor.Absorbent Methods absorb :: (a -> Identity b) -> a -> b Source #