AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
24 stars 2 forks source link

Serialization for Algebraic Lenses #51

Closed olynch closed 1 year ago

olynch commented 1 year ago

This also adds serialization for everything AlgebraicLenses depends on. However, this approach to serialization is perhaps not as general as I might like; it will do for the demo though.

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage: 68.05% and project coverage change: -0.47 :warning:

Comparison is base (b162c85) 74.56% compared to head (9f85269) 74.10%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #51 +/- ## ========================================== - Coverage 74.56% 74.10% -0.47% ========================================== Files 18 19 +1 Lines 928 1000 +72 ========================================== + Hits 692 741 +49 - Misses 236 259 +23 ``` | [Impacted Files](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/51?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/stdlib/models/SimpleLenses.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/51?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvU2ltcGxlTGVuc2VzLmps) | `75.00% <ø> (ø)` | | | [src/syntax/Theories.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/51?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9UaGVvcmllcy5qbA==) | `72.22% <ø> (ø)` | | | [src/util/Names.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/51?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3V0aWwvTmFtZXMuamw=) | `66.66% <ø> (ø)` | | | [src/stdlib/Serialization.jl](https://codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/51?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9TZXJpYWxpemF0aW9uLmps) | `68.05% <68.05%> (ø)` | | 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.