榆树升降功能

Question

我是榆树的新手。

根据该文件，

lift2 : (a -> b -> c) -> Signal a -> Signal b -> Signal c

Combine two signals with a given function.

我可以有办法做这样的事吗？

(a->b->c) -> Signal a -> b -> Signal c

唯一的方法是首先使用constant : a -> Signal a，然后使用lift2

只是好奇，如果可能，有没有办法快速让Signal a -> a？

Answer 1

您将无法使用签名Signal a -> a编写函数。

但是，应该可以写(a -> b -> c) -> Signal a -> b -> Signal c

这是你想要的吗？

foo : (a->b->c) -> Signal a -> b -> Signal c
foo f sa b = (flip f) b <~ sa