всем привет, а у elm есть тулы для форматирования, как например cargo fmt у раста?

ty

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

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

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.

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

Не скажет. Потому что возможных значений строки бесконечное количество

А "не строку" в HTML не вставить

NotFound не нужен, Maybe нужен

Maybe Route

сорян, это я в примере так написал, у меня там maybe route как раз

я думал ,может каким-то тестом можно прикрыться, но так и не придумал

Можно применить паттерн "reverse map" :)

🙄

Или использовать codogen, но его никто для elm еще нормального не придумал 😁

К Эльму адаптируется на раз

Суть: имея список значений Route и функцию "Route -> String" получаем "String -> Maybe Route"

Перебором по списку и сравнением полученных из элемента списка строк со входной строкой

Но в Эльме придется следить за списком значений. В Хаскеле-то есть класс Enum, он автоматически даёт перечень всех значений.

В таком стиле там для одного роута нужно правку делать в 10 местах. Это codegen или как поступили в elm spa роуты на js стороне