inject-function: Monadic functions with injected parameters.

[ control, gpl, library ] [ Propose Tags ]
Dependencies base (==4.6.*) [details]
License GPL-3.0-only
Author DimitriSabadie
Category Control
Home page
Uploaded by DimitriSabadie at Thu Sep 12 20:13:17 UTC 2013
Distributions NixOS:
Downloads 1752 total (15 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

An “inject function” is a regular monadic function (like a -> m b), but adds “injected parameters”. You can imagine such a function as an action taking parameters (the regular monadic function parameters) and vertical parameters. When you compose two compatible monadic functions (the regular way is through >=>), you can choose the types of the injected parameters so that, after some compositions, you have a total control of all the process.




Maintainer's Corner

For package maintainers and hackage trustees