toSql (database.HDBC)的使用

Question

我不知道如何使用来自database.HDBC的database.HDBC。

*Main> toSql "foobar"
SqlString "foobar"

在此之前，我觉得可以接受，我有一些SqlString类型的东西

现在，尝试一下往返旅行：

*Main> fromSql $ toSql "foobar"

<interactive>:4:1: error:
    * Non type-variable argument
        in the constraint: Data.Convertible.Base.Convertible SqlValue a
      (Use FlexibleContexts to permit this)
    * When checking the inferred type
        it :: forall a. Data.Convertible.Base.Convertible SqlValue a => a

好的，我根据这个线程FlexibleContexts打开Haskell : Use -XFlexibleContexts to permit this?

*Main> :set -XFlexibleContexts
*Main> fromSql $ toSql "foobar"

<interactive>:8:1: error:
    * No instance for (Data.Convertible.Base.Convertible SqlValue ())
        arising from a use of `it'
    * In the first argument of `print', namely `it'
      In a stmt of an interactive GHCi command: print it

不过，KO，我在这里了解到，无论往返创建什么类型，这个东西对打印来说都不是一个有效的论据。

我正在检查类型：

*Main> res = fromSql $ toSql "foobar"
*Main> :t res
res :: Data.Convertible.Base.Convertible SqlValue a => a

我迷路了..。我希望有一些像char或String的东西。

Answer 1

您只需要添加一个类型注释，就可以成功地完成打字机操作：

λ> fromSql $ toSql "foobar" :: String
"foobar"

如果您将其与更多的上下文代码一起使用，则如果可以推断注释，则可以跳过注释，例如：

λ> putStrLn $ fromSql $ toSql "foobar"
foobar

由于putStrLn具有String -> IO ()类型，因此将自动为您推断该类型。

试图给出一些关于为什么需要这样做的直觉：

toSql的类型是：

toSql :: Convertible a SqlValue => a -> SqlValue

注意，结果类型(SqlValue)没有任何参数说明它包含什么类型--它只是一个黑匣子，可以是字符串、数字等。

fromSql :: Convertible SqlValue a => SqlValue -> a

...we可以看到它接受这个黑匣子，并且必须从它返回一个特定类型的值。它不能将这种类型限制为String或Int，因为它必须能够根据黑匣子中的内容返回不同的类型，而黑匣子本身在编译时不显示任何关于它内部的信息，所以它不能利用这一点。

因此，它唯一可能的返回类型是一些a (服从约束Convertible SqlValue a)，因此您必须添加类型约束，以强制将其强制到打字机。