<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>