Question

我有一个Elm应用程序，需要在Elm Platform 0.14.1上使用Http与服务器通信。应用程序需要在将请求发送到服务器之前验证其请求是否有效。

目前我正在使用函数makeRequest从模型中获取一些数据，并根据它生成Http.Request，并返回Http.get ""无效请求。这是一个黑客，我想用适当的错误处理替换它。

我所拥有的功能类型是：

makeRequest : List String -> Request String
Http.send : Signal (Request a) -> Signal (Response String)

我想在makeRequest中包含Result的结果，以便我可以正确处理错误。我还想包装Http.send以便它传播错误。

理想情况下，我想最终：

newMakeRequest : List String -> Result String (Request String)
newSend : Signal (Result String (Request a)) -> Signal (Result String (Response String))

构建newMakeRequest是微不足道的。但我不确定如何处理newSend或者甚至是否可能。

Answer 1

好的，所以你需要的只是newSend对吗？这是可能的：

newSend : Result x (Reponse a) -> Signal (Result x (Request a)) -> Signal (Result x (Response a))
newSend defaultResp s =
  let reqs =
        s |> Signal.keepIf isOk (Ok (Http.get ""))
          |> Signal.map unpackOk
      errs =
        s |> Signal.dropIf isOk defaultResp
          |> Signal.map errIdentity
  in Signal.merge errs (Signal.map Ok (Http.send reqs))

-- Change the type of an Err Result. 
errIdentity : Result x a -> Result x b
errIdentity =
  Result.map (Debug.crash "errIdentity: Don't call this function on an Ok!")

unpackOk : Result x a -> a
unpackOk =
  case res of
    Ok  a -> a
    Err x -> Debug.crash "unpackOk: Don't call this function on an Err!"

isOk : Result x a -> Bool
isOk res =
  case res of
    Ok  _ -> True
    Err _ -> False

我不确定你是否可以摆脱默认的响应。我对事件的排序有点担心。响应是异步的，因此当Err请求仍然未决时，您可以立即从输出信号的输入信号中获得Ok s。不知道如何解决这个问题。不确定这对你来说是否也有问题。

错误处理和信号

1 个答案: