Documentation

Feed the output of second arrow into the output of the first arrow. Can be used to emulate Applicative * like usage:

foo :: Appplicative f => f a -> f b -> f (a, b)
(,) $ a * b

The arrow version is:

foo :: Arrow p => p x a -> p x b -> p x (a, b)
arr (const (,)) >*> a >*> b

precomposition with a pure value

postcomposition with a pure value

postcomposition with a pure value (right-to-left variant)

precomposition with a pure value (right-to-left variant)