pub enum Command {
Velocity(f32),
Torque(f32),
Stop,
}Expand description
A per-actuator command.
Variants§
Trait Implementations§
Source§impl ContractBody for Command
impl ContractBody for Command
Source§const NAME: &'static str = "v0.2::component::motor::Command"
const NAME: &'static str = "v0.2::component::motor::Command"
The version-qualified type identity: the dotted wire revision, then the
::-joined node path
(dynamic-node vars are topic params, never type-path segments), then
the PascalCase type leaf, e.g. "v0.1::drive::Target" or
"v0.1::component::motor::Command". This is the contract’s source
identity (D1) - two contracts interoperate iff they share this exact
name - as distinct from TOPIC, the resolved
wire key derived from it. NAME is exactly the "::"-join of
VERSION and
CONTRACT; it stays available for callers
that want the whole identity as one string (e.g. display), while
metadata recording splices the two split consts instead (coherence-gate
design doc §2 - a joined name is not machine-parseable without
assuming the version naming scheme).Source§const VERSION: &'static str = "v0.2"
const VERSION: &'static str = "v0.2"
This body’s dotted wire revision alone, e.g.
"v0.1" - equal to
<Self::Api as ApiVersion>::ID, but exposed directly on the body so a
metadata recorder (#[derive(phoxal::Api)]’s linker-section
splicing) can const-splice it without routing through Self::Api.
Split from CONTRACT so consumers (the
coherence gate and suite generator) record revision and contract as two
separate fields rather than parsing a joined name.Source§const CONTRACT: &'static str = "component::motor::Command"
const CONTRACT: &'static str = "component::motor::Command"
This body’s contract path within its own version: the
::-joined
node path (dynamic-node vars excluded, as with NAME) plus the
PascalCase type leaf, e.g. "drive::Target". The logical
contract - stable across a version bump - is this value alone;
pairing it with VERSION recovers the
full version-qualified identity (NAME).Source§const TOPIC: &'static str = "v0.2/component/{instance}/motor/{capability}/command"
const TOPIC: &'static str = "v0.2/component/{instance}/motor/{capability}/command"
The version-qualified wire key: the dotted wire revision, then the
/-joined node path plus the topic leaf, with each dynamic node
contributing a {var} placeholder, e.g. "v0.1/drive/state" or
"v0.1/component/{instance}/motor/{capability}/command". The concrete
key is produced by the api-local topic builder, which fills the
placeholders.Source§impl<'de> Deserialize<'de> for Command
impl<'de> Deserialize<'de> for Command
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl StructuralPartialEq for Command
Auto Trait Implementations§
impl Freeze for Command
impl RefUnwindSafe for Command
impl Send for Command
impl Sync for Command
impl Unpin for Command
impl UnsafeUnpin for Command
impl UnwindSafe for Command
Blanket Implementations§
Source§impl<Source> AccessAs for Source
impl<Source> AccessAs for Source
Source§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
Source§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more