Arrows in Haskell

Last updated Apr 23, 2024

Arrows ( strong promonads) are an abstraction used to capture notions of computation beyond the monadic ones. An arrow over a small category is a monoid in the category of profunctors that carry an internal strength, with the composition monoidal structure.

Tags: Strong promonad, Haskell References:

• Generalising Monads to Arrows (Hughes)
• Report on the Programming Language Haskell 98 (Peyton-Jones)
• Arrows, like Monads, are Monoids (Heunen, Jacobs)