Popularity
7.8
Growing
Activity
0.0
Stable
32
5
3

Monthly Downloads: 2
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.

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