Trait sel4_root_task::Termination

pub trait Termination {
    type Error: Debug;

    // Required method
    fn report(self) -> Self::Error;
}

Trait for the return type of #[root_task] main functions.

Required Associated Types

type Error: Debug

Required Methods

fn report(self) -> Self::Error

Implementations on Foreign Types

impl Termination for !

type Error = !

fn report(self) -> Self::Error

impl<E: Debug> Termination for Result<!, E>

type Error = E

fn report(self) -> Self::Error

impl<E: Debug> Termination for Result<Never, E>

type Error = E

fn report(self) -> Self::Error

Implementors

impl Termination for Never

type Error = Never