[Haskell-cafe] Missing `$` like operators in Haskell

Tony Morris tonymorris at gmail.com
Fri Dec 12 02:54:21 UTC 2014


Comonad :: (f a -> b) -> f a -> f b
Contravariant :: (b -> a) -> f a -> f b
Exponential :: (a -> b, b -> a) -> f a -> f b

On 12/12/14 12:47, Clinton Mead wrote:
> Below are the `$` like operators in Haskell (view in fixed width):
>
> ---------------------------------------------------------------------
>         | Function first           | Op   | Function second          | 
> Op   |
> -------------------------------------------------------------------------------
> | Plain   | (a -> b)   -> a   -> b   | $    | a -> (a -> b)   -> b   | 
>      |
> | Functor | (a -> b)   -> f a -> f b | <$>  | f a -> (a -> b)   -> f b 
> |      |
> | Applicat| f (a -> b) -> f a -> f b | <*>  | f a -> f (a -> b) -> f b 
> | <**> |
> | Monad   | (a -> m b) -> m a -> m b | =<<  | m a -> (a -> m b) -> m b 
> | >>=  |
> -------------------------------------------------------------------------------
>
> The "function second" forms I couldn't find for "plain" and "functor".
> What are the most common operators to used in these places?
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20141212/45579317/attachment.html>


More information about the Haskell-Cafe mailing list