Copyright	(C) 2026 - Eitan Chatav
License	BSD-style (see the file LICENSE)
Maintainer	Eitan Chatav <eitan.chatav@gmail.com>
Stability	provisional
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Profunctor.Monadic

Contents

Description

This module can provide qualified do-notation for Monadic profunctors.

>>> :set -XQualifiedDo
>>> import qualified Data.Profunctor.Monadic as P

See Control.Lens.Grammar for an example of how to use "bonding" notation.

Synopsis

Monadic

type Monadic p = (Profunctor p, forall x. Monad (p x)) Source #

A Profunctor which is also a Monad.

(>>=) :: Monadic p => p a b -> (b -> p c d) -> p (a, c) (b, d) infixl 1 Source #

The pair bonding operator P.>>= is a context-sensitive version of >*<.

x >*< y = x P.>>= (\_ -> y)

(>>) :: Monadic p => p () c -> p a b -> p a b infixl 1 Source #

P.>> sequences actions.

return :: Monad m => a -> m a #

Inject a value into the monadic type.