| Stability | experimental |
|---|---|
| Maintainer | [email protected] |
Control.Applicative.Infix
Description
Useful functions for bracketing infix operators -- providing
essentially infix liftA2.
liftA2 (*) x y becomes x ^(*)^ y
- (↿) :: Functor f => f a -> (a -> b) -> f b
- (<^) :: Functor f => f a -> (a -> b) -> f b
- (↾) :: Applicative f => f (a -> b) -> f a -> f b
- (^>) :: Applicative f => f (a -> b) -> f a -> f b
Documentation
(↿) :: Functor f => f a -> (a -> b) -> f bSource
Renaming of flip fmap. Should be used in combination with (^>) to
give infix liftA2:
[1,2] ^(+)^ [2,3] == [3,4,4,5]
(↾) :: Applicative f => f (a -> b) -> f a -> f bSource
(^>) :: Applicative f => f (a -> b) -> f a -> f bSource