Trait jlrs::layout::julia_typecheck::JuliaTypecheck

pub unsafe trait JuliaTypecheck { }

This trait is used in combination with Value::is and DataType::is; types that implement this trait can be used to check many properties of a Julia DataType.

This trait is implemented for a few types that implement JuliaType, eg String, Array, and u8. In these cases, if the check returns true the value can be successfully cast to that type with Value::cast.

Implementations on Foreign Types

impl JuliaTypecheck for i8

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

impl JuliaTypecheck for i16

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

impl JuliaTypecheck for i32

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

impl JuliaTypecheck for i64

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

impl JuliaTypecheck for isize

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

impl JuliaTypecheck for u8

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

impl JuliaTypecheck for u16

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

impl JuliaTypecheck for u32

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

impl JuliaTypecheck for u64

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

impl JuliaTypecheck for usize

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

impl JuliaTypecheck for f32

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

impl JuliaTypecheck for f64

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

impl JuliaTypecheck for bool

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

impl JuliaTypecheck for char

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

impl JuliaTypecheck for *mut c_void

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

impl JuliaTypecheck for String

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

Loading content...

Implementors

impl JuliaTypecheck for Any

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

impl JuliaTypecheck for CodeInfo

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

impl JuliaTypecheck for Concrete

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

impl JuliaTypecheck for GlobalRef

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

impl JuliaTypecheck for GotoNode

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

impl JuliaTypecheck for Immutable

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

impl JuliaTypecheck for ImmutableDatatype

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

impl JuliaTypecheck for Intrinsic

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

impl JuliaTypecheck for LineNode

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

impl JuliaTypecheck for Mutable

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

impl JuliaTypecheck for MutableDatatype

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

impl JuliaTypecheck for NamedTuple

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

impl JuliaTypecheck for NewVarNode

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

impl JuliaTypecheck for PhiCNode

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

impl JuliaTypecheck for PhiNode

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

impl JuliaTypecheck for PiNode

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

impl JuliaTypecheck for Pointer

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

impl JuliaTypecheck for PrimitiveType

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

impl JuliaTypecheck for QuoteNode

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

impl JuliaTypecheck for Singleton

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

impl JuliaTypecheck for Slot

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

impl JuliaTypecheck for StructType

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

impl JuliaTypecheck for UpsilonNode

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

impl JuliaTypecheck for Tuple0

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

impl JuliaTypecheck for Tuple

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

impl<'frame> JuliaTypecheck for CodeInstance<'frame>

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

impl<'frame> JuliaTypecheck for DataType<'frame>

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

impl<'frame> JuliaTypecheck for Expr<'frame>

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

impl<'frame> JuliaTypecheck for Method<'frame>

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

impl<'frame> JuliaTypecheck for MethodInstance<'frame>

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

impl<'frame> JuliaTypecheck for MethodTable<'frame>

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

impl<'frame> JuliaTypecheck for Module<'frame>

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

impl<'frame> JuliaTypecheck for SimpleVector<'frame>

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

impl<'frame> JuliaTypecheck for JuliaString<'frame>

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

impl<'frame> JuliaTypecheck for Symbol<'frame>

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

impl<'frame> JuliaTypecheck for Task<'frame>

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

impl<'frame> JuliaTypecheck for TypeName<'frame>

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

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

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

impl<'frame> JuliaTypecheck for TypeMapEntry<'frame>

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

impl<'frame> JuliaTypecheck for TypeMapLevel<'frame>

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

impl<'frame> JuliaTypecheck for Union<'frame>

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

impl<'frame> JuliaTypecheck for UnionAll<'frame>

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

impl<'frame> JuliaTypecheck for WeakRef<'frame>

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

impl<'frame, 'data> JuliaTypecheck for Array<'frame, 'data>

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

impl<'frame, 'data, T: Copy + ValidLayout> JuliaTypecheck for TypedArray<'frame, 'data, T>

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

impl<T1> JuliaTypecheck for Tuple1<T1> where
    T1: JuliaType, 

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

impl<T1, T2> JuliaTypecheck for Tuple2<T1, T2> where
    T1: JuliaType,
    T2: JuliaType, 

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

impl<T1, T2, T3> JuliaTypecheck for Tuple3<T1, T2, T3> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType, 

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

