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

Maciej Marcin Piechotka uzytkownik2 at gmail.com
Sun Aug 1 10:25:20 EDT 2010


On 01/08/10 16:05, Felipe Lessa wrote:
> +1
> 
> What should be its fixity?
> 

I guess right:

\a b c -> a <.> b <.> c
  :: (Functor f) =>
     (a1 -> b) -> (a11 -> a1) -> (a -> f a11) -> a -> f b

As opposed to:

\a b c -> a <.> b <.> c
  :: (Functor f, Functor f1) =>
     (a1 -> b) -> (a11 -> f a1) -> (a -> f1 a11) -> a -> f1 (f b)

Regards

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 900 bytes
Desc: OpenPGP digital signature
Url : http://www.haskell.org/pipermail/libraries/attachments/20100801/73da2b22/signature.bin


More information about the Libraries mailing list