More Cats instances (for Chimney types, NOT Chimney instances for Cats data)

[MateuszKubuszok]

TODO:

• add Transformer laws' tests
• add PartialTransformer laws' tests
• add partial.Result laws' tests
• resplace individual toPartialResult extension methods with AsResult instances from partial.syntax
• add documentation
  • pay special attention to sequential vs parallel semantics

This is probably a breaking change:

• before partial.Result had only Applicative instance, which is now expanded to MonadError[partial.Result, partial.Result.Errors] & CoflatMap[partial.Result] & Traverse[partial.Result]
• Applicative extends among others Semigroupal - the old Applicative had a parallel semantics
• not that we expanded it to Monad and friends it has to be sequential (and monadic laws would check that most likely)
• Semigroupal relies on parallel semantics - we can create a separate instance with a higher implicit priority and thus achieve source compatibility (and this makes tests pass again)
• however the existing code compiled against applicativePartialResult implicit would have a changed behavior during eviction (one which fails fast and have less errors)
• so it would be a change in the runtime behavior, affecting existing users, although not very bad one (same values would fail/pass as before, no linking errors)
• nonetheless it would be safer to avoid merging this PR before next version is planned (e.g. 1.0.0-RC1)

[codecov]

Codecov Report

Attention: 2 lines in your changes are missing coverage. Please review.

Comparison is base (688c760) 85.42% compared to head (f2c7730) 85.77%.

Files	Patch %	Lines
...chimney/cats/CatsPartialTransformerImplicits.scala	97.33%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #443      +/-   ##
==========================================
+ Coverage   85.42%   85.77%   +0.34%     
==========================================
  Files         122      124       +2     
  Lines        5180     5342     +162     
  Branches      205      213       +8     
==========================================
+ Hits         4425     4582     +157     
- Misses        755      760       +5     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.