9

我试图了解简单的 snaplet 构造。另外，我什么时候需要制作一个 snaplet，什么时候需要一个简单的侧库？如果我确实需要一个，我该如何从图书馆里拿出来？

例如，我有一堆 DB 函数，我在其中包装我的 SQL 代码，如下所示。

data Person = Person {personName :: ByteString, personAge :: Int}

connect :: IO Connection
connect = connectSqlite3 "/somepath/db.sqlite3"

savePerson :: Person -> IO ()
savePerson p = do
c <- connect
run c "INSERT INTO persons (name, age) \
      \VALUES (?, ?)"
      [toSql (personName p), toSql (personAge p)]
commit c
disconnect c

每个函数都会启动一个新连接并在提交后关闭连接。我想制作一个 snaplet 是避免在每个功能中连接的方法？在我的处理程序中，我会这样使用它：

insertPerson :: Handler App App ()
insertPerson = do
  par <- getPostParams
  let p = top par
  liftIO $ savePerson p
where
  top m =
    Person {personName = head (m ! (B.pack "name"))
           ,personAge  = read (B.unpack (head (m ! (B.pack "age")))) :: Int
           }

到目前为止它有效。我的问题是/是：我什么时候真正需要将库变成 snaplet？我是否需要将我的简单数据库库变成一个 snaplet 来初始化连接而不是在每个函数中建立连接？

现在，如果我制作 snaplet ... 在 Snap 网站上有一个顶级 sanaplet 的小示例，但没有任何关于如何制作您自己的简单可插拔 snaplet 的痕迹。

所以我在我的数据库库中添加了 snaplet 初始化函数

dbInit :: SnapletInit b Connection
dbInit = makeSnaplet "DB" "My DB Snaplet" Nothing $ do
  dbc <- liftIO $ connectSqlite3 "/somepath/db.sqlite3"
  onUnload $ disconnect dbc
  return $ dbc

这是正确的做法吗？这就是我需要把它变成一个可插拔的 snaplet 的全部吗？

然后我将这个 DB snaplet 堆叠到主应用程序中

data App = App
  { _heist :: Snaplet (Heist App),
    _dbcon :: Snaplet (Connection)
  }

makeLens ''App

app :: SnapletInit App App
app = makeSnaplet "app" "My app" Nothing $ do
  h <- nestSnaplet "heist" heist $ heistInit "templates"
  d <- nestSnaplet "" dbcon dbInit
  addRoutes routes
  return $ App h d

现在，我获得的只是请求处理程序可用的连接，对吧？所以我的处理程序变成：

insertPerson :: Handler App App ()
insertPerson = do
  par <- getPostParams
  let person = top par
  connection <- gets _dbcon
  liftIO $ savePerson connection person
where
  top m =
    Person {personName = head (m ! (B.pack "name"))
           ,personAge  = read (B.unpack (head (m ! (B.pack "age")))) :: Int
           }

这似乎不起作用。我究竟做错了什么？这是从 snaplet 句柄 (dbcon) 中提取连接的正确方法吗？这通常是构建简单 snaplet 的正确方向吗？在我的情况下，我真的需要一个 snaplet 吗？

谢谢。

4

1 回答 1

4

Handler是MonadState:的一个实例MonadState v (Handler b v)。

Handler也是一个实例，MonadSnaplet因此提供了以下with方法：
with :: Lens v (Snaplet v') -> m b v' a -> m b v a

dbcon是一个Lens App (Snaplet Connection)。

所以要到达Connection我们可以使用：
conn <- with dbcon get

如果您提供每个人都可能受益的功能，您通常会创建一个 snaplet。在您的情况下，最好利用HDBC snaplet，您可以使用它来连接到 sqlite3 db。

查看http://norm2782.github.com/snaplet-hdbc.html以获得有关使用 HDBC snaplet 的好教程。

于 2012-03-30T04:06:06.797 回答