pub struct AddressSignedRoute;Trait Implementations§
Source§impl FoundationClosed<prism_model! {
pub struct AddressSignedModel;
pub struct AddressSignedRoute;
impl PrismModel<
DefaultHostTypes,
AddrBounds,
Sha256Hasher,
AddressResolverTuple<Sha256Hasher>,
SignedCommitment
> for AddressSignedModel {
type Input = JsonCarrier<'a>;
type Output = AddressLabel;
type Route = AddressSignedRoute;
fn route(input: Self::Input) -> Self::Output {
address_inference(input)
}
fn commitment() -> SignedCommitment {
SIGNED_COMMITMENT_INSTANCE
}
}
}> for AddressSignedRoute
impl FoundationClosed<prism_model! { pub struct AddressSignedModel; pub struct AddressSignedRoute; impl PrismModel< DefaultHostTypes, AddrBounds, Sha256Hasher, AddressResolverTuple<Sha256Hasher>, SignedCommitment > for AddressSignedModel { type Input = JsonCarrier<'a>; type Output = AddressLabel; type Route = AddressSignedRoute; fn route(input: Self::Input) -> Self::Output { address_inference(input) } fn commitment() -> SignedCommitment { SIGNED_COMMITMENT_INSTANCE } } }> for AddressSignedRoute
Source§fn arena_slice() -> &'static [Term<'static, { _ }>]
fn arena_slice() -> &'static [Term<'static, { _ }>]
Returns the term-tree arena slice the
prism_model! macro emitted for
this route witness. [run_route] reads this to populate the
CompileUnit’s root_term before invoking [run].
ADR-060: the term arena is const-generic over the application’s
foundation-derived inline carrier width INLINE_BYTES.impl Sealed for AddressSignedRoute
Auto Trait Implementations§
impl Freeze for AddressSignedRoute
impl RefUnwindSafe for AddressSignedRoute
impl Send for AddressSignedRoute
impl Sync for AddressSignedRoute
impl Unpin for AddressSignedRoute
impl UnsafeUnpin for AddressSignedRoute
impl UnwindSafe for AddressSignedRoute
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