rustpy 0.3.0

Bindings of Rust programming language primitives.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

from typing import (Any,
                    Callable)

from hypothesis import given

from rustpy.option import (None_,
                           Some)
from . import strategies


@given(strategies.nones, strategies.equatable_empty_factories,
       strategies.equatable_pure_maps)
def test_none(none: None_,
              factory: Callable[[], Any],
              map_: Callable[[Any], Any]) -> None:
    result = none.map_or_else(factory, map_)

    assert result == factory()


@given(strategies.equatable_somes, strategies.equatable_empty_factories,
       strategies.equatable_pure_maps)
def test_some(some: Some,
              factory: Callable[[], Any],
              map_: Callable[[Any], Any]) -> None:
    result = some.map_or_else(factory, map_)

    assert result == map_(some.unwrap())