Sammeln von IO-Ausgaben in Liste

Question

Wie kann ich mehrere Anrufe an SDL.pollEvent :: IO Event bis die Ausgabe SDL.NoEvent Ausgabe und sammeln Sie alle Ergebnisse in eine Liste?

In Imperativ Begriffe etwas wie folgt aus:

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 aus der "Liste" -Paket auf Hackage:

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

Answer 1

James Cook war so freundlich monad-loop s mit dieser Funktion zu erweitern:

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

verwendet mit SDL:

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

Answer 2

Sie monadischen Listen verwenden können.

Answer 3

könnten Sie so etwas wie verwenden:

 
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 [] 

Statt:

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

Sie können auch verwenden:

liftM (x:) (takeWhileM p act) wodurch man

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

Dann können Sie verwenden : takeWhileM (/=SDL.NoEvent) SDL.pollEvent

Answer 4

i btw von 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) 

Dank für Ihre Antworten in einem aktuellen SDL Spiel über diesen Code-Schnipsel schließlich gestolpert!

Answer 5

Mit diesem Stubs für Event und pollEvent

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

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

pollEvent :: IO Event 
pollEvent = randomIO 

und einen Kombinator, entlehnt und von an earlier answer angepasst, die das erste Mal hört Auswertung das Prädikat

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] 

ermöglicht diese GHCI Sitzung fehlschlägt, für Beispiel:

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