impl<T1, T2, T3, T4> JuliaTypecheck for Tuple4<T1, T2, T3, T4> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType, 

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

impl<T1, T2, T3, T4, T5> JuliaTypecheck for Tuple5<T1, T2, T3, T4, T5> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6> JuliaTypecheck for Tuple6<T1, T2, T3, T4, T5, T6> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7> JuliaTypecheck for Tuple7<T1, T2, T3, T4, T5, T6, T7> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8> JuliaTypecheck for Tuple8<T1, T2, T3, T4, T5, T6, T7, T8> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9> JuliaTypecheck for Tuple9<T1, T2, T3, T4, T5, T6, T7, T8, T9> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> JuliaTypecheck for Tuple10<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> JuliaTypecheck for Tuple11<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> JuliaTypecheck for Tuple12<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> JuliaTypecheck for Tuple13<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> JuliaTypecheck for Tuple14<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> JuliaTypecheck for Tuple15<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> JuliaTypecheck for Tuple16<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17> JuliaTypecheck for Tuple17<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18> JuliaTypecheck for Tuple18<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19> JuliaTypecheck for Tuple19<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20> JuliaTypecheck for Tuple20<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21> JuliaTypecheck for Tuple21<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22> JuliaTypecheck for Tuple22<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType,
    T22: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23> JuliaTypecheck for Tuple23<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType,
    T22: JuliaType,
    T23: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24> JuliaTypecheck for Tuple24<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType,
    T22: JuliaType,
    T23: JuliaType,
    T24: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25> JuliaTypecheck for Tuple25<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType,
    T22: JuliaType,
    T23: JuliaType,
    T24: JuliaType,
    T25: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26> JuliaTypecheck for Tuple26<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType,
    T22: JuliaType,
    T23: JuliaType,
    T24: JuliaType,
    T25: JuliaType,
    T26: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27> JuliaTypecheck for Tuple27<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType,
    T22: JuliaType,
    T23: JuliaType,
    T24: JuliaType,
    T25: JuliaType,
    T26: JuliaType,
    T27: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28> JuliaTypecheck for Tuple28<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType,
    T22: JuliaType,
    T23: JuliaType,
    T24: JuliaType,
    T25: JuliaType,
    T26: JuliaType,
    T27: JuliaType,
    T28: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29> JuliaTypecheck for Tuple29<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType,
    T22: JuliaType,
    T23: JuliaType,
    T24: JuliaType,
    T25: JuliaType,
    T26: JuliaType,
    T27: JuliaType,
    T28: JuliaType,
    T29: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30> JuliaTypecheck for Tuple30<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType,
    T22: JuliaType,
    T23: JuliaType,
    T24: JuliaType,
    T25: JuliaType,
    T26: JuliaType,
    T27: JuliaType,
    T28: JuliaType,
    T29: JuliaType,
    T30: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31> JuliaTypecheck for Tuple31<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType,
    T22: JuliaType,
    T23: JuliaType,
    T24: JuliaType,
    T25: JuliaType,
    T26: JuliaType,
    T27: JuliaType,
    T28: JuliaType,
    T29: JuliaType,
    T30: JuliaType,
    T31: JuliaType, 

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

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> JuliaTypecheck for Tuple32<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> where
    T1: JuliaType,
    T2: JuliaType,
    T3: JuliaType,
    T4: JuliaType,
    T5: JuliaType,
    T6: JuliaType,
    T7: JuliaType,
    T8: JuliaType,
    T9: JuliaType,
    T10: JuliaType,
    T11: JuliaType,
    T12: JuliaType,
    T13: JuliaType,
    T14: JuliaType,
    T15: JuliaType,
    T16: JuliaType,
    T17: JuliaType,
    T18: JuliaType,
    T19: JuliaType,
    T20: JuliaType,
    T21: JuliaType,
    T22: JuliaType,
    T23: JuliaType,
    T24: JuliaType,
    T25: JuliaType,
    T26: JuliaType,
    T27: JuliaType,
    T28: JuliaType,
    T29: JuliaType,
    T30: JuliaType,
    T31: JuliaType,
    T32: JuliaType, 

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

Loading content...