list monad transformer

Question

Necesito usar un transformador de mónada de lista. He leído que hay problemas potenciales con ListT IO desde Control.Monad.List, ya que IO no es conmutativo, entonces estoy buscando ListT done right. Pero estoy teniendo un comportamiento inesperado.

considerar esta simple prueba:

test = runListT $ do 
    x <- liftList [1..3] 
    liftIO $ print x 
    y <- liftList [6..8] 
    liftIO $ print (x,y) 

Usando Control.Monad.List:

Main> test 
1 
(1,6) 
(1,7) 
(1,8) 
2 
(2,6) 
(2,7) 
(2,8) 
3 
(3,6) 
(3,7) 
(3,8) 
[(),(),(),(),(),(),(),(),()] 

El uso de "ListT hecho justo":

Main> test 
1 
(1,6) 

Es esto un problema " ListT hecho bien ", ¿o lo estoy usando mal? ¿Hay una alternativa preferida?

Gracias!

Answer 1

Esto podría ser intencional por parte del autor, ya que dicen

que permite a cada elemento de la lista tiene sus propios efectos secundarios, que sólo se les `excecuted' Si este elemento de la lista es realmente inspeccionado

No estoy seguro, sin embargo. De todos modos, puede utilizar esta función para secuenciar toda la lista :

runAll_ :: (Monad m) => ListT m a -> m() 
runAll_ (ListT m) = runAll_' m where 
    runAll_' m = do 
     mm <- m 
     case mm of 
      MNil   -> return() 
      _ `MCons` mxs -> runAll_' mxs 

Y un análogo runAll que devuelve una lista debe ser fácil de construir.

main = runAll_ $ do 
    x <- liftList [1..3] 
    liftIO $ print x 
    y <- liftList [6..8] 
    liftIO $ print (x,y) 

1 
(1,6) 
(1,7) 
(1,8) 
2 
(2,6) 
(2,7) 
(2,8) 
3 
(3,6) 
(3,7) 
(3,8)