purescript-free icon indicating copy to clipboard operation
purescript-free copied to clipboard

Published 20 hours ago • verified publisher icon purescript

Adds recastCofree

Open mikesol opened this issue 4 years ago • 0 comments

Description of the change

Recast cofree is useful in cases where one wants to change the functor of a Cofree but the natural transformation f ~> g required in hoistCofree is too restrictive. This allows g to peek on the inside of f (Cofree f a).

Checklist:

  • [ ] Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")
  • [ ] Linked any existing issues or proposals that this pull request should close
  • [ ] Updated or added relevant documentation
  • [ ] Added a test for the contribution (if applicable)

mikesol avatar Sep 11 '21 18:09 mikesol