typelevel / typelevel/cats

Fix documentation (or design) of Free Monad

Open Beginner friendly
#4,488 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Scala
Stars
5.5k
Forks
1.2k
Avg merge
2d 10h
Merged PRs (30d)
5

Description

Having played around with ScanamoOps I learnt that we cannot compare if two cats Free Monads are equal.

It seems it boils down to FlatMapped "case class" having a Function in it https://github.com/typelevel/cats/blob/main/free/src/main/scala/cats/free/Free.scala

That's fine, but the documentation says:

represent stateful computations as data, and run them

https://typelevel.org/cats/datatypes/freemonad.html

Please fix the documentation to say:

represent stateful computations as opaque function references, and run them

cc @stacycurl @davegurnell

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the Free Monad documentation at typelevel.org/cats/datatypes/freemonad.html and compare its description with the FlatMapped case class in free/src/main/scala/cats/free/Free.scala. Update the documentation so it accurately describes computations as opaque function references, then review the page for consistent wording.

Written by the indexing model from the issue text.

Assessment

Tech stack
scala
Domain
documentation
Issue type
Documentation
Difficulty
1/5
Estimated time
Under an hour
Activity status
Stale
Clarity
Clearly specified
Newbie friendliness
72/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.