Data.Profunctor.Exposed

Documentation

class (Monad m, Profunctor p) => Exposed m p | p -> m where

Exposes structure of a Kleisli category beneath a profunctor.

Should obey laws:

merge . rmap return = id
lmap return . expose = id
rmap (>>= f) = merge . rmap (fmap f)
lmap (fmap f) . expose = expose . lmap f

Methods

expose :: p a b -> p (m a) b

merge :: p a (m b) -> p a b

Instances

Exposed (Either String) (Retail s t)