purescript - 解决效果和可能

Question

spec = describe "Router" $ do

  let sampleRoutes = [( Tuple "/"  "views/index.yaml" ), 
                      ( Tuple "/foo" "views/foo.yaml" ), 
                      ( Tuple "/bar" "views/bar.yaml" )]

  it "should default to the first of the list" $ do
    r <- fst <$> head sampleRoutes
    fprint r

上面抛出以下错误:

Error in declaration spec
Cannot unify Data.Maybe.Maybe with Control.Monad.Eff.Eff u4505.

我相信它，因为它期望第二个参数是 Eff 类型的，但是因为head 引入的 Maybe 的使用，第二个参数最终变成了 Maybe 类型。

it :: forall e a. String -> Eff e a -> Eff (it :: It | e) Unit

问题是，我不知道如何解决这个问题。我不能有一个 Maybe 而不是一个有效的代码块吗？

Answer 1

Maybe可用于 do block ，但 block 中的所有操作都必须是 Maybe a 类型对于一些 a .

Eff eff 也是如此- 您可以使用 Eff eff与 do ，但所有操作都必须是 Eff eff a 类型对于一些 a .

您不能在 do 中混合和匹配这两种效果。堵塞。

您似乎想使用 Maybe a 类型的值在 do 内monad 为 Eff eff 的 block .您有两种选择:

• 使用 Data.Array.Unsafe.head这会给你一个未包装的Tuple ，您可以调用fst直接打开。

• Maybe 上的模式匹配Eff 中决定行动方案的值(value)单子(monad):

  it "should default to the first of the list" $ do
    case head sampleRoutes of
      Nothing -> ... -- Handle empty array
      Just tuple -> fprint (fst tuple) -- Print the first component
    .. rest of do block ..