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

opposite category model in stdlib #102

Closed kris-brown closed 11 months ago

kris-brown commented 11 months ago

An OpC model is a struct that wraps a category. Some tests of op(FinSetC) are provided.

Addresses https://github.com/AlgebraicJulia/GATlab.jl/issues/101

codecov[bot] commented 11 months ago

Codecov Report

Patch coverage: 100.00% and project coverage change: -0.25% :warning:

Comparison is base (83ac47c) 96.82% compared to head (18f8118) 96.57%.

:exclamation: Current head 18f8118 differs from pull request most recent head e3dae71. Consider uploading reports for the commit e3dae71 to get more accurate results

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #102 +/- ## ========================================== - Coverage 96.82% 96.57% -0.25% ========================================== Files 25 26 +1 Lines 1447 1345 -102 ========================================== - Hits 1401 1299 -102 Misses 46 46 ``` | [Files Changed](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/102?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/stdlib/models/module.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/102?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvbW9kdWxlLmps) | `100.00% <ø> (ø)` | | | [src/stdlib/models/FinSets.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/102?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvRmluU2V0cy5qbA==) | `92.85% <100.00%> (+0.54%)` | :arrow_up: | | [src/stdlib/models/Op.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/102?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvT3Auamw=) | `100.00% <100.00%> (ø)` | | ... and [9 files with indirect coverage changes](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/102/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.

olynch commented 11 months ago

Need to update this in light of #106