-
Notifications
You must be signed in to change notification settings - Fork 102
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
Add Documentation for Endo
#187
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@evilsoft you are doing a fantastic job with this documentation! 💯
src/Endo/README.md
Outdated
`Endo` is a `Monoid` that will combine (2) functions that have matching domains | ||
and codomains (endofunctions) under function composition. Due to the nature | ||
of `Endo` wrapping a function, the underlying value can either be extracted | ||
using [`valueOf`](#valueof) like any other `Monoid` or can be executed using |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
can be executed using directly using
should be can be executed directly using
src/Endo/README.md
Outdated
`empty` provides the identity for the `Monoid` in that when the value it | ||
provides is `concat`ed to any other value, it will return the other value. In | ||
the case of `Endo` the result of `empty` is the identity function, which echos | ||
it's input. `empty` is available on both the Constructor and the Instance for |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
should be its input
src/Endo/README.md
Outdated
Endo a ~> a -> a | ||
``` | ||
|
||
`Endo` wraps a function and as such, it's underlying endofunction can be run |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
should be its underlying endofunction
src/Endo/README.md
Outdated
``` | ||
|
||
`Endo` wraps a function and as such, it's underlying endofunction can be run | ||
while inside of an `Endo` by calling `runWith`. Providing a valid value of the |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
there are two spaces between value of the
Not just a bike trick anymore
This PR addresses adding the
Endo
documentation from this issue. Once this PR is merged, will do a follow up PR to move this over to the git pages documentation.