Comment extraire une valeur d'une monade à Haskell?

Question

Existe-t-il un moyen de sortir des "choses" d'une monade?

Je développe un jeu, et j'essaie maintenant de comprendre les bases de données. J'ai trouvé happstack vraiment gentil, mais je ne peux pas obtenir la chose.

Par exemple, j'ai cette fonction (espérons que vous connaissez avec happstack)

getAllThings :: MonadIO m => m [Thing] 
getAllThings = do 
      elems <- query GetThings 
      return elems 

Alors je me m [Things], mais je ne peux pas l'utiliser dans mon modèle! Par exemple

doSomeThingWithThings :: [Thing] -> Something 

Je l'ai googlé et je n'ai rien trouvé.

Answer 1

Vous n'êtes pas censé quitter monade IO cette façon (sauf fonction unsafePerformIO), mais vous pouvez toujours utiliser votre fonction à l'intérieur:

process :: MonadIO m => m() 
process = do 
      elems <- getAllThings 
      let smth = doSomeThingWithThings elems 
      -- ... 

Answer 2

Après elems <- query GetThings les elems est [Thing] donc <- faire à l'intérieur est à obtenir choses hors de monade (appelé opération de liaison). La dernière déclaration return mettre les choses à l'intérieur d'une monade. Donc, soit vous pouvez vous appeler d'autres fonctions après avoir elems et avant return ou si jamais vous appelez getAllThings vous pouvez utiliser extraire la valeur à l'aide <- de la monade et le transmettre à votre fonction