profunctor-monad: Monadic bidirectional programming

[ control, library, mit ] [ Propose Tags ]

Applicative and monadic interface for bidirectional programming.

[Skip to Readme]
Versions [RSS] [faq]
Dependencies base (>=4.9 && <4.13), constraints, profunctors [details]
License MIT
Author Li-yao Xia
Category Control
Home page
Source repo head: git clone
Uploaded by lyxia at 2018-12-07T01:05:19Z
Distributions NixOS:
Downloads 477 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2018-12-07 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees


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