invertible-0.1: bidirectional arrows, bijective functions, and invariant functors

Safe HaskellSafe
LanguageHaskell2010

Control.Invertible.MonadArrow

Description

A symmetric version of the Kleisli monad transformer arrow. BiKleisli provides this Kleisli-like arrow over bijections.

The Alimarine paper just calls it "MoT" for Monad Transformer.

Synopsis

Documentation

newtype MonadArrow a m b c Source

Bidirectional Kleisli-like monad arrow transformer.

Constructors

MonadArrow 

Fields

runMonadArrow :: a (m b) (m c)
 

type BiKleisli m a b = MonadArrow (<->) m a b Source

A MonadArrow over bijections.