30 Aug
2007
30 Aug
'07
4:26 p.m.
On Thu, 30 Aug 2007, Peter Verswyvelen wrote:
infixl 0 \> -- I just took the first weird symbol combination that came to mind, this does not mean anything (I hope ;-)
x \> fx = fx x
f x = x * scale \> \x -> x + transform \> \x -> g x
like this you don't have to invent new names, and you don't have to type much more.
I'm sure this silly sequencing operator must already exist in the library somewhere?
Sure, its name is (>>=). It must be used for the Identity monad, as mentioned by Derek Elkins earlier in this thread.