graphted: Graph indexed monads.

[ bsd3, comonads, control, library, monads ] [ Propose Tags ]
Versions [RSS] 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.5.0, 0.2.5.1, 0.3.0.0, 0.3.1.0
Dependencies base (>=4.8 && <5), indexed [details]
License BSD-3-Clause
Copyright BSD3
Author Aaron Friel
Maintainer mayreply@aaronfriel.com
Category Control, Comonads, Monads
Home page https://github.com/aaronfriel/graphted#readme
Source repo head: git clone https://github.com/aaronfriel/graphted
Uploaded by AaronFriel at 2017-05-09T20:32:27Z
Distributions NixOS:0.3.1.0
Downloads 4343 total (15 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-0.3.1.0

[back to package description]

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)