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

from typing import Any

from hypothesis import given

from rustpy.option import (None_,
                           Some)
from rustpy.result import (Err,
                           Ok)
from . import strategies


@given(strategies.nones, strategies.equatable_values)
def test_none(none: None_, value: Any) -> None:
    result = none.ok_or(value)

    assert isinstance(result, Err)
    assert result.unwrap_err() is value


@given(strategies.equatable_somes, strategies.equatable_values)
def test_some(some: Some, value: Any) -> None:
    result = some.ok_or(value)

    assert isinstance(result, Ok)
    assert result.unwrap() is some.unwrap()