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
29
30
31
32
33
34
35
36
37

from contextlib import suppress
from typing import Tuple

from hypothesis import given

from rustpy.primitive import bool_
from tests.utils import (Integer,
                         equivalence)
from . import strategies


@given(strategies.signed_integers)
def test_basic(integer: Integer) -> None:
    result = integer.is_negative()

    assert isinstance(result, bool_)


@given(strategies.signed_integers_with_zeros)
def test_connection_with___neg__(
        integer_with_zero: Tuple[Integer, Integer]
) -> None:
    integer, zero = integer_with_zero

    with suppress(OverflowError):
        assert equivalence(integer.is_negative() == (-integer).is_negative(),
                           integer == zero)


@given(strategies.signed_integers_with_zeros)
def test_alternatives(
        integer_with_zero: Tuple[Integer, Integer]
) -> None:
    integer, zero = integer_with_zero

    assert equivalence(integer.is_negative(),
                       not integer.is_positive() and integer != zero)