Re: #4189: Add (<.>) operator (generalizing (.) to Functor)

1 Aug 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/