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

Add Maybe Documentation #185

Merged
merged 2 commits into from
Jan 16, 2018
Merged

Add Maybe Documentation #185

merged 2 commits into from
Jan 16, 2018

Conversation

evilsoft
Copy link
Owner

@evilsoft evilsoft commented Jan 15, 2018

This is good...Maybe?

image

This PR adds the README documentation for the Maybe type and all of it's support functions. Also updated some issues with some of the siggys.

Once this is merged, there will follow another PR to move this into the documents.

This goes against this issue

@coveralls
Copy link

coveralls commented Jan 15, 2018

Coverage Status

Coverage remained the same at 100.0% when pulling 48c93e9 on maybe-docs into 0fc777f on master.


Maybe.of(add)
.ap(Just(29))
.ap(Nothing())

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

//=> Nothing

Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Addressed.

Copy link
Contributor

@rpearce rpearce left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Docs are pretty darn easy to read! I couldn't go through all of it, but I did notice a few grammar things (if you care) in the explanations.

conditions.

A `Maybe` represents disjunction by using (2) constructors, `Nothing` or `Just`.
A `Just` instance represents the truth case while, `Nothing` is considered
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

methinks you don't need a comma here


Used to construct a `Just` instance that represents the "true" portion of a
disjunction or a valid value. `Just` will wrap any given value in a `Just`,
which signals the validity of the wrapped value.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Another comma thing... how do either of these work for ya:

`Just` will wrap any given value in a `Just`, and this signals the validity of the wrapped value.

or

`Just` will wrap any given value in a `Just`, signalling the validity of the wrapped value.

Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I ❤️ the latter.

```

Used to wrap any value into a `Maybe` as a `Just`, `of` is used mostly by
helper functions that work "generically" with `Applicative` or `Monad` types
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

"types" should probs be "type" as "instances" covers the plurality?

Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually think we can 🔪 the word type altogether.

@coveralls
Copy link

coveralls commented Jan 15, 2018

Coverage Status

Coverage remained the same at 100.0% when pulling bd03d89 on maybe-docs into 0fc777f on master.

@evilsoft
Copy link
Owner Author

image

@evilsoft evilsoft merged commit c62aeb0 into master Jan 16, 2018
@evilsoft evilsoft deleted the maybe-docs branch January 16, 2018 23:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants