Тестирование Acid-State с hspec

Question

Я Haskell нуб и имеют проблемы с функциями тестирования с кислотно-states.This ист мой структура данных

data UserState = UserState { name :: String } 
    deriving (Eq, Ord, Read, Show, Data, Typeable) 

и это функция я хочу тест:

setName :: String -> Update UserState String     
setName n =  
    do c@UserState{..} <- get 
     let newName = n 
     put $ c { name = newName } 
     return newName 
$(makeAcidic ''UserState ['setName ]) 

Это мой тест:

spec :: Spec 
spec = do 
    describe "test" $ 
    it "test" $ do 
      setName "Mike" `shouldBe` UserState{ name = "Mike"} 

Я понятия не имею, как моделировать свои ожидаемые значения. UserState{ name = "Mike"} не работает

Answer 1

Я не думаю, что вы можете получить доступ к состоянию базы данных без запроса на него. Так что вам нужно добавить запрос, чтобы попросить вашего состояния базы данных, например, так:

getUserState :: Query UserState UserState 
getUserState = ask 

Тогда можно написать тест, как это:

withDatabaseConnection :: (AcidState UserState -> IO()) -> IO() 
withDatabaseConnection = 
    bracket (openLocalState UserState{name = "initial name"}) 
      closeAcidState 

spec :: Spec 
spec = do 
    around withDatabaseConnection $ do 
     describe "test" $ 
      it "test" $ \c -> do 
       _ <- update c (SetName "Mike") 
       userState <- query c GetUserState 
       userState `shouldBe` UserState{ name = "Mike"}