pub enum ExtendKind {
Fact,
Event,
Act,
Duty,
}
Expand description
Defines the possible types that can be extended.
Variants§
Fact
An eFLINT Fact is being extended.
Event
An eFLINT Event is being extended.
Act
An eFLINT Act is being extended.
Duty
An eFLINT Duty is being extended.
Trait Implementations§
Source§impl Clone for ExtendKind
impl Clone for ExtendKind
Source§fn clone(&self) -> ExtendKind
fn clone(&self) -> ExtendKind
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for ExtendKind
impl Debug for ExtendKind
Source§impl EnumDebug for ExtendKind
impl EnumDebug for ExtendKind
Source§fn type_name() -> &'static str
fn type_name() -> &'static str
Returns the static name of the type used for EnumDebug-printing. Read more
Source§fn variant_names() -> &'static [&'static str]
fn variant_names() -> &'static [&'static str]
Returns all variants in the trait as a list of names. Read more
Source§fn variant_name(&self) -> &'static str
fn variant_name(&self) -> &'static str
Returns the static name of the variant. Read more
Source§fn variant(&self) -> EnumDebugFormatter<'_, Self>
fn variant(&self) -> EnumDebugFormatter<'_, Self>
Returns a formatter for this enum that writes its variant name. Read more
Source§impl Hash for ExtendKind
impl Hash for ExtendKind
Source§impl PartialEq for ExtendKind
impl PartialEq for ExtendKind
impl Copy for ExtendKind
impl Eq for ExtendKind
impl StructuralPartialEq for ExtendKind
Auto Trait Implementations§
impl Freeze for ExtendKind
impl RefUnwindSafe for ExtendKind
impl Send for ExtendKind
impl Sync for ExtendKind
impl Unpin for ExtendKind
impl UnwindSafe for ExtendKind
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more