Implementation and proof that Set category is semiring with product and coproduct.
-
Updated
Dec 27, 2018 - Scala
Implementation and proof that Set category is semiring with product and coproduct.
Generic programming for Scala
Free Monad composition using Monad Coproducts from FreeK
Fast [co]product types with a clean syntax. For Cats & Scalaz.
Avro schema generation and serialization / deserialization for Scala
Add a description, image, and links to the coproduct topic page so that developers can more easily learn about it.
To associate your repository with the coproduct topic, visit your repo's landing page and select "manage topics."