Enum RTypeCheck 

enum RTypeCheck {
    ScalarNumeric,
    ScalarNonNeg,
    Scalar(&'static str),
    VectorNumeric,
    Vector(&'static str),
    Nullable(Box<RTypeCheck>),
    List,
}

Classification of an R-side type check for a function parameter.

Each variant maps to a specific set of stopifnot() assertions. Numeric checks use a broad predicate (is.numeric || is.logical || is.raw) because R coerces logical to numeric freely and raw to integer is valid for byte-sized types. Borderline cases (e.g., raw to i64 in strict mode) pass the precondition and reach Rust’s strict checker, which produces better contextual error messages.

Variants

ScalarNumeric

Numeric scalar: type check + length-1 check (2 assertions). Used for i32, f64, f32, i8, i16, i64, isize.

ScalarNonNeg

Non-negative numeric scalar: type + length-1 + >= 0 (3 assertions). Used for u16, u32, u64, usize.

Scalar(&'static str)

Non-numeric scalar: is.<type>(x) + length-1 check (2 assertions). The string is the R type predicate name (e.g., "logical", "character").

VectorNumeric

Numeric vector: type check only, no length constraint (1 assertion).

Vector(&'static str)

Non-numeric vector: is.<type>(x) only (1 assertion). The string is the R type predicate name.

Nullable(Box<RTypeCheck>)

Nullable wrapper around an inner check: prepends is.null(x) || to each assertion and adjusts messages to mention NULL.

List

List check: is.list(x) (1 assertion). Used for HashMap, BTreeMap, NamedList, List, ListMut.

Implementations

impl RTypeCheck

fn assertions(&self, param: &str) -> Vec<RAssertion>

Produce the individual stopifnot() assertions for this type check.

Returns one or more RAssertion values, each representing a single "message" = condition entry in the stopifnot() call. The param argument is the R parameter name to use in messages and conditions.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 24 bytes

Size for each variant:

• ScalarNumeric: 0 bytes
• ScalarNonNeg: 0 bytes
• Scalar: 16 bytes
• VectorNumeric: 0 bytes
• Vector: 16 bytes
• Nullable: 8 bytes
• List: 0 bytes