Haskell 使用Hspec对IO操作进行单元测试

我发现了其他类似的问题，但在这个特定场景中没有任何问题能够回答我的问题。此外，在Haskell中，似乎很少有资源简要介绍单元测试IO操作的主题

假设我有一个用于数据库通信的typeclass：

data Something = Something String deriving Show

class MonadIO m => MonadDB m where
  getSomething :: String -> m Something
  getSomething s = do
    ... -- assume a DB call is made and an otherwise valid function

instance MonadDB IO 

使用它的这个函数：

getIt :: MonadDB m => m (Int, Something)
getIt = do
  s@(Something str) <- getSomething "hi"
  return (length str, s) -- excuse the contrived example

getIt:：MonadDB m=>m（Int，Something）
getIt=do
这对你有用吗

#!/usr/bin/env stack
-- stack exec --package transformers --package hspec -- ghci
import Control.Monad.IO.Class
import Control.Monad.Trans.Identity

import Data.Char
import Test.Hspec

data Something = Something String deriving (Eq, Show)

class MonadIO m => MonadDB m where
  getSomething :: String -> m Something
  getSomething s = return $ Something (map toUpper s)

instance MonadDB IO

instance MonadIO m => MonadDB (IdentityT m)

getIt :: MonadDB m => m (Int, Something)
getIt = do
  s@(Something str) <- getSomething "hi"
  return (length str, s)

main :: IO ()
main = hspec $ do
  describe "Some tests" $ do
    it "test getIt" $ do
      runIdentityT getIt `shouldReturn` (2, Something "HI")

    it "test getIt should fail" $ do
      runIdentityT getIt `shouldReturn` (1, Something "HI")

#/usr/bin/env堆栈
--stack exec--包转换器--包hspec--ghci
导入控制.Monad.IO.Class
导入控制.Monad.Trans.Identity
导入数据.Char
进口测试
数据某物=字符串派生的某物（Eq，Show）
类MonadIO m=>MonadDB m其中
getSomething:：String->m Something
getSomething s=返回$Something（映射到端口s）
实例MonadB IO
实例MonadIO m=>MonadDB（IdentityT m）
getIt:：MonadDB m=>m（Int，Something）
getIt=do
谢谢。您的测试将如何在HSpec规范中运行？更新了我的答案。
MonadDB
作为不同的包是否对编译器选择
IdentityT m
实例的能力有任何影响？我不这么认为。您遇到问题了吗？是的，代码在
管道中的另一个模块中，但我认为这无关紧要。我应该更新我的问题吗？这回答了你的问题吗？