Consistent API for functorality and naturality testing

AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language

https://www.algebraicjulia.org

MIT License

614 stars 58 forks source link

Consistent API for functorality and naturality testing #773

Closed epatters closed 1 year ago

epatters commented 1 year ago

Following #762, naturality and functorality testing have completely different APIs: the former uses a keyword argument return_failures and the latter has separate function functorality_failures.

As a minor breaking change in the v0.15 release, I'd like to make this consistent by having:

is_natural and naturality_failures
is_functorial and functorality_failures

epatters commented 1 year ago

This has basically already been accomplished by previous PRs, but I made a few last changes in #799.