Mario Román


Search IconIcon to open search

Arrows in Haskell

Last updated Jul 7, 2023

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: