Question

在这里,我试图让步的推论表明职能类型。虽然该法典汇编成册,但它在时间上还是失败。

Ambiguous type variables `b0 , `m0  in the constraint:
  (PersistBackend b0 m0) arising from a use of `isFree 
Probable fix: add a type signature that fixes these type variable(s)
In the expression: isFree testDay
In an equation for `it : it = isFree testDay

:t isFree

isfree * PersistBackend b m => C.Day -> b m Bool

>isFree day = do
   match <- selectList [TestStartDate ==. day,
                        TestStatus !=. Passed,
                        TestStatus !=. Failed] []
   if (L.null match) then (liftIO $ return True) else (liftIO $ return False)

Answer 1

这令人难堪。一方面,这一问题确实使我深入了解好魔.的深度。另一方面,我已经回答了这个问题。当你管理数据库行动时,将结果照样转行。

>isFree day = do
   match <- runDB $ selectList [TestStartDate ==. day,
                                TestStatus !=. Passed,
                                TestStatus !=. Failed] []
   if (L.null match) then (liftIO $ return True) else (liftIO $ return False)

Answer 2

缩略语告诉你,它不知道选择哪类词语来打<条码>b和<条码>。各位必须做的是,

isFree testDay :: Foo Bar Bool

在实际方案中,这些类型的变数通常在使用地点确定,因此,你很少必须具体说明哪类表述。因此,情况就消失了,因此,你常常不得不这样做。

与此无关的是,最后一条自由线最好有return$ L.nullcomp。

Answer 3

“虽然该守则汇编成册,但该守则在运行期间失败,即<>不大可能<>>>>,成为提供这种功能的一种错误。

“失败”的含义是什么?

友情链接