Haskell:运行两个单子(monad)，保留第一个的结果

Question

玩 Haskell，现在我尝试创建一个类似的函数

keepValue :: (Monad m) => m a -> (a -> m b) -> m a

具有以下语义:它应该将 monad 值应用于返回第二个 monad 的函数，并保留 结果的第一个单子(monad)，但 效果 第二个

在 Maybe 的情况下，我有一个工作功能单子(monad):

keepValueMaybe :: Maybe a -> (a -> Maybe b) -> Maybe a

keepValue ma f = case ma >>= f of
    Nothing -> Nothing
    Just _ -> ma

所以如果第一个值为 Nothing ，函数没有运行(所以没有第二个副作用)，但如果第一个值为 Just ，然后，函数运行(有副作用)。我保留 效果 第二次计算(例如 Nothing 使整个表达式 Nothing )，但原始值。

现在我想知道。它可以适用于任何单子(monad)吗？

它看起来有点内置 >> ，但我在标准库中找不到任何东西。

Answer 1

你可以定义:

passThrough f = (>>) <$> f <*> pure

然后代替

keepValue ma f

写

ma >>= passThrough f

然后读取一行并打印两次(比如说)将是

getLine >>= passThrough putStrLn >>= putStrLn