грпц ужасное апи для любителей себя помучить

Не знаю чего там ужасного

ну, типы наверно

А что с ними не так?

А что с ними так?

а дубями можно токо секуел ранить? а чтото с jdbc конекшина потянуть?

кароч ето чисто dsl под "select *"

Option повсюду, и с дефолтными значениями боль: отправитель ничего не послал или послал дефолтное значение, на стороне поулчателя оба случая выглядят одинаково.

что scalaPB что scalaxb примерно одинаковую дичь генерят

можно попробовать Avro, но там тоже куча приключений с совместимостю схем, schema-registry и т.д.

Там хотя бы схема регистри есть

господа, возник вопрос по шаплесу и котам:

есть 2 сервиса, у каждого свой набор ошибок

type Service1Error = Forbidden :+: NotFound :+: CNil

и

type Service2Error = Forbidden :+: AlreadyDone :+: CNil

и есть их агрегация:

type DomainError = Service1Error :+: Service2Error :+: CNil

Сервису 1 нужен инстанс

MonadError[F, Service1Error]

, второму, соотвественно

MonadError[F, Service2Error]

Собственно хочется вывести инстансы MonadError из одного общего, я сделал это так:

implicit def narrowMonadError[Error <: Coproduct]
  (implicit basis: Basis[DomainError, Error]): MonadError[F, Error] = {
    new MonadError[F, Error] {
      import shapeless.Coproduct._
      override def pure[A](x: A): F[A] = ME.pure(x)
      override def raiseError[A](e: Error): F[A] = ME.raiseError(e.embed)
      // TODO
      override def handleErrorWith[A](fa: F[A])(f: Error => F[A]): F[A] = ???
      override def flatMap[A, B](fa: F[A])(f: A => F[B]): F[B] = ME.flatMap(fa)(f)
      override def tailRecM[A, B](a: A)(f: A => F[Either[A, B]]): F[B] = ME.tailRecM(a)(f)
    }
  }

Проблема заключается во вложенности Corpoduct'ов, при такой структуре, не выводится инстанс

Basis[DomainError, Error]

, чтобы скомпилилось приходится вручную делать flatten для общего типа ошибки:

type DomainErrorFlattended = Forbidden :+: AlreadyDone :+: NotFound :+: CNil

Собственно типов ошибок может быть куча, хотелось бы как-нибудь сделать flatten Coproduct'ов на типах, чтобы для

type DomainError = Service1Error :+: Service2Error :+: CNil

сам выводился

Basis[DomainError, Error]

есть идеи как это можно сделать?

Можно все, что угодно

выглядит так, что нужно вывести из

Basis[DomainError, Error]

Basis[DomainErrorFlattended, Error]

так ето чисто врапер под jdbc, если тебе чтото в кишках нужно doobie там не нужен

но у меня стойкое ощущение, что я изобретаю велоспед и это уже должно быть где-то в шаплесе реализовано

у меня не юзкейс создание конекшина екзекют и обработка resultset

Я не понимаю, что ты пишешь и в чем твой вопрос

ты из абстракций дуби не вытянешь все то что ты вытянешь из jdbc напрямую