profunctor-monad: Monadic bidirectional programming

[ control, library, mit ] [ Propose Tags ]

Applicative and monadic interface for bidirectional programming.


[Skip to Readme]
Versions [faq] 0.1.0.0
Dependencies base (>=4.9 && <4.13), constraints, profunctors [details]
License MIT
Author Li-yao Xia
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 Fri Dec 7 01:05:19 UTC 2018
Distributions NixOS:0.1.0.0
Downloads 47 total (17 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2018-12-07 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for profunctor-monad-0.1.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