Trait CapType 

pub trait CapType:
    Copy
    + Clone
    + Eq
    + PartialEq
    + Ord
    + PartialOrd
    + Hash {
    const NAME: &'static str;
}

Trait for marker types corresponding to capability types in the seL4 API.

Implementors are used to mark instantiations of Cap.

Required Associated Constants

const NAME: &'static str

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl CapType for AsidControl

const NAME: &'static str = "AsidControl"

impl CapType for AsidPool

const NAME: &'static str = "AsidPool"

impl CapType for CNode

const NAME: &'static str = "CNode"

impl CapType for DomainSet

const NAME: &'static str = "DomainSet"

impl CapType for Endpoint

const NAME: &'static str = "Endpoint"

impl CapType for GigaPage

const NAME: &'static str = "GigaPage"

impl CapType for IrqControl

const NAME: &'static str = "IrqControl"

impl CapType for IrqHandler

const NAME: &'static str = "IrqHandler"

impl CapType for MegaPage

const NAME: &'static str = "MegaPage"

impl CapType for Notification

const NAME: &'static str = "Notification"

impl CapType for Null

const NAME: &'static str = "Null"

impl CapType for PageTable

const NAME: &'static str = "PageTable"

impl CapType for Tcb

const NAME: &'static str = "Tcb"

impl CapType for Unspecified

const NAME: &'static str = "Unspecified"

impl CapType for UnspecifiedIntermediateTranslationTable

const NAME: &'static str = "UnspecifiedIntermediateTranslationTable"

impl CapType for UnspecifiedPage

const NAME: &'static str = "UnspecifiedPage"

impl CapType for Untyped

const NAME: &'static str = "Untyped"

impl CapType for _4kPage

const NAME: &'static str = "_4kPage"