Struct proptest_arbitrary::bits::Bits

pub struct Bits<T: BitSetLike>(_);

Bits is a simple newtype for treating the generic type parameter T as a set of bits for the purposes of production of arbitrary values.

Methods

impl<T: BitSetLike> Bits<T>

fn new(t: T) -> Self

Wraps an integral type into Bits which views it as a bit pattern.

Trait Implementations

impl<T: Clone + BitSetLike> Clone for Bits<T>

fn clone(&self) -> Bits<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Copy + BitSetLike> Copy for Bits<T>

impl<T: PartialEq + BitSetLike> PartialEq for Bits<T>

fn eq(&self, __arg_0: &Bits<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Bits<T>) -> bool

This method tests for !=.

impl<T: Eq + BitSetLike> Eq for Bits<T>

impl<T: PartialOrd + BitSetLike> PartialOrd for Bits<T>

fn partial_cmp(&self, __arg_0: &Bits<T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, __arg_0: &Bits<T>) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, __arg_0: &Bits<T>) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, __arg_0: &Bits<T>) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, __arg_0: &Bits<T>) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T: Ord + BitSetLike> Ord for Bits<T>

fn cmp(&self, __arg_0: &Bits<T>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

impl<T: Hash + BitSetLike> Hash for Bits<T>

fn hash<__HT: Hasher>(&self, __arg_0: &mut __HT)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl<T: Debug + BitSetLike> Debug for Bits<T>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<T: BitSetLike> From<T> for Bits<T>

fn from(original: T) -> Bits<T>

Performs the conversion.

impl<T: BitSetLike + Not<Output = T>> Not for Bits<T>

type Output = Bits<T>

The resulting type after applying the ! operator.

fn not(self) -> Bits<T>

Performs the unary ! operation.

impl<T: BitSetLike + Neg<Output = T>> Neg for Bits<T>

type Output = Bits<T>

The resulting type after applying the - operator.

fn neg(self) -> Bits<T>

Performs the unary - operation.

impl<T: BitSetLike + BitAnd<Output = T>> BitAnd for Bits<T>

type Output = Bits<T>

The resulting type after applying the & operator.

fn bitand(self, rhs: Bits<T>) -> Bits<T>

Performs the & operation.

impl<T: BitSetLike + BitOr<Output = T>> BitOr for Bits<T>

type Output = Bits<T>

The resulting type after applying the | operator.

fn bitor(self, rhs: Bits<T>) -> Bits<T>

Performs the | operation.

impl<T: BitSetLike + BitXor<Output = T>> BitXor for Bits<T>

type Output = Bits<T>

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Bits<T>) -> Bits<T>

Performs the ^ operation.

impl<T: BitSetLike + Add<Output = T>> Add for Bits<T>

type Output = Bits<T>

The resulting type after applying the + operator.

fn add(self, rhs: Bits<T>) -> Bits<T>

Performs the + operation.

impl<T: BitSetLike + Sub<Output = T>> Sub for Bits<T>

type Output = Bits<T>

The resulting type after applying the - operator.

fn sub(self, rhs: Bits<T>) -> Bits<T>

Performs the - operation.

impl<T: BitSetLike + AddAssign> AddAssign for Bits<T>

fn add_assign(&mut self, rhs: Bits<T>)

Performs the += operation.

impl<T: BitSetLike + SubAssign> SubAssign for Bits<T>

fn sub_assign(&mut self, rhs: Bits<T>)

Performs the -= operation.

impl<T: BitSetLike, __RhsT> Mul<__RhsT> for Bits<T> where
    T: Mul<__RhsT, Output = T>, 

type Output = Bits<T>

The resulting type after applying the * operator.

fn mul(self, rhs: __RhsT) -> Bits<T>

Performs the * operation.

impl<T: BitSetLike, __RhsT> Div<__RhsT> for Bits<T> where
    T: Div<__RhsT, Output = T>, 

