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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe