Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update free monad tut for newer Free structure #804

Closed
ceedubs opened this issue Jan 14, 2016 · 1 comment · Fixed by #832
Closed

Update free monad tut for newer Free structure #804

ceedubs opened this issue Jan 14, 2016 · 1 comment · Fixed by #832
Assignees
@ceedubs
Labels
documentation in progress

Comments

@ceedubs
Copy link
Contributor

ceedubs commented Jan 14, 2016

The Cats Free monad has Coyoneda "built-in". This means that when using a custom ADT with Free and an interpreter, you don't need to create a Functor for your data type. This means that the ADT in our doc could be simplified, which would probably be better to do for an introductory doc.
@ceedubs ceedubs self-assigned this Jan 30, 2016
@ceedubs
Copy link
Contributor Author

ceedubs commented Jan 30, 2016

I started work on this.

ceedubs added a commit to ceedubs/cats that referenced this issue Jan 30, 2016
@ceedubs
Update free monad docs
fadfbc8 
This resolves typelevel#804.

I also updated the "pure" compiler to use `State`. It previously had
said that a pure compiler couldn't be written and used with `foldMap`,
but that's not really true if you use something like `State`. I think
this is probably a cleaner and more useful solution.
@ceedubs ceedubs mentioned this issue Jan 30, 2016
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ceedubs ceedubs

Labels
documentation in progress
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Update free monad docs ceedubs/cats
1 participant
@ceedubs