Struct rhododendron::Justification

pub struct Justification<D, S>(_);

A checked justification.

Methods

impl<D, S> Justification<D, S>

pub fn uncheck(self) -> UncheckedJustification<D, S>

Convert this justification back to unchecked.

Methods from Deref<Target = UncheckedJustification<D, S>>

Trait Implementations

impl<D: Debug, S: Debug> Debug for Justification<D, S>

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

Formats the value using the given formatter.

impl<D: Clone, S: Clone> Clone for Justification<D, S>

fn clone(&self) -> Justification<D, S>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<D: PartialEq, S: PartialEq> PartialEq for Justification<D, S>

fn eq(&self, other: &Justification<D, S>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Justification<D, S>) -> bool

This method tests for !=.

impl<D: Eq, S: Eq> Eq for Justification<D, S>

impl<D, S> Deref for Justification<D, S>

type Target = UncheckedJustification<D, S>

The resulting type after dereferencing.

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

Dereferences the value.