Laws for Bicovariant - Githubissues

zio / zio-prelude

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

https://zio.dev/zio-prelude

Apache License 2.0

452 stars 115 forks source link

Open lemastero opened 4 years ago

lemastero commented 4 years ago

Bicovariant type class should have laws defined using Laws support in zio-test.

mschuwalow commented 3 years ago

I'll look into this one