#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