Struct Strict 

pub struct Strict<T>(pub T);

A host parameter that takes the Lua kind its Teal type names, and converts nothing.

mlua’s FromLua for i64 accepts a Lua string and coerces it ("10" arrives as 10), and its FromLua for String accepts a number and formats it. The .d.tl that #[host_module] writes says integer and string, and checked Teal cannot pass the other kind — but a value from past a cast or a load, which the checker did not see, can, and the host has no way to tell the two apart once mlua has converted. Strict<T> is the parameter type that keeps the runtime to the declaration: an integer is Value::Integer, or a Value::Number with no fraction (as math.tointeger reads it); a float is either number kind; bool is Value::Boolean; String is Value::String. Anything else is a conversion error naming what arrived — error converting Lua string to integer — the same shape mlua reports, so a caller reading errors sees one kind of message.

#[host_module(name = "api")]
impl Api {
    pub fn take(&self, n: Strict<i64>) -> i64 { *n }   // `take: function(self: api, n: integer): integer`
}

The declaration is the inner type’s — Strict<i64> is integer in the .d.tl — since it already said that; this only holds the runtime to it. Derefs to T, and goes back to Lua as T would, so a return type may be Strict<T> as well, though there it adds nothing.

The other two layers of the same question are the checker, which holds checked Teal, and Htl::strict_strings, which holds the program state where arithmetic on a string would otherwise convert.

Tuple Fields

0: T

Implementations

impl<T> Strict<T>

pub fn into_inner(self) -> T

The value, out of the wrapper.

Trait Implementations

impl<T: Clone> Clone for Strict<T>

fn clone(&self) -> Strict<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Copy> Copy for Strict<T>

impl<T: Debug> Debug for Strict<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for Strict<T>

fn default() -> Strict<T>

Returns the “default value” for a type.

impl<T> Deref for Strict<T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl<T> DerefMut for Strict<T>

fn deref_mut(&mut self) -> &mut T

Mutably dereferences the value.

impl<T: Eq> Eq for Strict<T>

impl<T> From<T> for Strict<T>

fn from(v: T) -> Self

Converts to this type from the input type.

impl<T: StrictKind> FromLua for Strict<T>

fn from_lua(value: Value, _lua: &Lua) -> Result<Self>

Performs the conversion.

impl<T: Hash> Hash for Strict<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: IntoLua> IntoLua for Strict<T>

fn into_lua(self, lua: &Lua) -> Result<Value>

Performs the conversion.

impl<T: Ord> Ord for Strict<T>

fn cmp(&self, other: &Strict<T>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

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

Restrict a value to a certain range.

impl<T: PartialEq> PartialEq for Strict<T>

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

Equality operator ==.

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

Inequality operator !=.

impl<T: PartialOrd> PartialOrd for Strict<T>

fn partial_cmp(&self, other: &Strict<T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T: PartialEq> StructuralPartialEq for Strict<T>