sel4_root_task

Trait Termination

Source
pub trait Termination {
    type Error: Debug;

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

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

Required Associated Types§

Source

type Error: Debug

Required Methods§

Source

fn report(self) -> Self::Error

Implementations on Foreign Types§

Source§

impl Termination for !

Source§

type Error = !

Source§

fn report(self) -> Self::Error

Source§

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

Source§

type Error = E

Source§

fn report(self) -> Self::Error

Source§

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

Source§

type Error = E

Source§

fn report(self) -> Self::Error

Implementors§