Struct r1cs_file::FieldElement

pub struct FieldElement<const FS: usize>(_);

Implementations

impl<const FS: usize> FieldElement<FS>

pub fn as_bytes(&self) -> &[u8]

Methods from Deref<Target = [u8; FS]>

pub fn as_slice(&self) -> &[T]

🔬 This is a nightly-only experimental API. (array_methods)

Returns a slice containing the entire array. Equivalent to &s[..].

pub fn each_ref(&self) -> [&T; N]

🔬 This is a nightly-only experimental API. (array_methods)

Borrows each element and returns an array of references with the same size as self.

Example

#![feature(array_methods)]

let floats = [3.1, 2.7, -1.0];
let float_refs: [&f64; 3] = floats.each_ref();
assert_eq!(float_refs, [&3.1, &2.7, &-1.0]);

This method is particularly useful if combined with other methods, like map. This way, you can avoid moving the original array if its elements are not Copy.

#![feature(array_methods, array_map)]

let strings = ["Ferris".to_string(), "♥".to_string(), "Rust".to_string()];
let is_ascii = strings.each_ref().map(|s| s.is_ascii());
assert_eq!(is_ascii, [true, false, true]);

// We can still access the original array: it has not been moved.
assert_eq!(strings.len(), 3);

Trait Implementations

impl<const FS: usize> Debug for FieldElement<FS>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<const FS: usize> Deref for FieldElement<FS>

type Target = [u8; FS]

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<const FS: usize> From<[u8; FS]> for FieldElement<FS>

fn from(array: [u8; FS]) -> Self

Performs the conversion.

impl<const FS: usize> PartialEq<FieldElement<FS>> for FieldElement<FS>

fn eq(&self, other: &FieldElement<FS>) -> bool

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

fn ne(&self, other: &FieldElement<FS>) -> bool

This method tests for !=.

impl<const FS: usize> Eq for FieldElement<FS>

impl<const FS: usize> StructuralEq for FieldElement<FS>

impl<const FS: usize> StructuralPartialEq for FieldElement<FS>