Trait creusot_contracts::std::default::Default

pub trait Default: Default {
    // Required method
    fn is_default(self) -> bool;
}

Required Methods

fn is_default(self) -> bool

logic(prophetic)

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Default for bool

fn is_default(self) -> bool

logic

pearlite! { self == false }

impl Default for i8

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl Default for i16

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl Default for i32

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl Default for i64

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl Default for i128

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl Default for isize

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl Default for u8

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl Default for u16

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl Default for u32

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl Default for u64

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl Default for u128

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl Default for ()

fn is_default(self) -> bool

logic

pearlite! { true }

impl Default for usize

fn is_default(self) -> bool

logic

pearlite! { self == $zero }

impl<A: Default> Default for (A,)

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

impl<A: Default, B: Default> Default for (A, B)

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

impl<A: Default, B: Default, C: Default> Default for (A, B, C)

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

impl<A: Default, B: Default, C: Default, D: Default> Default for (A, B, C, D)

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

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

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

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

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

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

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

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

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

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

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

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

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

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

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

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

fn is_default(self) -> bool

logic(prophetic)

pearlite! { $(self.$idx.is_default())&&+ }

impl<T> Default for &[T]

fn is_default(self) -> bool

logic

pearlite! { self@ == Seq::EMPTY }

impl<T> Default for &mut [T]

fn is_default(self) -> bool

logic(prophetic)

pearlite! { self@ == Seq::EMPTY && (^self)@ == Seq::EMPTY }

Implementors

impl<T> Default for Option<T>

impl<T> Default for Vec<T>