type Output = Bits<T>

The resulting type after applying the / operator.

fn div(self, rhs: __RhsT) -> Bits<T>

Performs the / operation.

impl<T: BitSetLike, __RhsT> Rem<__RhsT> for Bits<T> where
    T: Rem<__RhsT, Output = T>, 

type Output = Bits<T>

The resulting type after applying the % operator.

fn rem(self, rhs: __RhsT) -> Bits<T>

Performs the % operation.

impl<T: BitSetLike, __RhsT> Shr<__RhsT> for Bits<T> where
    T: Shr<__RhsT, Output = T>, 

type Output = Bits<T>

The resulting type after applying the >> operator.

fn shr(self, rhs: __RhsT) -> Bits<T>

Performs the >> operation.

impl<T: BitSetLike, __RhsT> Shl<__RhsT> for Bits<T> where
    T: Shl<__RhsT, Output = T>, 

type Output = Bits<T>

The resulting type after applying the << operator.

fn shl(self, rhs: __RhsT) -> Bits<T>

Performs the << operation.

impl<T: BitSetLike> Generic for Bits<T>

type Repr = HCons<T, HNil>

The generic representation type

fn into(self) -> Self::Repr

Go from something to Repr

fn from(r: Self::Repr) -> Self

Go from Repr to something

fn convert_from<A>(a: A) -> Self where
    A: Generic<Repr = Self::Repr>, 

From one type to another using a type with a compatible generic representation

impl<'a> Arbitrary<'a> for Bits<i8>

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = BitsParams<i8>

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = SMap<BitSetStrategy<i8>, FromMapper<ValueFor<BitSetStrategy<i8>>, Self>>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).

impl<'a> Arbitrary<'a> for Bits<i16>

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = BitsParams<i16>

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = SMap<BitSetStrategy<i16>, FromMapper<ValueFor<BitSetStrategy<i16>>, Self>>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).

impl<'a> Arbitrary<'a> for Bits<i32>

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = BitsParams<i32>

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = SMap<BitSetStrategy<i32>, FromMapper<ValueFor<BitSetStrategy<i32>>, Self>>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).

impl<'a> Arbitrary<'a> for Bits<i64>

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = BitsParams<i64>

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = SMap<BitSetStrategy<i64>, FromMapper<ValueFor<BitSetStrategy<i64>>, Self>>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).

impl<'a> Arbitrary<'a> for Bits<isize>

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = BitsParams<isize>

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = SMap<BitSetStrategy<isize>, FromMapper<ValueFor<BitSetStrategy<isize>>, Self>>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).

impl<'a> Arbitrary<'a> for Bits<u8>

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = BitsParams<u8>

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = SMap<BitSetStrategy<u8>, FromMapper<ValueFor<BitSetStrategy<u8>>, Self>>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).

impl<'a> Arbitrary<'a> for Bits<u16>

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = BitsParams<u16>

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = SMap<BitSetStrategy<u16>, FromMapper<ValueFor<BitSetStrategy<u16>>, Self>>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).

impl<'a> Arbitrary<'a> for Bits<u32>

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = BitsParams<u32>

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = SMap<BitSetStrategy<u32>, FromMapper<ValueFor<BitSetStrategy<u32>>, Self>>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).

impl<'a> Arbitrary<'a> for Bits<u64>

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = BitsParams<u64>

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = SMap<BitSetStrategy<u64>, FromMapper<ValueFor<BitSetStrategy<u64>>, Self>>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).

impl<'a> Arbitrary<'a> for Bits<usize>

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = BitsParams<usize>

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = SMap<BitSetStrategy<usize>, FromMapper<ValueFor<BitSetStrategy<usize>>, Self>>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).

impl<'a> Arbitrary<'a> for Bits<BitSet>

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = BitsParams<BitSet>

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = SMap<BitSetStrategy<BitSet>, FromMapper<ValueFor<BitSetStrategy<BitSet>>, Self>>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).