Mario Román

Search

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.

arrows-in-haskell

Tags: Strong promonad, Haskell References: