@hackage graphted0.3.1.0

Graph indexed monads.

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)