Enum Never 

pub enum Never {}

The uninhabited type with two structural jobs. As a phase menu, Step<Never> has no constructible Goto — a plain actor is a one-phase machine. As an outbound/offspring menu, it proves a layer sends or creates nothing. The law is the type, not a convention.

Trait Implementations

impl<Tail> BirthNodeAppend<Tail> for Never

where Tail: BirthNode,

type Output = Tail

Closed child algebra containing the complete prefix followed by the complete appended tail.

fn append_prefix(self) -> Self::Output

Inject one child from the existing prefix without changing its structural occurrence.

fn append_tail(tail: Tail) -> Self::Output

Inject one child from the appended tail after every prefix occurrence.

fn append_creations<A: Address>( prefix: Creations<CreateChild<A, Self>>, tail: Creations<CreateChild<A, Tail>>, ) -> Creations<CreateChild<A, Self::Output>>

Preserve and concatenate two ordered creation batches.

impl ClassifySettlement for Never

fn settlement_status(&self) -> SettlementStatus

Inspect every member without consuming or rewriting the settlement.

impl Clone for Never

fn clone(&self) -> Never

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Never

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

Formats the value using the given formatter.

impl PartialEq for Never

fn eq(&self, other: &Never) -> 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 Copy for Never

impl Eq for Never

impl StructuralPartialEq for Never