graphted: Graph indexed monads.

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

Modules

[Last Documentation]

  • Control
    • Applicative
      • Control.Applicative.Graph
    • Control.Graphted
      • Control.Graphted.Class
    • Monad
      • Control.Monad.Graph
    • MonadFail
      • Control.MonadFail.Graph
    • MonadOr
      • Control.MonadOr.Graph
    • MonadPlus
      • Control.MonadPlus.Graph
    • MonadZero
      • Control.MonadZero.Graph
  • Data
    • Functor
      • Data.Functor.Graph
    • Data.GWrapped
    • Pointed
      • Data.Pointed.Graph
  • Prelude
    • Prelude.Graphted

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
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.7 && <5) [details]
License BSD-3-Clause
Copyright BSD3
Author Aaron Friel
Maintainer mayreply@aaronfriel.com
Category Web
Home page https://github.com/aaronfriel/graphted#readme
Source repo head: git clone https://github.com/aaronfriel/graphted
Uploaded by AaronFriel at 2017-05-03T18:18:00Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 4581 total (19 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-05-03 [all 3 reports]

Readme for graphted-0.1.0.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)