Trait FromIndexKey 

pub trait FromIndexKey: Sized {
    // Required method
    fn from_index_key(k: &IndexKey) -> Self;
}

Typed projection of an IndexKey. Implementations panic when the key’s shape does not match the target type, the same contract as crate::indexed::IndexedVar indexing on a missing key.

Used by the indexed-family constraint! macro (and similar rule helpers) to give the closure typed indices directly:

constraint!(m, supply[(p, m) in &plants * &markets], {
    // p, m are native String, no manual unpack
    ...
});

Required Methods

fn from_index_key(k: &IndexKey) -> Self

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl FromIndexKey for String

fn from_index_key(k: &IndexKey) -> Self

impl FromIndexKey for i32

fn from_index_key(k: &IndexKey) -> Self

impl FromIndexKey for i64

fn from_index_key(k: &IndexKey) -> Self

impl FromIndexKey for usize

fn from_index_key(k: &IndexKey) -> Self

impl<A, B, C, D> FromIndexKey for (A, B, C, D)

where A: FromIndexKey, B: FromIndexKey, C: FromIndexKey, D: FromIndexKey,

fn from_index_key(k: &IndexKey) -> Self

impl<A, B, C> FromIndexKey for (A, B, C)

where A: FromIndexKey, B: FromIndexKey, C: FromIndexKey,

fn from_index_key(k: &IndexKey) -> Self

impl<A, B> FromIndexKey for (A, B)

where A: FromIndexKey, B: FromIndexKey,

fn from_index_key(k: &IndexKey) -> Self

Implementors

impl FromIndexKey for IndexKey