Skip to content

Grafting control flow graphs onto parameterized monads, functors, etc.

License

Notifications You must be signed in to change notification settings

AaronFriel/graphted

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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)

About

Grafting control flow graphs onto parameterized monads, functors, etc.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published