pub struct AddressStorageRoute;Trait Implementations§
Source§impl FoundationClosed<prism_model! {
pub struct AddressStorageModel;
pub struct AddressStorageRoute;
impl PrismModel<
DefaultHostTypes,
AddrBounds,
Sha256Hasher,
AddressResolverTuple<Sha256Hasher>,
StorageCommitment
> for AddressStorageModel {
type Input = JsonCarrier<'a>;
type Output = AddressLabel;
type Route = AddressStorageRoute;
fn route(input: Self::Input) -> Self::Output {
address_inference(input)
}
fn commitment() -> StorageCommitment {
STORAGE_COMMITMENT_INSTANCE
}
}
}> for AddressStorageRoute
impl FoundationClosed<prism_model! { pub struct AddressStorageModel; pub struct AddressStorageRoute; impl PrismModel< DefaultHostTypes, AddrBounds, Sha256Hasher, AddressResolverTuple<Sha256Hasher>, StorageCommitment > for AddressStorageModel { type Input = JsonCarrier<'a>; type Output = AddressLabel; type Route = AddressStorageRoute; fn route(input: Self::Input) -> Self::Output { address_inference(input) } fn commitment() -> StorageCommitment { STORAGE_COMMITMENT_INSTANCE } } }> for AddressStorageRoute
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 AddressStorageRoute
Auto Trait Implementations§
impl Freeze for AddressStorageRoute
impl RefUnwindSafe for AddressStorageRoute
impl Send for AddressStorageRoute
impl Sync for AddressStorageRoute
impl Unpin for AddressStorageRoute
impl UnsafeUnpin for AddressStorageRoute
impl UnwindSafe for AddressStorageRoute
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