Struct jlrs::value::type_var::TypeVar

#[repr(transparent)]pub struct TypeVar<'frame>(_, _);

This is a unknown, but possibly restricted, type parameter. In Array{T, N}, T and N are TypeVars.

Implementations

impl<'frame> TypeVar<'frame>

pub fn new<F, S>(
    frame: &mut F,
    name: S,
    lower_bound: Option<Value<'_, '_>>,
    upper_bound: Option<Value<'_, '_>>
) -> JlrsResult<Self> where
    F: Frame<'frame>,
    S: TemporarySymbol, 

Create a new TypeVar, the optional lower and upper bounds must be subtypes of Type, their default values are Union{} and Any respectively. This requires one slot on the GC stack.

pub fn name(self) -> Symbol<'frame>

The name of this TypeVar.

pub fn lower_bound(self) -> Value<'frame, 'static>

The lower bound of this TypeVar.

pub fn upper_bound(self) -> Value<'frame, 'static>

The upper bound of this TypeVar.

pub fn as_value(self) -> Value<'frame, 'static>

Convert self to a Value.

Trait Implementations

impl<'frame, 'data> Cast<'frame, 'data> for TypeVar<'frame>

type Output = Self

fn cast(value: Value<'frame, 'data>) -> JlrsResult<Self::Output>

unsafe fn cast_unchecked(value: Value<'frame, 'data>) -> Self::Output

impl<'frame> Clone for TypeVar<'frame>

fn clone(&self) -> TypeVar<'frame>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'frame> Copy for TypeVar<'frame>

impl<'frame> Eq for TypeVar<'frame>

impl<'frame> Hash for TypeVar<'frame>

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl<'frame> Into<Value<'frame, 'static>> for TypeVar<'frame>

fn into(self) -> Value<'frame, 'static>

Performs the conversion.

impl<'frame> JuliaType for TypeVar<'frame>

unsafe fn julia_type() -> *mut jl_datatype_t

impl<'frame> JuliaTypecheck for TypeVar<'frame>

unsafe fn julia_typecheck(t: DataType<'_>) -> bool

impl<'frame> PartialEq<TypeVar<'frame>> for TypeVar<'frame>

fn eq(&self, other: &TypeVar<'frame>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &TypeVar<'frame>) -> bool

This method tests for !=.

impl<'frame> StructuralEq for TypeVar<'frame>

impl<'frame> StructuralPartialEq for TypeVar<'frame>

impl<'frame> ValidLayout for TypeVar<'frame>

unsafe fn valid_layout(v: Value<'_, '_>) -> bool