Struct willow::ProgramData [−][src]
pub struct ProgramData { /* fields omitted */ }
Expand description
An internal type used to hold program-specific resources.
There must be exactly one field in a Program
-deriving struct
holding ProgramData
as the value.
Auto Trait Implementations
impl RefUnwindSafe for ProgramData
impl !Send for ProgramData
impl !Sync for ProgramData
impl Unpin for ProgramData
impl UnwindSafe for ProgramData
Blanket Implementations
Mutably borrows from an owned value. Read more
type Output = T
type Output = T
Should always be Self
The inverse inclusion map: attempts to construct self
from the equivalent element of its
superset. Read more
pub fn is_in_subset(&self) -> bool
pub fn is_in_subset(&self) -> bool
Checks if self
is actually part of its subset T
(and can be converted to it).
pub fn to_subset_unchecked(&self) -> SS
pub fn to_subset_unchecked(&self) -> SS
Use with care! Same as self.to_subset
but without any property checks. Always succeeds.
pub fn from_subset(element: &SS) -> SP
pub fn from_subset(element: &SS) -> SP
The inclusion map: converts self
to the equivalent element of its superset.