Luka Jacobowitz
Luka Jacobowitz
Sorry about the lack of depth on my last comment, was on mobile and on a train. We can create some `MonadErrorExtraOps` trait put the two functions there and then...
Possibly related to #3446
If you're using mtl and have `OptionT` somewhere in your stack, this would allow you to materialize the option :) E.g. something like `ReaderT[OptionT[IO, ?], R, A]`
Oh that'd odd, I was sure `OptionT` had an `Alternative` instance 🤔
I think this discussion is super interesting, I wonder if maybe we should move the `FunctorK` classes to cats-core at some point
Sorry for the accidental close
I think `Eval[A => Boolean]` would be even better (similar to what we did for `State`) as function composition isn't stack safe in general either
Just looking at the haskell type signatures this seems pretty neat and I've wanted a `Wedge` data type at some point. Do you have any cool usage examples for these?
Agreed! I was going to do another PR soon with docs for `mapDelay` and `mapK`, I can pick these up too, if no one else wants to :)
I could release this as is, but I'd rather wait for `cats-effect` 1.0, as the api is still changing quite a bit and I wouldn't want to release an outdated...