What version are you currently using?

LATEST

What would you like to see?

When you are trying to review the first 2 levels of the Open ladder of functional programming using Kotlin and Arrow, I don´t find many examples in the documentation about the following topics:

• arrow.syntax.function.curried
• arrow.core.and

For example, we have no implicit on Bracket's companion for materializing a Bracket[OptionT[F, *], E] given a Bracket[F, E], which we 100% should have. Similarly for EitherT and a bunch of others. The only one present right now derives Kleisli, which is useful but we should have the others, too.

This has been a problem on a few other typeclasses as well. At the very least, Bracket n

I was trying to make a small change to the default example, and wanted to test that my change didn't break anything. The compilation error I see looks like it's an issue between Mercator and Either, my guess is because Either has two type parameters (for Left and Right) and Monad only has one (equivalent to Right), but I don't know enough to submit a PR to fix. Please let me know if there's any

It would be nice to have something like

def adaptError[A](fa: F[A])(pf: PartialFunction[E, E]): F[A]

in Handle typeclass

This can be done as in the
https://github.com/HoTT/HoTT

@Zimmi48 , does the coq-community has standard template for this?
It makes sense to role out this tools uniformly

Something like this

class Resource<A> {
  IO<A> acquire;
  Consumer1<A> release;

  Resource(IO<A> acquire, Consumer1<A> release) {
    this.acquire = acquire;
    this.release = release;
  }

  public <B> IO<B> use(Function1<A, IO<B>> use) {
    return IO.bracket(acquire, use, release);
  }
}

Hi Taine,

In one of your example, you have

@trait Addable{L, R} begin
    (+) :: [L, R] => Any
    (+) = Base.:+
end

I'd like to do something like this, but avoid the Any. I was thinking something like

@trait Addable{L, R, X} where {X = inferAddable(L,R)} begin
    (+) :: [L, R] => X
    (+) = Base.:+
end

But then I'm having trouble getting the `@i