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

Implement Maybe monad #4

Closed
5 tasks done
katunilya opened this issue Apr 14, 2022 · 0 comments · Fixed by #32
Closed
5 tasks done

Implement Maybe monad #4

katunilya opened this issue Apr 14, 2022 · 0 comments · Fixed by #32
Assignees
@katunilya
Labels
feature New functionality and improvements for old one

Comments

@katunilya
Copy link
Owner

katunilya commented Apr 14, 2022 •
edited
Loading

  • Maybe state
  • Wrapper around Some value (from Maybe)
  • Mock value for Nothing from (Maybe based on _Nothing singleton type)
  • Recovery function recover: V -> (Maybe[T] -> Maybe[T] | Maybe[V])
  • Choose function choose: (Maybe[T] -> Maybe[V]) list -> Maybe[V]
@katunilya katunilya added the feature New functionality and improvements for old one label Apr 14, 2022
@katunilya katunilya self-assigned this Apr 14, 2022
@katunilya katunilya added this to the v0.2.3 milestone Apr 19, 2022
katunilya added a commit that referenced this issue Apr 23, 2022
@katunilya
Add Maybe base impl (#4)
497b736 
* `Maybe` container
* `Some` container
* `_Nothing` singletone for empty value
* `Nothing` instance
* `bind` function
katunilya added a commit that referenced this issue Apr 23, 2022
@katunilya
Add tests for Maybe monad (#4)
7477860 
* `test_nothing_is_singleton`
* `test_bind` (including >> syntax)
katunilya added a commit that referenced this issue Apr 23, 2022
@katunilya
Upd commit template (#4)
72a9e40
katunilya added a commit that referenced this issue Apr 23, 2022
@katunilya
Add dedicated __rshift__ (#4)
310add5
katunilya added a commit that referenced this issue Apr 23, 2022
@katunilya
Add maybe.recover with tests (#4)
992bec2
@katunilya katunilya mentioned this issue Apr 23, 2022
Merged
katunilya added a commit that referenced this issue Apr 23, 2022
@katunilya
Add maybe.choose (#4)
d7b43b5
@katunilya katunilya pinned this issue Apr 23, 2022
katunilya added a commit that referenced this issue Apr 23, 2022
@katunilya
Replace use of Callable with MaybeFunc (#4)
6879445
katunilya added a commit that referenced this issue Apr 23, 2022
@katunilya
Add Maybe monad (#32)
8b00e99 
* Add Maybe base impl (#4)

* `Maybe` container
* `Some` container
* `_Nothing` singletone for empty value
* `Nothing` instance
* `bind` function

* Add tests for `Maybe` monad (#4)

* `test_nothing_is_singleton`
* `test_bind` (including >> syntax)

* Upd commit template (#4)

* Add dedicated __rshift__ (#4)

* Add `maybe.recover` with tests (#4)

* Add `maybe.choose` (#4)

* Replace use of Callable with MaybeFunc (#4)
@katunilya katunilya unpinned this issue Apr 23, 2022
@katunilya katunilya mentioned this issue Apr 23, 2022
Closed
katunilya added a commit that referenced this issue May 1, 2022
@katunilya
Add Maybe monad (#32)
9b48e12 
* Add Maybe base impl (#4)

* `Maybe` container
* `Some` container
* `_Nothing` singletone for empty value
* `Nothing` instance
* `bind` function

* Add tests for `Maybe` monad (#4)

* `test_nothing_is_singleton`
* `test_bind` (including >> syntax)

* Upd commit template (#4)

* Add dedicated __rshift__ (#4)

* Add `maybe.recover` with tests (#4)

* Add `maybe.choose` (#4)

* Replace use of Callable with MaybeFunc (#4)
katunilya pushed a commit that referenced this issue May 1, 2022
Merge branch '4-future-monad' into 'main'
bf2cba3 
Resolve "Future monad"

Closes #4

See merge request katunilya/mona!3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@katunilya katunilya

Labels
feature New functionality and improvements for old one
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add Maybe monad katunilya/moona
1 participant
@katunilya