F

./gradlew build

@instance(Try::class)
interface TryMonoidInstance<A> : TrySemigroupInstance<A>, Monoid<Try<A>> {
  override fun empty(): Try<A> {
    return Failure(Throwable("What can I put here?"))
  }
}

@instance(Try::class)
interface TryMonoidInstance<A> : TrySemigroupInstance<A>, Monoid<Try<A>> {
  fun MO(): Monoid<A>

  override fun empty(): Try<A> {
    return Success(MO().empty())
  }
}

override fun SG(): Semigroup<R> = MO()

allProjects

Any

All