Algebraic Lenses

[olynch]

This starts to develop algebraic lenses, as introduced in https://github.com/AlgebraicJulia/Blog/pull/81.

[codecov[bot]]

Codecov Report

Patch coverage: 57.48% and project coverage change: -8.24 :warning:

Comparison is base (746589e) 81.23% compared to head (a7e7728) 73.00%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #23 +/- ## ========================================== - Coverage 81.23% 73.00% -8.24% ========================================== Files 23 18 -5 Lines 842 926 +84 ========================================== - Hits 684 676 -8 - Misses 158 250 +92 ``` | [Impacted Files](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/23?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/dsl/ModelMacros.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/23?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL2RzbC9Nb2RlbE1hY3Jvcy5qbA==) | `100.00% <ø> (ø)` | | | [src/logic/Algebraic.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/23?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL2xvZ2ljL0FsZ2VicmFpYy5qbA==) | `0.00% <0.00%> (ø)` | | | [src/stdlib/models/SimpleLenses.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/23?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvU2ltcGxlTGVuc2VzLmps) | `36.84% <36.84%> (ø)` | | | [src/stdlib/models/ContextMaps.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/23?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvQ29udGV4dE1hcHMuamw=) | `68.42% <68.42%> (ø)` | | | [src/dsl/Parsing.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/23?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL2RzbC9QYXJzaW5nLmps) | `79.03% <100.00%> (-2.33%)` | :arrow_down: | | [src/dsl/TheoryMacros.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/23?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL2RzbC9UaGVvcnlNYWNyb3Muamw=) | `87.90% <100.00%> (-11.29%)` | :arrow_down: | | [src/stdlib/models/ContextMapMacros.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/23?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvQ29udGV4dE1hcE1hY3Jvcy5qbA==) | `96.00% <100.00%> (ø)` | | | [src/stdlib/models/LensMacros.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/23?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvTGVuc01hY3Jvcy5qbA==) | `100.00% <100.00%> (ø)` | | | [src/syntax/Theories.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/23?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9UaGVvcmllcy5qbA==) | `72.22% <100.00%> (-14.82%)` | :arrow_down: | ... and [11 files with indirect coverage changes](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/23/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) Help us with your feedback. Take ten seconds to tell us [how you rate us](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia)

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.

[olynch]

RIP coverage