Trait jlrs::layout::typecheck::Typecheck[−][src]

pub unsafe trait Typecheck { }
Expand description

This trait is used in combination with Value::is and DataType::is to check if that property holds true.

Most types that implement this trait also implement Wrapper or Unbox, for these types the typecheck indicates whether or not it’s valid to cast the value to or unbox it as that type. This trait is automatically derived for wrappers generated with JlrsReflect.jl, in this case the typecheck performs a ValidLayout-check.

Implementations on Foreign Types

Implementors