Haskell Language Esecuzione di un effetto collaterale per ciascun elemento di una struttura pieghevole


Esempio

traverse_ esegue un'azione Applicative per ogni elemento in una struttura Foldable . Ignora il risultato dell'azione, mantenendo solo gli effetti collaterali. (Per una versione che non scarta risultati, usa Traversable .)

-- using the Writer applicative functor (and the Sum monoid)
ghci> runWriter $ traverse_ (\x -> tell (Sum x)) [1,2,3]
((),Sum {getSum = 6})
-- using the IO applicative functor
ghci> traverse_ putStrLn (Right "traversing")
traversing
ghci> traverse_ putStrLn (Left False)
-- nothing printed

for_ is traverse_ con gli argomenti capovolti. Assomiglia a un ciclo di foreach in un linguaggio imperativo.

ghci> let greetings = ["Hello", "Bonjour", "Hola"]
ghci> :{
ghci|     for_ greetings $ \greeting -> do
ghci|         print (greeting ++ " Stack Overflow!")
ghci| :}
"Hello Stack Overflow!"
"Bonjour Stack Overflow!"
"Hola Stack Overflow!"

sequenceA_ collassa un Foldable pieno di azioni Applicative in una singola azione, ignorando il risultato.

ghci> let actions = [putStrLn "one", putStLn "two"]
ghci> sequenceA_ actions
one
two

traverse_ è definito come equivalente a:

traverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
traverse_ f = foldr (\x action -> f x *> action) (pure ())

sequenceA_ è definito come:

sequenceA_ :: (Foldable t, Applicative f) -> t (f a) -> f ()
sequenceA_ = traverse_ id

Inoltre, quando il Foldable è anche un Functor , traverse_ e sequenceA_ avere la seguente relazione:

traverse_ f = sequenceA_ . fmap f