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.

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

Removed nesting in project structure listing #1131

Merged
merged 2 commits into from
Jun 15, 2016
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions docs/src/main/tut/freemonad.md
Original file line number Diff line number Diff line change
Expand Up @@ -461,10 +461,10 @@ From a computational point of view, `Free` recursive structure can be
seen as a sequence of operations.

- `Pure` returns an `A` value and ends the entire computation.
- `Suspend` is a continuation; it suspends the current computation
with the suspension functor `F` (which can represent a command for
example) and hands control to the caller. `A` represents a value
bound to this computation.
- `Suspend` is a continuation; it suspends the current computation
with the suspension functor `F` (which can represent a command for
example) and hands control to the caller. `A` represents a value
bound to this computation.

Please note this `Free` construction has the interesting quality of
_encoding_ the recursion on the heap instead of the stack as classic
Expand Down
2 changes: 1 addition & 1 deletion docs/src/site/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,7 @@ In an attempt to be more modular, Cats is broken up into a number of sub-project
* *core* - contains type class definitions (e.g. Functor, Applicative, Monad), essential datatypes, and
type class instances for those datatypes and standard library types
* *laws* - laws for the type classes, used to validate type class instances
* *cats-free* - free structures such as the free monad, and supporting type classes.
* *cats-free* - free structures such as the free monad, and supporting type classes.
* *tests* - tests that check type class instances with laws from *laws*
* *docs* - The source for this website

Expand Down