graphted: Graph indexed monads.

[ bsd3, comonads, control, library, monads ] [ Propose Tags ]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,,,,,
Dependencies base (>=4.8 && <5), indexed [details]
License BSD-3-Clause
Copyright BSD3
Author Aaron Friel
Category Control, Comonads, Monads
Home page
Source repo head: git clone
Uploaded by AaronFriel at 2017-05-09T20:32:27Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 4606 total (18 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-05-09 [all 1 reports]

Readme for graphted-

[back to package description]


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)