Generalized Arrows

More fine grained Arrows

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.

This will need some compiler support if you like arrow syntax.

Overview

generated class diagram

Structure

• src:
  • GArrow.hs: where the classes are
    • Isomorphism.hs: x ←→ y
• test: all tests
• other directories: library specific functionality

To do

• document/adjust/invent laws
• read haddock documentation to fix documentation syntax
• test
  • invertible file access
  • serialization
  • laws