Ondra Pelech
Ondra Pelech
_Difficulty: Easy, familiarity with the Type class design pattern is an advantage_ It would be nice to document the Type Class hierarchies we have in a visual way. Mermaid is...
_Difficulty: Advanced, requires familiarity with the concept of algebraic laws and testing them_ `Traversable` currently doesn't have any laws (only inherits those from `Covariant`). Figure out which laws should ZIO...
The law tests should more or less correspond to which instances are documented where in the documentation charts. Blocked on finishing the documentation charts https://github.com/zio/zio-prelude/issues/321 Related: Removing the redundant tests...
There's a new kid on the block: `Selective` functor, a sub-class of `Applicative` and super-class of `Monad` in the traditional hierarchy. It is special by having a method `select: f...
_Difficulty: advanced, experience with both ZIO Prelude and concurrent programming with ZIO is an advantage_ Please implement on `Traversable` methods with these signatures ```scala def collectFirst[G[+_]: AssociativeEither: Covariant: IdentityBoth, A,...
Could look something like this ```scala trait UnapplicationCompose[:=>[-_, +_]] extends EitherCompose[:=>] { type : ((A : (A :+: B)): (B : A def uncocurry[A, B, C](g: (B : A): C...
The typical naming scheme for ZIO Prelude Type Classes is `*Functionality`, where `*` is substituted by the property of the given _Functionality_. The properties could be _Associative_ or _Commutative_, etc....
_Difficulty: Intermediate, requires familiarity with ZIO_ Many of the methods that are currently on the `ZIO` trait, could be ported to `ZPure`. However, not all of them; those that are...
Analogous to https://github.com/zio/zio-prelude/issues/392 But it should be able to return `G[B]` straight, without wrapping it in an Option.