toki/idris2-lens
1
0
Fork 0
Code Issues Pull requests Activity
43 commits 1 branch 3 tags 116 KiB
Commit graph

43 commits

This branch
This branch
All branches
Author SHA1 Message Date
Kiana Sheibani da8f3a05e6
Fix typo 2024-06-29 01:55:20 -04:00
Kiana Sheibani 60231f4a2b
Add export declaration to fixities 2024-06-29 01:55:19 -04:00
Kiana Sheibani 6d7153496d
Merge pull request #2 from crumbtoo/main 
Use postfix field projections in elab script
 2024-06-28 21:00:42 -04:00
Madeleine Sydney 61acb58a22 Derive lenses without prefix_record_projections 2024-06-27 20:38:43 -06:00
Kiana Sheibani 253467ebae
Fix definition of elemOf 2024-01-29 21:44:54 -05:00
Kiana Sheibani a7152cd582
Combine fixity declarations 
Apparently this is something you can do? I wasn't aware of it,
but it's very useful!
 2023-11-04 20:58:54 -04:00
Kiana Sheibani 1e6309237b
Update lens operators 2023-10-19 20:22:23 -04:00
Kiana Sheibani 40fd0a3a3b
Add lenses for List1 2023-10-19 19:57:39 -04:00
Kiana Sheibani aabe5a94d0
Update version to 0.3.0 2023-10-19 16:23:53 -04:00
Kiana Sheibani d2ebddeab7
Update README 2023-10-19 16:23:05 -04:00
Kiana Sheibani 63814e7809
Add elaboration scripts for creating lenses 
Thanks to Stefan Hoeck for providing the code for this!
 2023-10-19 16:13:23 -04:00
Kiana Sheibani 451d7b2233
Add IEach interface 2023-10-19 14:57:35 -04:00
Kiana Sheibani f2e172678a
Add traversal constructor 2023-10-19 14:30:56 -04:00
Kiana Sheibani 4d44a6ac36
Rename nil' to lin 2023-10-19 14:05:57 -04:00
Kiana Sheibani ec451f0061
Change review operator again 2023-10-19 14:00:13 -04:00
Kiana Sheibani e38d00d4a3
Fix typos 2023-10-19 13:52:45 -04:00
Kiana Sheibani e362cb9c0e
Add more lens modules for datatypes 2023-04-26 09:54:19 -04:00
Kiana Sheibani 4c19ed5209
Add Each interface 2023-04-25 13:40:03 -04:00
Kiana Sheibani 810404b305
Change review operator 2023-04-25 13:34:07 -04:00
Kiana Sheibani e980b3602d
Strengthen Cons and Snoc interfaces 2023-04-25 12:39:52 -04:00
Kiana Sheibani e1da48721e
Update ipkg 2023-04-24 10:04:06 -04:00
Kiana Sheibani bf3ef35b63
Document new features 2023-04-24 10:02:32 -04:00
Kiana Sheibani 32b6962be7
Remove unnecessary lens storage in zipper 2023-04-24 09:14:35 -04:00
Kiana Sheibani 2b16d484f5
Add lens module for strings 2023-04-24 09:14:26 -04:00
Kiana Sheibani 482edefd59
Define cons and snoc optics 2023-04-24 09:14:06 -04:00
Kiana Sheibani de087603bf
Create Control.Zipper 
Most of this code is ported from the haskell `zippers` library.
 2023-04-22 23:45:00 -04:00
Kiana Sheibani e0297af9f3
Add new functions for indexing optics 2023-04-21 08:26:20 -04:00
Kiana Sheibani 27247861d6
Fix module list in ipkg 2023-04-20 19:19:13 -04:00
Kiana Sheibani f6508074a6
Fix fixity declarations 2023-04-20 18:46:18 -04:00
Kiana Sheibani 66a493a223
Update ipkg 2023-04-20 14:05:29 -04:00
Kiana Sheibani 917dacf3c2
Update README 2023-04-20 14:01:56 -04:00
Kiana Sheibani 53df8dfced
Add documentation for indexed optics, etc. 2023-04-20 13:24:43 -04:00
Kiana Sheibani 07b3028eda
Implement composition of indexed optics 2023-04-20 11:15:39 -04:00
Kiana Sheibani 914dfb24df
Implement indexed optics 2023-04-19 14:07:50 -04:00
Kiana Sheibani 783a1efe5e
Add optics for common types 2023-04-17 13:27:33 -04:00
Kiana Sheibani 5fdd7192b1
Add operators 2023-04-15 21:44:56 -04:00
Kiana Sheibani 9fcd3c8829
Add more utility functions 2023-04-14 13:16:08 -04:00
Kiana Sheibani 2585e9eb04
Document everything 2023-04-12 22:41:23 -04:00
Kiana Sheibani fd4eb7dd00
Create Simple function 2023-04-12 11:59:51 -04:00
Kiana Sheibani b1ad4ceef0
Update ipkg 2023-04-12 11:55:22 -04:00
Kiana Sheibani 69870ff394
Implement basic optic functions 
Most of these functions are taken from `fresnel`, but I intend to
implement more convenient utilities from `lens`.
 2023-04-12 11:34:33 -04:00
Kiana Sheibani 090b06a899
Basic package structure 2023-04-08 16:18:03 -04:00
Kiana Sheibani 1f1bfc0428
Initial commit 2023-03-31 13:22:03 -04:00