我有一個具有6種不同類型實體的模式，但它們都有很多共同點。我想我可以在類型級別抽象出很多這種共同性，但是我碰到了HaskellDB和重疊實例的問題。這是我開始的代碼，它工作正常： import Database.HaskellDB
import Database.HaskellDB.DBLayout
data Revision a = Revision deriving Eq
data B
製作一個三元邏輯表，我想爲一個我稱之爲<=>的操作員創建自己的函數。 例如，我想這樣做，但那是不對的。什麼是正確的方法來做到這一點？ data Ternary = T | F | M
deriving (Eq, Show, Ord)
<=> :: Ternary -> Ternary -> Ternary
<=> T F = F
<=> T T = T
<=> T M = M
<=>
我不太清楚如何使用模塊Database.HaskellDB.HDBC.PostgreSQL中的postgresqlConnect函數連接到PostgreSQL數據庫。 The Haddock documentation page只規定類型簽名： postgresqlConnect :: MonadIO m => [(String, String)] -> (Database -> m a) ->
記錄的基本例如假設我有以下的（PostgreSQL的）表定義： CREATE TABLE books (
id serial NOT NULL,
title character varying NOT NULL,
PRIMARY KEY (id)
);
而下面的記錄定義： data Book =
{ id :: Int
, title ::