https://github.com/vmchale/linear
Linear lenses in Blodwen
https://github.com/vmchale/linear
blodwen idris lens lenses linear-types profunctor profunctor-optics profunctors
Last synced: 2 months ago
JSON representation
Linear lenses in Blodwen
- Host: GitHub
- URL: https://github.com/vmchale/linear
- Owner: vmchale
- License: bsd-3-clause
- Created: 2019-02-02T20:50:01.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-02-09T00:32:56.000Z (over 6 years ago)
- Last Synced: 2025-01-08T12:08:01.926Z (9 months ago)
- Topics: blodwen, idris, lens, lenses, linear-types, profunctor, profunctor-optics, profunctors
- Language: Idris
- Homepage:
- Size: 17.6 KB
- Stars: 13
- Watchers: 4
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# linear
Profunctor optics for linear types.
Loosely based on
a [paper](https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf)
of Pickering, Gibbons, and Wu.
## Building
Requires [blodwen](https://github.com/edwinb/Blodwen) to be installed.
## Contents
Lovingly provided by [polyglot](https://github.com/vmchale/polyglot):
```
-------------------------------------------------------------------------------
Language Files Lines Code Comments Blanks
-------------------------------------------------------------------------------
Bash 1 6 2 2 2
Blodwen 6 146 89 20 37
iPKG 1 8 7 0 1
Makefile 1 7 5 0 2
Markdown 1 27 20 0 7
-------------------------------------------------------------------------------
Total 10 194 123 22 49
-------------------------------------------------------------------------------
```