
12 Dec
2014
12 Dec
'14
2:51 a.m.
I obviously had my table too wide in the last message, here it is again: ------------------------------------------------------------------- | Function first | Op | Function second | Op ------------------------------------------------------------------------- Plain | (a -> b) -> a -> b | $ | a -> (a -> b) -> b | Fnctr | (a -> b) -> f a -> f b | <$> | f a -> (a -> b) -> f b | Applc | 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 | >>= -------------------------------------------------------------------------