Сбор выходов IO в список

Question

Как я могу выдать несколько звонков на номер SDL.pollEvent :: IO Event до выхода SDL.NoEvent и собрать все результаты в список?

В императивных условиях что-то вроде этого:

events = [] 
event = SDL.pollEvent 
while (event != SDL.NoEvent) { 
     events.add(event) 
     event = SDL.pollEvent 
} 

Answer 1

Джеймс Кук был настолько любезен, чтобы расширить monad-loop с с помощью этой функции:

unfoldWhileM :: Monad m => (a -> Bool) -> m a -> m [a] 

используется с SDL:

events <- unfoldWhileM (/= SDL.NoEvent) SDL.pollEvent 

Answer 2

Вы можете использовать монадических списки:

import Control.Monad.ListT (ListT) 
import Control.Monad.Trans.Class (lift) -- transformers, not mtl 
import Data.List.Class (takeWhile, repeat, toList) 
import Prelude hiding (takeWhile, repeat) 

getEvents :: IO [Event] 
getEvents = 
    toList . takeWhile (/= NoEvent) $ do 
     repeat() 
     lift pollEvent :: ListT IO Event 

ListT из пакета "Список" на hackage.

Answer 3

Вы могли бы использовать что-то вроде:

 
takeWhileM :: (a -> Bool) -> IO a -> IO [a] 
takeWhileM p act = do 
    x <- act 
    if p x 
    then do 
     xs <- takeWhileM p act 
     return (x : xs) 
    else 
     return [] 

Вместо:

do 
    xs <- takeWhileM p act 
    return (x : xs) 

вы также можете использовать:

liftM (x:) (takeWhileM p act) получают:

 
takeWhileM :: (a -> Bool) -> IO a -> IO [a] 
takeWhileM p act = do 
    x <- act 
    if p x 
    then liftM (x:) (takeWhileM p act) 
    else return [] 

Затем вы можете использовать : takeWhileM (/=SDL.NoEvent) SDL.pollEvent

Answer 4

я в конце концов наткнулся на этот фрагмент кода в реальной игре SDL от hackage

getEvents :: IO Event -> [Event] -> IO [Event] 
getEvents pEvent es = do 
    e <- pEvent 
    let hasEvent = e /= NoEvent 
    if hasEvent 
    then getEvents pEvent (e:es) 
    else return (reverse es) 

спасибо за ваши ответы КСТАТИ!

Answer 5

Используя эти заглушки для Event и pollEvent

data Event = NoEvent | SomeEvent 
    deriving (Show,Eq) 

instance Random Event where 
    randomIO = randomRIO (0,1) >>= return . ([NoEvent,SomeEvent] !!) 

pollEvent :: IO Event 
pollEvent = randomIO 

и комбинатор, заимствованный и адаптированный an earlier answer, что останавливает оценку в первый раз предикат терпит неудачу

spanM :: (Monad m) => (a -> Bool) -> m a -> m [a] 
spanM p a = do 
    x <- a 
    if p x then do xs <- spanM p a 
       return (x:xs) 
     else return [x] 

позволяет эту GHCI сессию, пример:

*Main> spanM (/= NoEvent) pollEvent 
[SomeEvent,SomeEvent,NoEvent]