profunctor-monad: Monadic bidirectional programming

[ control, library, mit ] [ Propose Tags ]
Versions [RSS] 0.1.0.0, 0.2.0.0
Change log CHANGELOG.md
Dependencies base (>=4.9 && <4.17), constraints, profunctors [details]
License MIT
Author Li-yao Xia, Samantha Frohlich, Dominic Orchard, Meng Wang
Maintainer lysxia@gmail.com
Category Control
Home page https://github.com/Lysxia/profunctor-monad
Source repo head: git clone https://github.com/Lysxia/profunctor-monad
Uploaded by lyxia at 2022-05-17T04:49:53Z
Distributions NixOS:0.2.0.0
Downloads 562 total (3 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-0.2.0.0

[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.

Applications

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