My playground for Control.Arrow related stuff
root
- file
- src
- test
- CHANGELOG.md
- LICENSE
- README.md
- default.nix
- flake.lock
- flake.nix
- generalizedarrows.cabal
- mhs-derivation.nix
- mhs-release.nix
Generalized Arrows
This version of the library is where i try out use cases
This experimental haskell library provides generalized classes of Control.Arrow.
Have a look at Technical Report No. UCB/EECS-2014-130 Generalized Arrows by Adam Megacz Joseph.
Relevant may also be Compiling to Categories.
To do
- document/adjust/invent laws
- read haddock documentation to fix documentation syntax
- use it (e.g. invertible file access)