AlgebraicJulia / GATlab.jl

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

Instances via method declarations #76

Closed olynch closed 1 year ago

olynch commented 1 year ago

For catlab compatibility.

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage: 1.61% and project coverage change: -7.07 :warning:

Comparison is base (c9d22ee) 76.37% compared to head (a6eb5ee) 69.30%.

:exclamation: Current head a6eb5ee differs from pull request most recent head 3c70fb5. Consider uploading reports for the commit 3c70fb5 to get more accurate results

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #76 +/- ## ========================================== - Coverage 76.37% 69.30% -7.07% ========================================== Files 38 40 +2 Lines 1164 1287 +123 ========================================== + Hits 889 892 +3 - Misses 275 395 +120 ``` | [Impacted Files](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/76?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/models/module.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/76?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9tb2R1bGUuamw=) | `100.00% <ø> (ø)` | | | [src/syntax/Theories.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/76?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9UaGVvcmllcy5qbA==) | `81.15% <0.00%> (-2.43%)` | :arrow_down: | | [src/syntax/Visualization.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/76?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9WaXN1YWxpemF0aW9uLmps) | `51.61% <ø> (ø)` | | | [src/util/module.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/76?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3V0aWwvbW9kdWxlLmps) | `100.00% <ø> (ø)` | | | [src/util/MetaUtils.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/76?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3V0aWwvTWV0YVV0aWxzLmps) | `1.44% <1.44%> (ø)` | | | [src/models/MethodInstance.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/76?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9NZXRob2RJbnN0YW5jZS5qbA==) | `1.92% <1.92%> (ø)` | | ... and [1 file with indirect coverage changes](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/76/indirect-changes?src=pr&el=tree-more&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.