Utilizzare quando/se non salvare il risultato di un'azione monadica

Question

C'è un modo per scrivere questo senza la variabile x?

foo = do 
    x <- checker bar 
    when x dostuff 

sto immaginando qualcosa di simile a LambdaCase:

foo' = do 
    checker bar >>= \case 
    True -> dostuff 
    _ -> return() 

ma senza il secondo modello caso, ovviamente.

Answer 1

La risposta più semplice è quello di desugar il do a mano, e poi vedere se è possibile scrivere del codice che è equivalente ma più bella. I suoi do desugars a:

checker bar >>= \x -> when x dostuff 

Quindi, la risposta dovrà assomigliare checker bar >>= f, dove f è equivalente a

\x -> when x dostuff 

Beh, questo è un po 'come l'applicazione parzialmente when, giusto? Tranne che si desidera fornire il secondo argomento anziché il primo, quindi è necessario flip:

checker bar >>= flip when dostuff 

Answer 2

In Control.Monad.Extra, controllare whenM. Per il vostro esempio, che sarebbe:

foo = whenM (checker bar) doStuff 

Ecco un esempio più lungo, solo per mostrare come le dichiarazioni nel whenM struttura multipla.

foo = do 
    doStuff1 
    doStuff2 
    whenM (checker bar) $ do 
    doStuff3 
    doStuff4 
    doStuff5 
    doStuff6