Первый аргумент для Url.Parser.custom в Elm - PullRequest
Новая
       41

Первый аргумент для Url.Parser.custom в Elm

5 голосов
/ 20 марта 2019

Документы для Url.Parser.custom дают пример: 

int : Parser (Int -> a) a
int =
  custom "NUMBER" String.toInt

Но не указывайте, для чего используется "NUMBER".

Я проверил источник , и он, кажется, записывается как tipe, но никогда не использовался: 

custom : String -> (String -> Maybe a) -> Parser (a -> b) b
custom tipe stringToSomething =
  Parser <| \{ visited, unvisited, params, frag, value } ->
    case unvisited of
      [] ->
        []

      next :: rest ->
        case stringToSomething next of
          Just nextValue ->
            [ State (next :: visited) rest params frag (value nextValue) ]

          Nothing ->
            []

Итак:

  1. Какова цельtipe?
  2. Имеет значение, какое значение имеет?
...