Struct FunArray

pub struct FunArray<const N: u64, T>(/* private fields */);

A fixed-size array wrapper with functional semantics and F* integration.

FunArray<N, T> represents an array of T values of length N, where N is a compile-time constant. Internally, it uses a fixed-length array of Option<T> with a maximum capacity of 512 elements. Unused elements beyond N are filled with None.

This type is integrated with F* through various #[hax_lib::fstar::replace] attributes to support formal verification workflows.

Implementations

impl FunArray<4, i64>

pub fn into_i32x8(self) -> i32x8

impl FunArray<8, i32>

pub fn into_i64x4(self) -> i64x4

impl<const N: u64, T> FunArray<N, T>

pub fn get(&self, i: u64) -> &T

Gets a reference to the element at index i.

pub fn from_fn<F: Fn(u64) -> T>(f: F) -> Self

Constructor for FunArray. FunArray<N,T>::from_fn constructs a funarray out of a function that takes usizes smaller than N and produces an element of type T.

pub fn as_vec(&self) -> Vec<T>

where T: Clone,

Converts the FunArray into a Vec<T>.

pub fn fold<A>(&self, init: A, f: fn(A, T) -> A) -> A

where T: Clone,

Folds over the array, accumulating a result.

Arguments

• init - The initial value of the accumulator.
• f - A function combining the accumulator and each element.

impl<T: Copy> FunArray<4, T>

pub fn pointwise(self) -> Self

impl<T: Copy> FunArray<8, T>

pub fn pointwise(self) -> Self

impl<T: Copy> FunArray<16, T>

pub fn pointwise(self) -> Self

Trait Implementations

impl<const N: u64, T: Clone> Clone for FunArray<N, T>

fn clone(&self) -> FunArray<N, T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const N: u64, T: Debug + Clone> Debug for FunArray<N, T>

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

Formats the value using the given formatter.

impl From<FunArray<4, i64>> for i32x8

fn from(vec: i64x4) -> Self

Converts to this type from the input type.

impl<const N: u64, T> Index<u64> for FunArray<N, T>

type Output = T

The returned type after indexing.

fn index(&self, index: u64) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<const N: u64, T: PartialEq> PartialEq for FunArray<N, T>

fn eq(&self, other: &FunArray<N, T>) -> bool

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

const 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<const N: u64, T: Clone> TryFrom<Vec<T>> for FunArray<N, T>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(v: Vec<T>) -> Result<Self, ()>

Performs the conversion.

impl<const N: u64, T: Copy> Copy for FunArray<N, T>

impl<const N: u64, T: Eq> Eq for FunArray<N, T>

impl<const N: u64, T> StructuralPartialEq for FunArray<N, T>