profunctor-monad: Monadic bidirectional programming

[ control, library, mit ] [ Propose Tags ]

Applicative and monadic interface for bidirectional programming.

[Skip to Readme]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],
Change log
Dependencies base (>=4.9 && <4.17), constraints, profunctors [details]
License MIT
Author Li-yao Xia, Samantha Frohlich, Dominic Orchard, Meng Wang
Category Control
Home page
Source repo head: git clone
Uploaded by lyxia at 2022-05-17T04:49:53Z
Downloads 643 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-05-17 [all 1 reports]

Readme for profunctor-monad-

[back to package description]

Bidirectional Programming with Monadic Profunctors

This package provides tools to work with monadic profunctors: types that are both monads and profunctors.


Currently known instances of monadic profunctors are certain types of bidirectional programs, i.e., programs that have "invertible" interpretations.

See also

  • codec for a general monadic profunctor for bidirectional programming, has implementations for aeson and binary. The idea of monadic profunctors first came from this package.

More bidirectional programming in Haskell

Generic programming with monoidal profunctors