search

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

Coercing Type Constructors #92

Closed olynch closed 11 months ago

olynch commented 11 months ago

Addresses #86

codecov[bot] commented 11 months ago

Codecov Report

Patch coverage: 93.42% and project coverage change: -0.49% :warning:

Comparison is base (0ab5951) 96.13% compared to head (5424682) 95.64%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #92 +/- ## ========================================== - Coverage 96.13% 95.64% -0.49% ========================================== Files 22 22 Lines 1086 1148 +62 ========================================== + Hits 1044 1098 +54 - Misses 42 50 +8 ``` | [Files Changed](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/stdlib/models/SliceCategories.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvU2xpY2VDYXRlZ29yaWVzLmps) | `88.88% <85.71%> (-11.12%)` | :arrow_down: | | [src/stdlib/models/FinSets.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvRmluU2V0cy5qbA==) | `92.30% <88.88%> (-7.70%)` | :arrow_down: | | [src/stdlib/models/ScopeTrees.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvU2NvcGVUcmVlcy5qbA==) | `91.04% <90.00%> (-1.27%)` | :arrow_down: | | [src/models/ModelInterface.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9Nb2RlbEludGVyZmFjZS5qbA==) | `98.08% <100.00%> (+1.03%)` | :arrow_up: | | [src/stdlib/models/FinMatrices.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvRmluTWF0cmljZXMuamw=) | `100.00% <100.00%> (ø)` | | | [src/stdlib/models/Nothings.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvTm90aGluZ3Muamw=) | `100.00% <100.00%> (ø)` | | | [src/util/MetaUtils.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3V0aWwvTWV0YVV0aWxzLmps) | `98.66% <100.00%> (-1.34%)` | :arrow_down: | ... and [1 file with indirect coverage changes](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/92/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: Have feedback on the report? Share it here.