acide-State Test avec hspec

Question

je suis un noob et haskell ont des problèmes avec des fonctions de test avec de l'acide-states.This ist mon structure de données

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

et c'est la fonction que je veux tester:

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

Ceci est mon test:

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

Je ne sais pas comment modéliser mes valeurs attendues. UserState{ name = "Mike"} ne fonctionne pas

Answer 1

Je ne pense pas que vous pouvez accéder à l'état de la base de données sans l'interroger. Vous avez donc besoin d'ajouter une requête pour demander votre état de base de données, par exemple comme ceci:

getUserState :: Query UserState UserState 
getUserState = ask 

Ensuite, il est possible d'écrire un test comme celui-ci:

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"}