#4189: Add (<.>) operator (generalizing (.) to Functor)
John Meacham
john at repetae.net
Sun Aug 1 16:49:07 EDT 2010
On Sun, Aug 01, 2010 at 09:15:33PM +0100, Stephen Tetley wrote:
> blackbirdA ?
>
> For the function instance of Applicative its the blackbird combinator,
> unless I made a miscalculation when rewriting the signature.
Then clearly we should use this as the operator.
> .--.
> ." o \__
> _.-" ,( `
> _.-" ,;;|
> _.-=" _," ,,;;;'
> .-"`_.-"``-..,,;;;;:'
> `"'` `\`\
> /^\\\
We will just have to tweak the layout rule a little to accept it..
John
--
John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/
More information about the Libraries
mailing list