Luka Jacobowitz
Looking for some early feedback on this one. Let me know if you have any thoughts on code structure and the like. I removed the NumericCodec file since it looked...
https://search.maven.org/search?q=a:refined_2.13 I assume it's supposed to be `skunk-refined`? Should be as simple as adding `name := "skunk-refined"` to the module definition.
Should address #80 for now. StateIO uses a `Ref` to make state updates more performant. A simple benchmark included in this PR shows this so far: ``` [info] Benchmark Mode...
As many have said before, stacking multiple monad transformers can be quite inefficient, it'd be cool if we had some kind of story for supporting performant instances for different combination...
Right now, there's `AdditiveSemigroup` and `MultiplicativeSemigroup` which are then combined into `Semiring`. This is all well and good, but unfortunately there's a huge amount of code out there written on...
I think it'd be a very useful option to filter out all `libraryDependencies` and just show all the sbt subprojects/modules.
Analogous to the `collect` method on `FunctorFilter` we can define a `traverseCollect` method derived from `traverseFilter` using a `PartialFunction` like this: ```scala def traverseCollect[F[_]: TraverseFilter, G[_]: Applicative, A, B](fa: F[A],...
I'm trying to compile a thorough collection of everything currently documented and everything we still want to document. I'd also like to talk about a few other things other people...
This ties into #1935, but also #2400 and #1932. I think we could do a lot better with the `Alternative` hierarchy and the `Decidable` PR shows, it might need some...
```scala def attemptOption[A](fa: F[A]): F[Option[A]] = fa.map(_.some) Option.empty[A].pure[F] ```