The graphted package

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

[Skip to Readme]

Properties

Versions 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 BSD3
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 Tue May 9 20:32:27 UTC 2017 by AaronFriel
Distributions NixOS:0.3.1.0
Downloads 1220 total (51 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-05-09 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


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:

  • [X] Pointed
  • [X] Functor
  • [X] Applicative
  • [ ] Alternative
    • TODO: Alternative vs MonadOr?
  • [X] Monad
  • [X] MonadFail
  • [X] MonadZero
  • [X] MonadOr
  • [X] 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)