Trait Immutable

pub unsafe trait Immutable { }

Types whose values are devoid of inner mutability.

Note that [T; 0] implements this marker trait even when T does not.

This trait is safely derivable with #[derive(Immutable)] when the derive feature is enabled.

Safety

It is undefined behaviour to implement this trait for any type that provides inner mutability.

Implementations on Foreign Types

impl Immutable for bool

impl Immutable for i8

impl Immutable for i16

impl Immutable for i32

impl Immutable for i64

impl Immutable for i128

impl Immutable for isize

impl Immutable for u8

impl Immutable for u16

impl Immutable for u32

impl Immutable for u64

impl Immutable for u128

impl Immutable for ()

impl Immutable for usize

impl<A> Immutable for (A,)

where A: Immutable,

impl<A, B> Immutable for (A, B)

where A: Immutable, B: Immutable,

impl<A, B, C> Immutable for (A, B, C)

where A: Immutable, B: Immutable, C: Immutable,

impl<A, B, C, D> Immutable for (A, B, C, D)

where A: Immutable, B: Immutable, C: Immutable, D: Immutable,

impl<A, B, C, D, E> Immutable for (A, B, C, D, E)

where A: Immutable, B: Immutable, C: Immutable, D: Immutable, E: Immutable,

impl<A, B, C, D, E, F> Immutable for (A, B, C, D, E, F)

where A: Immutable, B: Immutable, C: Immutable, D: Immutable, E: Immutable, F: Immutable,

impl<A, B, C, D, E, F, G> Immutable for (A, B, C, D, E, F, G)

where A: Immutable, B: Immutable, C: Immutable, D: Immutable, E: Immutable, F: Immutable, G: Immutable,

impl<A, B, C, D, E, F, G, H> Immutable for (A, B, C, D, E, F, G, H)

where A: Immutable, B: Immutable, C: Immutable, D: Immutable, E: Immutable, F: Immutable, G: Immutable, H: Immutable,

impl<A, B, C, D, E, F, G, H, I> Immutable for (A, B, C, D, E, F, G, H, I)

where A: Immutable, B: Immutable, C: Immutable, D: Immutable, E: Immutable, F: Immutable, G: Immutable, H: Immutable, I: Immutable,

impl<A, B, C, D, E, F, G, H, I, J> Immutable for (A, B, C, D, E, F, G, H, I, J)

where A: Immutable, B: Immutable, C: Immutable, D: Immutable, E: Immutable, F: Immutable, G: Immutable, H: Immutable, I: Immutable, J: Immutable,

impl<A, B, C, D, E, F, G, H, I, J, K> Immutable for (A, B, C, D, E, F, G, H, I, J, K)

where A: Immutable, B: Immutable, C: Immutable, D: Immutable, E: Immutable, F: Immutable, G: Immutable, H: Immutable, I: Immutable, J: Immutable, K: Immutable,

impl<A, B, C, D, E, F, G, H, I, J, K, L> Immutable for (A, B, C, D, E, F, G, H, I, J, K, L)

where A: Immutable, B: Immutable, C: Immutable, D: Immutable, E: Immutable, F: Immutable, G: Immutable, H: Immutable, I: Immutable, J: Immutable, K: Immutable, L: Immutable,

impl<T> Immutable for [T; 0]

impl<T> Immutable for [T; 1]

where T: Immutable,

impl<T> Immutable for [T; 2]

where T: Immutable,

impl<T> Immutable for [T; 3]

where T: Immutable,

impl<T> Immutable for [T; 4]

where T: Immutable,

impl<T> Immutable for [T; 5]

where T: Immutable,

impl<T> Immutable for [T; 6]

where T: Immutable,

impl<T> Immutable for [T; 7]

where T: Immutable,

impl<T> Immutable for [T; 8]

where T: Immutable,

impl<T> Immutable for [T; 9]

where T: Immutable,

impl<T> Immutable for [T; 10]

where T: Immutable,

impl<T> Immutable for [T; 11]

where T: Immutable,

impl<T> Immutable for [T; 12]

where T: Immutable,

impl<T> Immutable for [T; 13]

where T: Immutable,

impl<T> Immutable for [T; 14]

where T: Immutable,

impl<T> Immutable for [T; 15]

where T: Immutable,

impl<T> Immutable for [T; 16]

where T: Immutable,

impl<T> Immutable for [T; 17]

where T: Immutable,

impl<T> Immutable for [T; 18]

where T: Immutable,

impl<T> Immutable for [T; 19]

where T: Immutable,

impl<T> Immutable for [T; 20]

where T: Immutable,

impl<T> Immutable for [T; 21]

where T: Immutable,

impl<T> Immutable for [T; 22]

where T: Immutable,

impl<T> Immutable for [T; 23]

where T: Immutable,

impl<T> Immutable for [T; 24]

where T: Immutable,

impl<T> Immutable for [T; 25]

where T: Immutable,

impl<T> Immutable for [T; 26]

where T: Immutable,

impl<T> Immutable for [T; 27]

where T: Immutable,

impl<T> Immutable for [T; 28]

where T: Immutable,

impl<T> Immutable for [T; 29]

where T: Immutable,

impl<T> Immutable for [T; 30]

where T: Immutable,

impl<T> Immutable for [T; 31]

where T: Immutable,

impl<T> Immutable for [T; 32]

where T: Immutable,

impl<T> Immutable for ManuallyDrop<T>

where T: Immutable,

impl<T> Immutable for MaybeUninit<T>

where T: Immutable,

Implementors

impl Immutable for PackedI16

impl Immutable for PackedI32

impl Immutable for PackedI64

impl Immutable for PackedI128

impl Immutable for PackedIsize

impl Immutable for PackedU16

impl Immutable for PackedU32

impl Immutable for PackedU64

impl Immutable for PackedU128

impl Immutable for PackedUsize