Struct MinaBaseZkappStateValueStableV1

pub struct MinaBaseZkappStateValueStableV1(pub PaddedSeq<BigInt, 8>);

OCaml name: Mina_base__Zkapp_state.Value.Stable.V1

Gid: 770 Location: src/lib/mina_base/zkapp_state.ml:46:6

Gid: 769 Location: src/lib/mina_base/zkapp_state.ml:17:6 Args: crate :: bigint :: BigInt

Tuple Fields

0: PaddedSeq<BigInt, 8>

Methods from Deref<Target = [T; N]>

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

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

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

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

Example

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.

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);

pub fn split_array_ref<const M: usize>(&self) -> (&[T; M], &[T])

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

Divides one array reference into two at an index.

The first will contain all indices from [0, M) (excluding the index M itself) and the second will contain all indices from [M, N) (excluding the index N itself).

Panics

Panics if M > N.

Examples

#![feature(split_array)]

let v = [1, 2, 3, 4, 5, 6];

{
   let (left, right) = v.split_array_ref::<0>();
   assert_eq!(left, &[]);
   assert_eq!(right, &[1, 2, 3, 4, 5, 6]);
}

{
    let (left, right) = v.split_array_ref::<2>();
    assert_eq!(left, &[1, 2]);
    assert_eq!(right, &[3, 4, 5, 6]);
}

{
    let (left, right) = v.split_array_ref::<6>();
    assert_eq!(left, &[1, 2, 3, 4, 5, 6]);
    assert_eq!(right, &[]);
}

pub fn rsplit_array_ref<const M: usize>(&self) -> (&[T], &[T; M])

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

Divides one array reference into two at an index from the end.

The first will contain all indices from [0, N - M) (excluding the index N - M itself) and the second will contain all indices from [N - M, N) (excluding the index N itself).

Panics

Panics if M > N.

Examples

#![feature(split_array)]

let v = [1, 2, 3, 4, 5, 6];

{
   let (left, right) = v.rsplit_array_ref::<0>();
   assert_eq!(left, &[1, 2, 3, 4, 5, 6]);
   assert_eq!(right, &[]);
}

{
    let (left, right) = v.rsplit_array_ref::<2>();
    assert_eq!(left, &[1, 2, 3, 4]);
    assert_eq!(right, &[5, 6]);
}

{
    let (left, right) = v.rsplit_array_ref::<6>();
    assert_eq!(left, &[]);
    assert_eq!(right, &[1, 2, 3, 4, 5, 6]);
}

Trait Implementations

impl BinProtRead for MinaBaseZkappStateValueStableV1

fn binprot_read<__BinProtR: Read + ?Sized>( __binprot_r: &mut __BinProtR, ) -> Result<Self, Error>

impl BinProtWrite for MinaBaseZkappStateValueStableV1

fn binprot_write<__BinProtW: Write>( &self, __binprot_w: &mut __BinProtW, ) -> Result<()>

impl Clone for MinaBaseZkappStateValueStableV1

fn clone(&self) -> MinaBaseZkappStateValueStableV1

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MinaBaseZkappStateValueStableV1

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

Formats the value using the given formatter.

impl Default for MinaBaseZkappStateValueStableV1

fn default() -> MinaBaseZkappStateValueStableV1

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for MinaBaseZkappStateValueStableV1

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for MinaBaseZkappStateValueStableV1

fn eq(&self, other: &MinaBaseZkappStateValueStableV1) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for MinaBaseZkappStateValueStableV1

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Deref for MinaBaseZkappStateValueStableV1

type Target = PaddedSeq<BigInt, 8>

The resulting type after dereferencing.

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

Dereferences the value.

impl StructuralPartialEq for MinaBaseZkappStateValueStableV1