Data.Invertible.Monad

Using bijections with monads.

Documentation

bind :: Monad m => (a -> m b) -> (b -> m a) -> m a <-> m b

Bind two functions to create a Control.Invertible.MonadArrow-form bijection.

(=<<->>=) :: Monad m => (a -> m b) -> (b -> m a) -> m a <-> m b infix 2

Crazy operator form of bind.

liftM :: Monad m => (a <-> b) -> m a <-> m b

Promote a bijection to a Control.Invertible.MonadArrow-form bijection. (Equivalent to bifmap and biarr.)