<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>You'd generalise it to:</p>
<p>fmap . fmap :: (Functor f, Functor g) => (a -> b) -> f
(g a) -> f (g b)</p>
<p>And then, would you do the same for Traversable, Foldable and
Applicative?</p>
<br>
<div class="moz-cite-prefix">On 18/08/16 03:43, Alex Belanger wrote:<br>
</div>
<blockquote
cite="mid:CADSky2xy7-rs9=jjf3DHSyESwnvWTXT0QF7kf5PB=dPsq1s3Rg@mail.gmail.com"
type="cite">
<div dir="ltr">Hi,
<div><br>
</div>
<div>Some of you might be familiar with (.:) = (.) . (.).</div>
<div><br>
</div>
<div>It has type :: (c -> d) -> (a -> b -> c) ->
a -> b -> d</div>
<div><br>
</div>
<div>It allows the composition of two functions, the first one,
accepting one operand, and the second, two operands.</div>
<div><br>
</div>
<div>This appears to be a very common pattern, referenced a bit
everywhere, almost always defined on lambdabot and found in
multiple codebases in the wild.</div>
<div><br>
</div>
<div>I'd like the know the general sentiment about this
operator, as well as how its inclusion in base, probably
Data.Function, would be perceived before I actually try to
make it happen.</div>
<div><br>
</div>
<div>Cheers,</div>
<div>Alex (nitrix).</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
</blockquote>
<br>
</body>
</html>