Popularity
1.7
Declining
Activity
0.0
Stable
1
1
1

Monthly Downloads: 21
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Control     Monads     Comonads    

graphted alternatives and similar packages

Based on the "Control" category.
Alternatively, view graphted alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of graphted or a related project?

Add another 'Control' Package

README

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)