Crate miden_utils_indexing 

Type-safe u32-indexed vector utilities for Miden

This module provides utilities for working with u32-indexed vectors in a type-safe manner, including the IndexVec type and the CsrMatrix compressed sparse row storage.

Macros

newtype_id

Macro to create a newtyped ID that implements Idx.

Structs

CsrMatrix

Compressed Sparse Row matrix mapping row indices to variable-length data.

DenseIdMap

A dense mapping from ID to ID.

IndexVec

A dense vector indexed by ID types.

Enums

CsrValidationError

Errors that can occur during CSR validation.

IndexedVecError

Error returned when too many items are added to an IndexedVec.

Traits

Idx

A trait for u32-backed, 0-based IDs.

LookupByIdx

A trait for looking up values by ID.

LookupByKey

A trait for looking up values by key that doesn’t need to implement Idx.