haskell - 反转效果顺序的应用仿函数

Question

给定一个应用仿函数 f ，我有一个想法要制作一个新的应用仿函数 Rev f喜欢 f但效果顺序颠倒了。这里是:

import Control.Applicative

newtype Rev f a = Rev {unRev :: f a}

instance Functor f => Functor (Rev f) where
  fmap f (Rev fx) = Rev (fmap f fx)

instance Applicative f => Applicative (Rev f) where
  pure x = Rev (pure x)
  (Rev ff) <*> (Rev fx) = Rev (pure (\x f -> f x) <*> fx <*> ff)

我的问题是

这是一个有效的Applicative实例(它是否遵守 Applicative 法律)？

这个建筑有名字吗？是否有一个模块隐藏在某个地方？

Answer 1

IRC 上的友好人士指出 Backwards transformers 提供的应用程序包裹。您可能还喜欢 (<**>) 标准库中可用的运算符。