Relational Lenses as a Library ( Demo) Haskell 2020

Relational lenses are a modern programming approach to the viewupdate problem for relational databases, taking influence from bidirectional transformations. For lenses to behave correctly, it is necessary to verify side conditions which perform additional checks on functional dependencies and predicates. The only existing relational lenses implementation we know of ensures that all of these checks can be p