<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Comonad :: (f a -> b) -> f a -> f b<br>
Contravariant :: (b -> a) -> f a -> f b<br>
Exponential :: (a -> b, b -> a) -> f a -> f b<br>
<br>
<div class="moz-cite-prefix">On 12/12/14 12:47, Clinton Mead wrote:<br>
</div>
<blockquote
cite="mid:CAFDVgwG3pYmov66SWfnH4Eox+jg38Es2++nc_Mg-GSuiTt0jSQ@mail.gmail.com"
type="cite">
<div dir="ltr"><font style="font-size:13px" face="courier new,
monospace">Below are the `$` like operators in Haskell (view
in fixed width):<br>
<br>
</font>
<div style="font-size:13px"><font face="courier new, monospace">
---------------------------------------------------------------------</font></div>
<div style="font-size:13px"><font face="courier new, monospace">
| Function first | Op | Function second
| Op |</font></div>
<div style="font-size:13px"><font face="courier new, monospace">-------------------------------------------------------------------------------</font></div>
<div style="font-size:13px"><font face="courier new, monospace">|
Plain | (a -> b) -> a -> b | $ | a
-> (a -> b) -> b | |</font></div>
<div style="font-size:13px"><font face="courier new, monospace">|
Functor | (a -> b) -> f a -> f b | <$> | f
a -> (a -> b) -> f b | |</font></div>
<div style="font-size:13px"><font face="courier new, monospace">|
Applicat| f (a -> b) -> f a -> f b | <*> | f
a -> f (a -> b) -> f b | <**> |</font></div>
<div style="font-size:13px"><font face="courier new, monospace">|
Monad | (a -> m b) -> m a -> m b | =<< | m
a -> (a -> m b) -> m b | >>= |</font></div>
<div style="font-size:13px"><font face="courier new, monospace">-------------------------------------------------------------------------------</font></div>
<div style="font-size:13px"><br>
</div>
<div style="font-size:13px"><font face="courier new, monospace">The
"function second" forms I couldn't find for "plain" and
"functor". </font></div>
<div style="font-size:13px"><font face="courier new, monospace">What
are the most common operators to used in these places?</font></div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Haskell-Cafe mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://www.haskell.org/mailman/listinfo/haskell-cafe">http://www.haskell.org/mailman/listinfo/haskell-cafe</a>
</pre>
</blockquote>
<br>
</body>
</html>