Struct FullType

pub struct FullType<'a> {
    pub t: Type<'a>,
    pub not_null: bool,
    pub list_hack: bool,
}

Represent a type with not_null information

Fields

t: Type<'a>

not_null: bool

list_hack: bool

Implementations

impl<'a> FullType<'a>

pub fn invalid() -> Self

Construct a new invalid type

Methods from Deref<Target = Type<'a>>

pub fn base(&self) -> BaseType

Compute the canonical base type

Trait Implementations

impl<'a> Clone for FullType<'a>

fn clone(&self) -> FullType<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for FullType<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> Deref for FullType<'a>

type Target = Type<'a>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'a> Display for FullType<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> PartialEq for FullType<'a>

fn eq(&self, other: &FullType<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Eq for FullType<'a>

impl<'a> StructuralPartialEq for FullType<'a>