Piotr Paradziński
Piotr Paradziński
Implementation of [Distributive](https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Distributive.scala) looks like this: ```scala trait Distributive[F[_]] extends Functor[F] { self => def distribute[G[_]:Functor,A,B](fa: G[A])(f: A => F[B]): F[G[B]] def cosequence[G[_]:Functor,A](fa: G[F[A]]): F[G[A]] } ``` But in [Haskell](https://hackage.haskell.org/package/distributive-0.5.3/docs/Data-Distributive.html)...
Most awesome FP libraries ([Cats](https://typelevel.org/cats/), [Scalaz](https://scalaz.github.io/7/), [Monocle](http://julien-truffaut.github.io/Monocle/), [Algebird](https://twitter.github.io/algebird/) etc ) have microsite done by [sbt-microsites](https://github.com/47deg/sbt-microsites) Adding one for Shapeless would make it easier for newcomers. Quick, online reference on what...
# Observed incorrect behavior: ```scala class WrongError extends App { def foo: () => Map[String, Double] = () => Map( "age of star HD 140283" -> 14.46, "age of Universe"...
In zio-test there is [BoolAlgebra](https://github.com/zio/zio/blob/master/test/shared/src/main/scala/zio/test/BoolAlgebra.scala). It is a general-purpose abstraction that could live in `zio-prelude`. I believe other versions of abstractions from logic like Semilattice, Hayting algebra could end-up here...
Bicovariant type class should have laws defined using Laws support in zio-test.
Some type classes have defined laws in a non-standard way: - [ ] `IdentityCompose` - [ ] `AssociativeCompose`
- [x] define laws using regular functions (PR #293) - [x] add support for law testing for Divariant (PR https://github.com/zio/zio/pull/4220) - [ ] add laws testing for Function1 instances (require...
See: https://arrow-kt.io/docs/core/