pub struct UnitSignature {
pub id: UnitId,
pub combined_types: HashMap<String, Arc<TypeDecl>>,
pub fns: BTreeMap<String, FnSignature>,
pub methods: BTreeMap<String, MethodTableSignature>,
pub service_handlers: BTreeMap<String, Vec<HandlerSignature>>,
pub agent_handlers: BTreeMap<String, Vec<HandlerSignature>>,
pub service_protocols: BTreeMap<String, ProtocolSignature>,
pub store_fields: BTreeMap<String, Vec<StoreFieldSignature>>,
pub capabilities: CapabilitySignature,
}Expand description
P8.1 (#1512): a unit’s stable signature — everything about it that must survive an edit inside a function/handler body untouched (R3.14, the phase’s firewall).
Deliberately does not derive PartialEq: two signatures compare equal
through UnitSignature::canonical ([DECISION C]), not by structural
equality on the raw fields — the same “compare the canonical form, not
the raw AST value” shape contract_hash.rs’s own fixture already trusts
for ADR 0200. Comparing the raw struct would reintroduce exactly the
span-instability this type exists to erase.
Fields§
§id: UnitId§combined_types: HashMap<String, Arc<TypeDecl>>combined_types_for’s own output, reused unchanged ([DECISION A] of
ADR 0412, Q1) — the cross-context-types category.
fns: BTreeMap<String, FnSignature>Free functions only — keyed by FnName’s own rendered form, matching
UnitTable.fns’s own key. Methods live in Self::methods instead
(see MethodTableSignature’s own doc comment for why).
methods: BTreeMap<String, MethodTableSignature>Keyed by the attached type’s name, matching UnitTable.methods.
service_handlers: BTreeMap<String, Vec<HandlerSignature>>Keyed by owning service name; each maps to its handlers in
declaration order. Kept separate from Self::agent_handlers (PR
#1517’s own bot review, lower-priority item): a flat shared namespace
let a service Foo’s handlers be silently overwritten by an
agent Foo’s own handlers, and the rendering couldn’t distinguish
the two owners either.
agent_handlers: BTreeMap<String, Vec<HandlerSignature>>Keyed by owning agent name.
service_protocols: BTreeMap<String, ProtocolSignature>Keyed by service name (ServiceDecl.protocol).
store_fields: BTreeMap<String, Vec<StoreFieldSignature>>Keyed by owning agent name; UnitTable.services/.providers carry no
store fields of their own.
capabilities: CapabilitySignatureImplementations§
Source§impl UnitSignature
impl UnitSignature
Sourcepub fn canonical(&self) -> String
pub fn canonical(&self) -> String
[DECISION C]: the canonical, span-free rendering R3.14’s own proof
compares (unit_signature_before.canonical() == unit_signature_after.canonical()), never the raw struct. Delegates
every fragment through contract.rs’s canonical renderers so this
type and service_contract_hash cannot silently diverge on what
“the same type” means.
Trait Implementations§
Source§impl Clone for UnitSignature
impl Clone for UnitSignature
Source§fn clone(&self) -> UnitSignature
fn clone(&self) -> UnitSignature
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreAuto Trait Implementations§
impl Freeze for UnitSignature
impl RefUnwindSafe for UnitSignature
impl Send for UnitSignature
impl Sync for UnitSignature
impl Unpin for UnitSignature
impl UnsafeUnpin for UnitSignature
impl UnwindSafe for UnitSignature
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Paint for Twhere
T: ?Sized,
impl<T> Paint for Twhere
T: ?Sized,
§fn fg(&self, value: Color) -> Painted<&T>
fn fg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the foreground set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like red() and
green(), which have the same functionality but are
pithier.
§Example
Set foreground color to white using fg():
use yansi::{Paint, Color};
painted.fg(Color::White);Set foreground color to white using white().
use yansi::Paint;
painted.white();§fn bright_black(&self) -> Painted<&T>
fn bright_black(&self) -> Painted<&T>
§fn bright_red(&self) -> Painted<&T>
fn bright_red(&self) -> Painted<&T>
§fn bright_green(&self) -> Painted<&T>
fn bright_green(&self) -> Painted<&T>
§fn bright_yellow(&self) -> Painted<&T>
fn bright_yellow(&self) -> Painted<&T>
§fn bright_blue(&self) -> Painted<&T>
fn bright_blue(&self) -> Painted<&T>
§fn bright_magenta(&self) -> Painted<&T>
fn bright_magenta(&self) -> Painted<&T>
§fn bright_cyan(&self) -> Painted<&T>
fn bright_cyan(&self) -> Painted<&T>
§fn bright_white(&self) -> Painted<&T>
fn bright_white(&self) -> Painted<&T>
§fn bg(&self, value: Color) -> Painted<&T>
fn bg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the background set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like on_red() and
on_green(), which have the same functionality but
are pithier.
§Example
Set background color to red using fg():
use yansi::{Paint, Color};
painted.bg(Color::Red);Set background color to red using on_red().
use yansi::Paint;
painted.on_red();§fn on_primary(&self) -> Painted<&T>
fn on_primary(&self) -> Painted<&T>
§fn on_magenta(&self) -> Painted<&T>
fn on_magenta(&self) -> Painted<&T>
§fn on_bright_black(&self) -> Painted<&T>
fn on_bright_black(&self) -> Painted<&T>
§fn on_bright_red(&self) -> Painted<&T>
fn on_bright_red(&self) -> Painted<&T>
§fn on_bright_green(&self) -> Painted<&T>
fn on_bright_green(&self) -> Painted<&T>
§fn on_bright_yellow(&self) -> Painted<&T>
fn on_bright_yellow(&self) -> Painted<&T>
§fn on_bright_blue(&self) -> Painted<&T>
fn on_bright_blue(&self) -> Painted<&T>
§fn on_bright_magenta(&self) -> Painted<&T>
fn on_bright_magenta(&self) -> Painted<&T>
§fn on_bright_cyan(&self) -> Painted<&T>
fn on_bright_cyan(&self) -> Painted<&T>
§fn on_bright_white(&self) -> Painted<&T>
fn on_bright_white(&self) -> Painted<&T>
§fn attr(&self, value: Attribute) -> Painted<&T>
fn attr(&self, value: Attribute) -> Painted<&T>
Enables the styling [Attribute] value.
This method should be used rarely. Instead, prefer to use
attribute-specific builder methods like bold() and
underline(), which have the same functionality
but are pithier.
§Example
Make text bold using attr():
use yansi::{Paint, Attribute};
painted.attr(Attribute::Bold);Make text bold using using bold().
use yansi::Paint;
painted.bold();§fn rapid_blink(&self) -> Painted<&T>
fn rapid_blink(&self) -> Painted<&T>
§fn quirk(&self, value: Quirk) -> Painted<&T>
fn quirk(&self, value: Quirk) -> Painted<&T>
Enables the yansi [Quirk] value.
This method should be used rarely. Instead, prefer to use quirk-specific
builder methods like mask() and
wrap(), which have the same functionality but are
pithier.
§Example
Enable wrapping using .quirk():
use yansi::{Paint, Quirk};
painted.quirk(Quirk::Wrap);Enable wrapping using wrap().
use yansi::Paint;
painted.wrap();§fn clear(&self) -> Painted<&T>
👎Deprecated since 1.0.1: renamed to resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.
fn clear(&self) -> Painted<&T>
resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.§fn whenever(&self, value: Condition) -> Painted<&T>
fn whenever(&self, value: Condition) -> Painted<&T>
Conditionally enable styling based on whether the [Condition] value
applies. Replaces any previous condition.
See the crate level docs for more details.
§Example
Enable styling painted only when both stdout and stderr are TTYs:
use yansi::{Paint, Condition};
painted.red().on_yellow().whenever(Condition::STDOUTERR_ARE_TTY);