sobolevn
sobolevn
I was not able to configure it to use `git pull` each time someone starts a new session. So, I am open to any suggestions about using any other platforms.
We have several quite large examples that live in our docs: 1. https://github.com/dry-python/returns/blob/master/docs/pages/future.rst#futureresult 2. `Number` example from: https://github.com/dry-python/returns/blob/master/docs/pages/contrib/hypothesis_plugins.rst#check_all_laws 3. https://github.com/dry-python/returns/blob/master/docs/pages/context.rst#requirescontextfutureresult-container What needs to be done? - We need to extract...
After #244 we now have `.from_iterable` constructor on every container. We should also add `to_iterable(container: Container[Sequence[T]]) -> Iterable[Container[T]]:` (where `Container` is just an alias, we should support types for all...
We can add `Lazy = () => A` protocol to `returns.primitives.types` This might be helpful when working with `IO` when someone want to slow things down. One should use `Protocol`...
For example, `.map` is just `return self.__class__(function(self._inner_value))` in many cases. There are also other methods that can be possibly have defaults. Or `.from_iterable` also is the same for every container....
It is similar to `Result`, but also has the third case: when we have both `Success` and `Failure`. Link: https://github.com/gcanti/fp-ts/blob/master/src/These.ts
We need this to wrap regular values into a monad. This might be required when you have a function like this: ```python @kinded def do_something(c: KindN[V, E, D], f: Callable[[V],...
- [ ] Describe our decision - [ ] Add a link to: https://github.com/jmesyou/functional-programming-jargon.py - [ ] Improve https://github.com/jmesyou/functional-programming-jargon.py with `returns` links and examples
This can be released as an independent library: https://github.com/ReactiveX/RxPY
Currently, they do return incorrect types: ```python reveal_type(IOResultE.from_value(int)) # => IOResult[int, Any] # Should be: # => IOResult[int, Exception] ``` To achieve what we want we might tweak the way...