README.md

graphted

Indexed type classes that track operations performed on them. The index parameter then models control flow.

Implements graph-indexed type classes for:

• Pointed
• Functor
• Applicative
• Alternative
  • TODO: Alternative vs MonadOr?
• Monad
• MonadFail
• MonadZero
• MonadOr
• MonadPlus

May implement in the future, or may not make sense.

(Essentially: category-extras.)

• Category
  • Kleisli
  • Cokleisli
• Arrow
  • ArrowZero
  • ArrowPlus
• Apply, Bind, Extend a la semigroupoids
• Copointed, Comonad
• Foldable (Foldable1)
• Traversable (Traversable1)
• Traversable (Traversable1)