mroman42 / vitrea-prototype-1 Public

Notifications You must be signed in to change notification settings
Fork 5
Star 18

[WIP] Optics via the profunctor representation theorem

18 stars 5 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
CHANGELOG.md		CHANGELOG.md
Example.hs		Example.hs
LICENSE		LICENSE
Mixed.hs		Mixed.hs
README.md		README.md
Setup.hs		Setup.hs
Vitrea.hs		Vitrea.hs
default.nix		default.nix
vitrea.cabal		vitrea.cabal

Repository files navigation

vitrea

Lenses and optics via the profunctor representation theorem. You can learn about this representation in the following articles.

Milewski (2017), "Profunctor optics: the categorical view"
Boisseau, Gibbons (2018), "What you needa know about Yoneda"

About

[WIP] Optics via the profunctor representation theorem

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages