Come faccio a uscire da un loop in Haskell?

Question

Il current version of the Pipes tutorial, utilizza le seguenti due funzioni in uno degli esempi:

stdout ::() -> Consumer String IO r 
stdout() = forever $ do 
    str <- request() 
    lift $ putStrLn str 

stdin ::() -> Producer String IO() 
stdin() = loop 
    where 
    loop = do 
     eof <- lift $ IO.hIsEOF IO.stdin 
     unless eof $ do 
      str <- lift getLine 
      respond str 
      loop 

Come mentinoed nel tutorial sé, P.stdin è un po 'più complicato a causa della necessità per verificare la fine dell'input .

Ci sono dei buoni modi per riscrivere P.stdin per non aver bisogno di un ciclo ricorsivo di coda manuale e utilizzare combinatori di flusso di controllo di ordine superiore come fa P.stdout? In un linguaggio imperativo userei un strutturata ciclo while o un'istruzione break per fare la stessa cosa:

while(not IO.isEOF(IO.stdin)){ 
    str <- getLine() 
    respond(str) 
} 

forever(){ 
    if(IO.isEOF(IO.stdin)){ break } 
    str <- getLine() 
    respond(str) 
} 

Answer 1

Sembra un lavoro per whileM_:

stdin() = whileM_ (lift . fmap not $ IO.hIsEOF IO.stdin) (lift getLine >>= respond) 

o, usando do-la notazione in modo simile a nell'esempio originale:

stdin() = 
    whileM_ (lift . fmap not $ IO.hIsEOF IO.stdin) $ do 
     str <- lift getLine 
     respond str 

il pacchetto monad-loops offre anche whileM che restituisce un elenco di risultati intermedi anziché Igno suonare i risultati dell'azione ripetuta e altri utili combinatori.

Answer 2

Poiché non c'è un flusso implicito non esiste una cosa come "pausa". Inoltre il tuo campione è già un piccolo blocco che verrà utilizzato in un codice più complicato.

Se si desidera interrompere "produrre stringhe", dovrebbe essere supportato dalla propria astrazione. Cioè alcune "managment" di "pipe" usando la monade speciale in Consumer e/o altre monadi relative a questa.

Answer 3

preferisco il seguente:

import Control.Monad 
import Control.Monad.Trans.Either 

loop :: (Monad m) => EitherT e m a -> m e 
loop = liftM (either id id) . runEitherT . forever 

-- I'd prefer 'break', but that's in the Prelude 
quit :: (Monad m) => e -> EitherT e m r 
quit = left 

Si utilizza in questo modo:

import Pipes 
import qualified System.IO as IO 

stdin ::() -> Producer String IO() 
stdin() = loop $ do 
    eof <- lift $ lift $ IO.hIsEOF IO.stdin 
    if eof 
    then quit() 
    else do 
     str <- lift $ lift getLine 
     lift $ respond str 

Vedi this blog post in cui spiego questa tecnica.

L'unica ragione per cui non lo uso nel tutorial è che lo considero meno adatto ai principianti.

Answer 4

si può semplicemente importazione System.exit, e utilizzare exitWith ExitSuccess

Eg. if (input == 'q') quindi exitWith ExitSuccess else print 5 (qualsiasi)