Becoming a cat(s) person
summary
Adds a new bi-prod data type to Cats, implements ByFunctor, ByFoldable and ByTraverse instances, and wires law tests using ScalaCheck/discipline so instances compile and pass locally; uses the kind-projector plugin to partially apply binary type constructors and the Eval data type to allow short‑circuiting folds on potentially infinite structures. Pull request created at github.com/typelevel/cats/pull/906, compilation and tests run successfully, and serializability checks are included for Spark compatibility.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 1:03Understanding by-products
- 2:37Setting up the data type
- 5:12Defining type instances
- 8:07Implementing bi-functor
- 14:26Implementing bi-foldable
- 18:28Implementing bi-traverse
- 22:16Testing the implementation
- 31:47Q&A and concluding remarks
