榆木升降功能

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