适用于将效果顺序颠倒的仿函数

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)

我的问题是

1. 这是一个有效的Applicative实例（它是否遵守Applicative法律）？
2. 这个结构有名字吗？ 这个模块隐藏在哪里？

Answer 1

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