haskell - 有 "ApplicativeIO"类吗？

Question

在 Hackage 中是否有类似于 MonadIO 的类型类？但是对于 Applicative s, 可以轻松举起 IO对 "applicative composition stacks" 的操作基于 IO ?

如果存在这样的类型类，它会被 Applicative-Monad Proposal 的实现所淘汰吗？ ?该提案是否涉及对 Monad 的放宽？ MonadIO 的约束?

Answer 1

有a related discussion on haskell-cafe一年前。在 Reddit comments我给了an example从 IO 到另一个单子(monad)的自然变换 (g) 是一个应用仿函数态射(即满足 Gabriel Gonzalez 提到的定律)但不是单子(monad)态射(它不满足与 >>= 相关的附加定律) )。因此，即使在使用 AMP 的世界中，ApplicativeIO m和 MonadIO m是真正不同的东西，即使 m是 Monad !

在一个理想的世界里，你会有这样的设置:

class Functor f => FunctorIO f where
    liftIO :: IO a -> f a
    -- such that liftIO is a natural transformation (automatic, by parametricity)

class (Applicative f, FunctorIO f) => ApplicativeIO f where
    --   ... and liftIO is an applicative functor morphism

class (Monad f, ApplicativeIO f) => MonadIO f where
    --   ... and liftIO is a monad morphism

和魔法仙女会定义 ApplicativeIO和 MonadIO恰好满足相应定律时的实例。