devuelve a >> = k == k a m >> = return == m m >> = (\ x -> kx >> = h) == (m >> = k) >> = h
mapM :: Monad m => (a -> mb) -> [a] -> m [b] Fuente
mapM f es equivalente a secuencia. mapa f.
mapM_ :: Mónada m => (a -> mb) -> [a] -> m () Fuente
mapM_ f es equivalente a la secuencia_. mapa f.
forM :: Monad m => [a] -> (a -> mb) -> m [b] Fuente
forM es mapM con sus argumentos volteados
forM_ :: Mónada m => [a] -> (a -> mb) -> m () Fuente
forM_ es mapM_ con sus argumentos volteados
secuencia :: Mónada m => [ma] -> m [a] Fuente
Evalúa cada acción en la secuencia de izquierda a derecha y recopila los resultados.
secuencia_ :: Mónada m => [ma] -> m () Fuente
Evalúa cada acción en la secuencia de izquierda a derecha e ignora los resultados.
(= < (a -> mb) -> ma -> m bSource
Igual que >> =, pero con los argumentos intercambiados.
(> =>) :: Mónada m => (a -> mb) -> (b -> mc) -> a -> m cSource
Kleisli de izquierda a derecha composición de mónadas.
(<= (b -> mc) -> (a -> mb) -> a -> m cSource
Kleisli de derecha a izquierda composición de mónadas. (> =>), con los argumentos volteados
siempre :: Mónada m => ma -> m bFuente
El acto por siempre repite la acción infinitamente.
void :: Functor f => fa -> f () Fuente
el valor nulo descarta o ignora el resultado de la evaluación, como el valor de retorno de una acción IO.