Popularity
8.1
Stable
Activity
0.0
Stable
45
7
4
Monthly Downloads: 0
Programming language: Coq
License: MIT License
Tags:
Control
Profunctor
Add another 'profunctor' Package
README
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.
attoparsec
(parsing) wrapper:unparse-attoparsec
QuickCheck
(random generation) wrapper:gap
lens
wrapper:lens-monad
See also
codec
for a general monadic profunctor for bidirectional programming, has implementations foraeson
andbinary
. The idea of monadic profunctors first came from this package.