cats icon indicating copy to clipboard operation
cats copied to clipboard
verified publisher icon typelevel

[WIP] introduce `Bireducible`

Open satorg opened this issue 2 years ago • 2 comments

Introduces Bireducible that complements Bifoldable from one side and Reducible from the other.

satorg avatar Jul 03 '23 01:07 satorg

This is a WIP PR, but feel free to leave any feedback or suggest changes please.

satorg avatar Jul 03 '23 01:07 satorg

Default implementations for Bireducible methods are extracted into the Bireducible companion object and re-used in BireducibleLaws as reference implementations.

satorg avatar Jul 05 '23 06:07 satorg