Haskell <;美元的翻页版本操作人员

Haskell <;美元的翻页版本操作人员,haskell,Haskell,当我遇到(a->fb->fa(Functor的一部分)时,我正在使用Parsec并试图以应用程序的风格编写它,利用Applicative和Functor提供的各种漂亮的中缀运算符 对于Parsec(或者我假设的任何具有应用程序实例的东西),这会生成类似purexb->fb的东西,这将允许我以更简洁的形式表达我的解析器x*>purey 我知道我总是可以自己定义$>,但是既然既有,而且双重/相反的/“翻转的东西”的概念在haskell中非常普遍,我认为它应该和一起放在标准库中,首先,一个小问题,你的

当我遇到
(a->fb->fa
(Functor的一部分)时,我正在使用Parsec并试图以应用程序的风格编写它,利用Applicative和Functor提供的各种漂亮的中缀运算符

对于Parsec(或者我假设的任何具有应用程序实例的东西),这会生成类似
purexb->fb
的东西,这将允许我以更简洁的形式表达我的解析器
x*>purey


我知道我总是可以自己定义
$>
,但是既然既有
,而且双重/相反的/“翻转的东西”的概念在haskell中非常普遍,我认为它应该和
一起放在标准库中,首先,一个小问题,你的意思是
Functor f=>fa->b->fb

其次,进入,键入所需的类型签名,然后


不过,我无法告诉您为什么它不在任何更常见的包中。它似乎是一个合理的候选,可以包含在更标准的位置中,例如
Control.Applicative

注意
x$>y
=
x*>pure y y
=
pure y感谢链接到FP Complete的Hoogle,我还没有意识到这一点,现在就要开始了回到haskell.org的hoogle,我注意到它只搜索haskell平台包,这就是为什么我没有在那里找到它。你可以给haskell.org的hoogle一些选项,让它搜索所有的黑客行为,但我永远记不起它是什么。我不知道他们为什么默认不启用它。
($>)
是在不久前发布的
base
。我们只需等待
base-4.7.0.0
发布即可。