А, такое я использую
https://github.com/jamesmacaulay/elm-graphql
Это решает вопрос с запросами на клиент. И эта штука просто дает либу для запросов. Это как раз тот самый тупой кодоген

мы же так то про роуты изначально

мы про обратный парсинг

То, что тип называется Route, вообще ничего не значит

См. начало беседы

Привет, такой вопрос...

У меня есть тип:

type Route =
 Ra
 Rb
 Rc
 NotFound

Есть <select> тэг, который в <option> отрисовывает три опции. У option value - строковое значение (можно по другому?).

соответственно, получается селект:

<select>
 <option "string-ra">
 <option "string-rb">
 <option "string-rc">
</select>

Когда я кликаю на одно из значений, мне нужно превратить строковое значение в тип Route, для этого у меня есть декодер stringToRoute:

case optionValue of
 case "string-ra" ->
 ...
 case "string-rb" ->
 ...
 case "string-rc" ->
 ...
 _ ->
  NotFound
  приходится иметь дело с _ , так как декодируем строку

и тут я не могу решить такую проблему:
если я добавляю новое значение в Route , то разумеется мне бы хотелось, чтобы компилятор сказал: алло, ты забыл добавить его в select, и забыл декодировать его в stringToRoute.

можно ли это как-то решить?

Не значит в контексте вопроса. Но глобально это проблема у человека

Он говорит, что может забыть добавить case. Там таких мест для забыть десяток

Есть select на форме, нужно его смапить в тип. И иметь подпорку от компилятора в виде case exhaustiveness анализа

Я привёл способ, при котором можно забыть в одном месте

в остальных-то местах у меня case route of , поэтому компилятор подсказывает

только когда со строкой имею дело в селекте, вот тут молчание (логично)

Если код от real world app то там можно забыть еще в update так же

я там немного иначе сделал, не стал писать _ _

получилось больше символов) но лучше уж так, зато ругается если забыл

Я вообще не пойму, в чём проблема такое сделать один раз и спать спокойно?

Ох уж эти ваши "real world apps" мифические. Я не забываю, например %)

выглядит нарядно, буду пробовать, Спасибо

Соответственно, в select нужно класть toString