/CHANGELOG

http://github.com/ekmett/category-extras · #! · 54 lines · 45 code · 9 blank · 0 comment · 0 complexity · 9a1137eb7ba6f5a2a3dd22566a516669 MD5 · raw file 

    

  1. 0.45.0
    2. 

  2. ------
    3. 

  3. * Removed workarounds for GHC 6.8
    4. 

  4. 

  5. 0.44.5
    6. 

  6. ------
    7. 

  7. 

  8. * Added Monad, Applicative, etc. and monad transformer instances to Control.Monad.Indexed.Cont and Control.Monad.Indexed.State
    9. 

  9. * Created Control.Monad.Indexed.Trans and Control.Monad.Indexed.Fix
    10. 

  10. * Added Instances for Kan Extensions
    11. 

  11. 

  12. 0.50.0
    13. 

  13. ------
    14. 

  14. * Moved back to type families
    15. 

  15. 

  16. 0.50.3
    17. 

  17. ------
    18. 

  18. * Renamed 'Alg' to 'Algebra', renamed AlgH to HAlgebra, etc. 
    19. 

  19. * Added Di- and Bi- algebras
    20. 

  20. * Added Janis Voigtlaender's asymptotic free monad improvements and their dual, but noted it just uses the right Kan extension
    21. 

  21.   of a monad.
    22. 

  22. * Added Elgot (Co)Algebras
    23. 

  23. 

  24. 0.50.4
    25. 

  25. ------
    26. 

  26. * Added the Yoneda lemma as a right Kan extension along the Identity monad
    27. 

  27. * Added limits and colimits and right and left Kan extensions
    28. 

  28. * Added adjunction composition and higher order adjunction composition
    29. 

  29. * Added adjunctions as Kan extensions in Control.Functor.Adjunction
    30. 

  30. * Lifted more monad instances into right Kan extensions
    31. 

  31. * Renamed (Co)freeLike to (Co)monad(Co)ideal
    32. 

  32. * Added a lot of HFunctor instances including much of the MTL.
    33. 

  33. 

  34. 0.51.2
    35. 

  35. ------
    36. 

  36. * Fixed support for 6.8
    37. 

  37. 

  38. 0.51.5
    39. 

  39. ------
    40. 

  40. * Added CoYoneda to Control.Functor.Yoneda
    41. 

  41. * Added Lambek's lemma (and its dual) in Control.Morphism.Cata (Control.Morphism.Ana)
    42. 

  42. * Added a Run(Co)Monad(Co)Free class to encapsulate cataFree (anaFree)
    43. 

  43. * Generalized dyna-, futu-, histo-, and chrono- morphisms to run over the appropriate kth left- and right- Kan extensions
    44. 

  44.   of their associated (co)free monads as well as the basic (co)free monad. This may permit asymptotic free monad
    45. 

  45.   improvement in some recursion schemes.
    46. 

  46. 

  47. 0.52.1 
    48. 

  48. ------
    49. 

  49. * Added Control.Category.Discrete to represent |Hask|
    50. 

  50. 

  51. 0.53.0
    52. 

  52. ------
    53. 

  53. * Added Fokkinga's prepro- and postpro- morphisms. Generalized them to allow them to be parameterized by (co)monads and 
    54. 

  54.   derived the corresponding methods for (zygo, para, futu, histo, etc.)-(pre|post)promorphisms.
    55.