Skip to content

changelog.md

Latest commit

 

History

History
executable file
·
28 lines (22 loc) · 1.05 KB

changelog.md

File metadata and controls

executable file
·
28 lines (22 loc) · 1.05 KB

Supermonads package changelog

0.2.0.1

  • Additional examples of supermonads and superapplicatives.
  • Reference the papers explaining supermonads and -applicatves in the readme.

0.2.0

  • Introduced super-applicatives through the Applicative class. This is a natural broadening of our approach.
  • Renamed the constrained CFunctor to Functor so it can act as a drop in replacement for the standard functor type class.
  • Introduced support for superarrows through the ArrowArr, ArrowSequence, ArrowSelect and ArrowCombine type classes.
    • Added ebba examples that uses superarrows.
  • Restructure modules to put common plugin code into a module that is not associated with supermonad or superarrows specifically. The old modules are still provided so that people coming from the paper can still rely on those instructions.
  • Fixed effect monad examples by using the new version of the effect-monad package that supports GHC 8+.
  • Generalized and fixed issue with the constrained WrappedMonad instances.

0.1

  • Initial release.