#[repr(transparent)]
pub struct BitPos<M> where
    M: BitMemory
{ /* private fields */ }
Expand description

An electrical position of a single bit within a memory element M.

This type is used as the shift distance in the expression 1 << shamt. It is only produced by the translation of a semantic BitIdx<M> according to some BitOrder implementation using BitOrder::at. It can only be used for the construction of bit masks used to manipulate a register value during memory access, and serves no other purpose.

Type Parameters

  • M: The register type that values of this type govern.

Validity

Values of this type are required to be in the range 0 .. M::BITS. Any value outside this range will cause the program state to become invalid, and the library’s behavior is unspecified. The library will never produce such an invalid value, and users are required to do the same.

Construction

This type offers public unsafe constructors. bitvec does not offer any public APIs that take values of this type directly; it always routes through BitOrder implementations. As BitIdx will only be constructed from safe, correct, values, and BitOrder::at is the only BitIdx -> BitPos transform function, all constructed BitPos values are known to be memory-correct.

Implementations

Wraps a value as a known-good position within an M element.

Parameters
  • pos: An electrical position of a bit within an M element.
Returns

If pos is outside the valid range 0 .. M::BITS, this returns None; otherwise, it returns a BitPos wrapping the pos value.

Safety

This function must only be called within a BitOrder::at implementation which is verified to be correct.

Wraps a value as an assumed-good position within an M element.

Parameters
  • pos: An electrical position within an M element.
Returns

pos wrapped in a BitPos.

Safety

pos must be within the valid range 0 .. M::BITS. In debug builds, invalid pos values cause a panic; release builds do not check the input.

This function must only be called in a correct BitOrder::at implementation.

Constructs a one-hot selection mask from the position counter.

This is a well-typed 1 << pos.

Parameters
  • self
Returns

A one-hot mask for M selecting the bit specified by self.

Constructs an untyped bitmask from the position counter.

This removes the one-hot requirement from the selection mask.

Parameters
  • self
Returns

A mask for M selecting only the bit specified by self.

Views the internal position value.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Returns the “default value” for a type. Read more

Feeds this value into the given Hasher. Read more

Feeds a slice of this type into the given Hasher. Read more

This method returns an Ordering between self and other. Read more

Compares and returns the maximum of two values. Read more

Compares and returns the minimum of two values. Read more

Restrict a value to a certain interval. Read more

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

This method tests for !=.

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

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

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

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

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

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Converts self into a target type. Read more

Causes self to use its Binary implementation when Debug-formatted.

Causes self to use its Display implementation when Debug-formatted. Read more

Causes self to use its LowerExp implementation when Debug-formatted. Read more

Causes self to use its LowerHex implementation when Debug-formatted. Read more

Causes self to use its Octal implementation when Debug-formatted.

Causes self to use its Pointer implementation when Debug-formatted. Read more

Causes self to use its UpperExp implementation when Debug-formatted. Read more

Causes self to use its UpperHex implementation when Debug-formatted. Read more

Performs the conversion.

Performs the conversion.

Pipes a value into a function that cannot ordinarily be called in suffix position. Read more

Pipes a trait borrow into a function that cannot normally be called in suffix position. Read more

Pipes a trait mutable borrow into a function that cannot normally be called in suffix position. Read more

Pipes a trait borrow into a function that cannot normally be called in suffix position. Read more

Pipes a trait mutable borrow into a function that cannot normally be called in suffix position. Read more

Pipes a dereference into a function that cannot normally be called in suffix position. Read more

Pipes a mutable dereference into a function that cannot normally be called in suffix position. Read more

Pipes a reference into a function that cannot ordinarily be called in suffix position. Read more

Pipes a mutable reference into a function that cannot ordinarily be called in suffix position. Read more

Provides immutable access for inspection. Read more

Calls tap in debug builds, and does nothing in release builds.

Provides mutable access for modification. Read more

Calls tap_mut in debug builds, and does nothing in release builds.

Provides immutable access to the reference for inspection.

Calls tap_ref in debug builds, and does nothing in release builds.

Provides mutable access to the reference for modification.

Calls tap_ref_mut in debug builds, and does nothing in release builds.

Provides immutable access to the borrow for inspection. Read more

Calls tap_borrow in debug builds, and does nothing in release builds.

Provides mutable access to the borrow for modification.

Calls tap_borrow_mut in debug builds, and does nothing in release builds. Read more

Immutably dereferences self for inspection.

Calls tap_deref in debug builds, and does nothing in release builds.

Mutably dereferences self for modification.

Calls tap_deref_mut in debug builds, and does nothing in release builds. Read more

Attempts to convert self into a target type. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.