Stream: General

Topic: Function "on"


view this post on Zulip Lukas Stevens (Mar 23 2020 at 15:04):

Is the function that is called on in Haskell (https://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Function.html#v:on) defined somewhere in the distribution?

view this post on Zulip Manuel Eberl (Mar 23 2020 at 15:14):

I doubt it

view this post on Zulip Josh Chen (Mar 23 2020 at 15:29):

val on = fn f => fn u => uncurry f oo (apply2 u oo pair), but I don't think it's in the library either.

view this post on Zulip Lukas Stevens (Mar 23 2020 at 15:29):

Sorry, I meant in HOL ;)


Last updated: Mar 28 2024 at 20:16 UTC