Не понял? Это же ровно то, что у меня в скасте и написано, или я не вижу в упор чего-то?

Приветствую уважаемые!

Имею вопрос-предположение и нескем обмозговать...

Делаю чтто-то вроде "попарсим значения всяких разных типы типобезопасно". Т.е. хочется, чтобы была ф-ция read[T](s: String): T которая парсит из строки значение типа T. Т.к. нужна типобезопасность, то добавляю имплиситный декодер: read[T](s: String)(implicit decoder: String => T): T ну и понятно, если декодер определен для T то все хорошо.

Теперь проблема кооторую я имею касается enumreatum енамов. Вот такой декодер я соорудить смог:

def decodeStringEnum[T <: StringEnumEntry: StringEnum](s: String): T =
    implicitly[StringEnum[T]].withValue(s)

Но не смог его (1) имплиситно прокинуть (2) использовать его не специфицируя T. Смог только вот так:
va

l theChoice = TheReader.read[Choice]("SECOND")(StringCodecs.decodeStringEnum[Choice])
// Choice - это enumeratum енам

Вот здесь сделал пример, для наглядности с Int и с енамом, Int - это то как хочется для енамов....
https://scastie.scala-lang.org/5lDY5EmNQ1OuJ43iJ1UiwA

И да, и нет. Но ничего, это придет позже. И твой вариант может работать https://scastie.scala-lang.org/rudogma/vcskAh1FSFiVa1UQZjw0UQ/2

Как отвязать декодер енамов от конретного типа енама - вот что не понятно.
trait завести - это я могу

1) имплиситно прокинуть можно вот так: implicit val decodeChoice: (String => Choice) = StringCodecs.decodeStringEnum[Choice], там же рядом с decodeInt
2) Не специфицировать Choice не получится - компилятор не может угадать, какой тип ты хотел получить в итоге. Указать придется либо у val либо при вызове метода
Но вообще Михаил прав - лучше сделать TheReader тайпклассом. У тебя написано не то же самое - ты определил свой read, который требует какую-то функцию, а не инстанс тайпкласса.

Зачем ты плохому учишь?

extends Enum не порождает какого-либо компаньона с имплиситом внутри. Т.е. тебе все равно для твоего инстанса надо в любом виде его явно определить самому

1) имплиситно прокинуть можно вот так: implicit val decodeChoice: (String => Choice) = StringCodecs.decodeStringEnum[Choice], там же рядом с decodeInt
2) Не специфицировать Choice не получится - компилятор не может угадать, какой тип ты хотел получить в итоге. Указать придется либо у val либо при вызове метода
Но вообще Михаил прав - лучше сделать TheReader тайпклассом. У тебя написано не то же самое - ты определил свой read, который требует какую-то функцию, а не инстанс тайпкласса.

Имплисным функциям вместо тайпкласса

Отдельный вопрос: почему лучше сделать reader тайпклассом. Я не спорю, но это не очевидно, чем это лучше? Но это не главный вопрос.... Я в принципе понимаю и так и так.

Т.е. мое опасение, что не специфицировать тип каждого енама не прокатит - это я правильно боялся?

Я не понял, что подразумевалось под "не специфицировать тип каждого енама".

Ну как бы нельзя сделать все енамы декодируемыми из строки одной - функцией. Представь, что у меня 30 енамов....