 milner
|
c2d6f2aa05
|
Generate labelled updaters and propagate callback exceptions
|
2019-03-13 14:36:15 +00:00 |
|
|
milner
|
40dc020f24
|
Generate immutable setters with type-changing singleton updates
|
2019-03-10 12:38:49 +00:00 |
|
|
milner
|
4eda2052af
|
Traverse record declarations and generate typed field accessors
|
2019-03-08 17:28:32 +00:00 |
|
|
milner
|
59e39e593c
|
Expose infix viewing, replacement, mapping, and composition
|
2019-03-06 21:16:11 +00:00 |
|
|
milner
|
a7237a6412
|
Handle list head and tail updates with explicit empty-list errors
|
2019-03-01 05:48:41 +00:00 |
|
|
milner
|
d8c191be6d
|
Provide the identity lens and verify composition identities
|
2019-02-24 07:41:34 +00:00 |
|
|
milner
|
28d28de6fa
|
Add polymorphic tuple projections and replacements
|
2019-02-22 15:45:12 +00:00 |
|
|
milner
|
d996eba971
|
Compose lenses whilst preserving unfocussed data
|
2019-02-19 19:49:43 +00:00 |
|
|
milner
|
0f219fea14
|
Implement replacement and functional updates with lens-law checks
|
2019-02-17 03:07:54 +00:00 |
|
|
milner
|
d30dc5d519
|
Define polymorphic lenses and compile the runtime library
|
2019-02-11 13:34:00 +00:00 |
|