codecov[bot]
commented
1 year ago Codecov Report
Patch coverage: 100.00% and project coverage change: +0.82 :tada:
Comparison is base (
c5723b7) 74.10% compared to head (68736b9) 74.92%.
Additional details and impacted files
```diff @@ Coverage Diff @@ ## main #52 +/- ## ========================================== + Coverage 74.10% 74.92% +0.82% ========================================== Files 19 19 Lines 1000 1037 +37 ========================================== + Hits 741 777 +36 - Misses 259 260 +1 ``` | [Impacted Files](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/52?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/dsl/Parsing.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/52?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL2RzbC9QYXJzaW5nLmps) | `82.19% <100.00%> (+3.15%)` | :arrow_up: | | [src/dsl/TheoryMacros.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/52?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%> (ø)` | | | [src/stdlib/models/ContextMapMacros.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/52?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvQ29udGV4dE1hcE1hY3Jvcy5qbA==) | `92.00% <100.00%> (-4.00%)` | :arrow_down: | | [src/stdlib/models/LensMacros.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/52?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/util/Names.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/52?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3V0aWwvTmFtZXMuamw=) | `71.42% <100.00%> (+4.76%)` | :arrow_up: | 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.
We should in fact have a special "system struct", which has an interface and a state space, and is different from a lens. This is just a lens with domain (X,TX), but it's useful to have a static constraint for this.