Struct kilt_dip_primitives::verifier::relaychain::v0::RelaychainVerifier
source · pub struct RelaychainVerifier<ConsumerBlockHashStore, const KILT_PARA_ID: u32, KiltRuntime, DidCallVerifier, SignedExtra, const MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT: u32, const MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_PROOF_LEAVE_COUNT: u32, const MAX_DID_MERKLE_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_LEAVES_REVEALED: u32>(/* private fields */);Expand description
Proof verifier configured given a specific KILT runtime implementation.
The generic types are the following:
ConsumerBlockHashStore: A type providing block hashes for the relaychain blocks.KILT_PARA_ID: The ID of the specific KILT parachain instance.KiltRuntime: A KILT runtime definition.DidCallVerifier: Logic to mapRuntimeCalls to a specific DID key relationship. This information is used once the Merkle proof is verified, to filter only the revealed keys that match the provided relationship.SignedExtra: Any additional information that must be signed by the DID subject in the cross-chain operation.MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT: The maximum number of leaves that can be revealed as part of the parachain head storage proof.MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE: The maximum size of each leaf revealed as part of the parachain head storage proof.MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT: The maximum number of leaves that can be revealed as part of the DIP commitment storage proof.MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE: The maximum size of each leaf revealed as part of the DIP commitment storage proof.MAX_DID_MERKLE_PROOF_LEAVE_COUNT: The maximum number of blinded leaves that can be revealed as part of the DID Merkle proof.MAX_DID_MERKLE_PROOF_LEAVE_SIZE: The maximum size of each blinded leaf revealed as part of the DID Merkle proof.MAX_DID_MERKLE_PROOF_LEAVE_SIZE: The maximum number of leaves that can be revealed as part of the DID Merkle proof.
Trait Implementations§
source§impl<ConsumerRuntime, ConsumerBlockHashStore, const KILT_PARA_ID: u32, KiltRuntime, DidCallVerifier, SignedExtra, const MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT: u32, const MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_PROOF_LEAVE_COUNT: u32, const MAX_DID_MERKLE_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_LEAVES_REVEALED: u32> IdentityProofVerifier<ConsumerRuntime> for RelaychainVerifier<ConsumerBlockHashStore, KILT_PARA_ID, KiltRuntime, DidCallVerifier, SignedExtra, MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT, MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE, MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT, MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_PROOF_LEAVE_COUNT, MAX_DID_MERKLE_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_LEAVES_REVEALED>where
ConsumerRuntime: Config<Identifier = KiltRuntime::Identifier>,
ConsumerRuntime::LocalIdentityInfo: Incrementable + Default,
BlockNumberFor<ConsumerRuntime>: Into<U256> + TryFrom<U256>,
ConsumerBlockHashStore: GetWithArg<BlockNumberFor<ConsumerRuntime>, Result = Option<OutputOf<ConsumerRuntime::Hashing>>>,
KiltRuntime: Config<Hash = ConsumerRuntime::Hash> + Config + Config + Config + Config,
KiltRuntime::IdentityCommitmentGenerator: IdentityCommitmentGenerator<KiltRuntime, Output = ConsumerRuntime::Hash>,
IdentityCommitmentOf<KiltRuntime>: Into<KiltRuntime::Hash>,
SignedExtra: GetWithoutArg,
SignedExtra::Result: Encode + Debug,
DidCallVerifier: DipCallOriginFilter<RuntimeCallOf<ConsumerRuntime>, OriginInfo = Vec<RevealedDidKey<KeyIdOf<KiltRuntime>, BlockNumberFor<KiltRuntime>, KiltRuntime::AccountId>>>,
DidCallVerifier::Error: Into<u8> + Debug,
impl<ConsumerRuntime, ConsumerBlockHashStore, const KILT_PARA_ID: u32, KiltRuntime, DidCallVerifier, SignedExtra, const MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT: u32, const MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_PROOF_LEAVE_COUNT: u32, const MAX_DID_MERKLE_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_LEAVES_REVEALED: u32> IdentityProofVerifier<ConsumerRuntime> for RelaychainVerifier<ConsumerBlockHashStore, KILT_PARA_ID, KiltRuntime, DidCallVerifier, SignedExtra, MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT, MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE, MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT, MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_PROOF_LEAVE_COUNT, MAX_DID_MERKLE_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_LEAVES_REVEALED>where ConsumerRuntime: Config<Identifier = KiltRuntime::Identifier>, ConsumerRuntime::LocalIdentityInfo: Incrementable + Default, BlockNumberFor<ConsumerRuntime>: Into<U256> + TryFrom<U256>, ConsumerBlockHashStore: GetWithArg<BlockNumberFor<ConsumerRuntime>, Result = Option<OutputOf<ConsumerRuntime::Hashing>>>, KiltRuntime: Config<Hash = ConsumerRuntime::Hash> + Config + Config + Config + Config, KiltRuntime::IdentityCommitmentGenerator: IdentityCommitmentGenerator<KiltRuntime, Output = ConsumerRuntime::Hash>, IdentityCommitmentOf<KiltRuntime>: Into<KiltRuntime::Hash>, SignedExtra: GetWithoutArg, SignedExtra::Result: Encode + Debug, DidCallVerifier: DipCallOriginFilter<RuntimeCallOf<ConsumerRuntime>, OriginInfo = Vec<RevealedDidKey<KeyIdOf<KiltRuntime>, BlockNumberFor<KiltRuntime>, KiltRuntime::AccountId>>>, DidCallVerifier::Error: Into<u8> + Debug,
§type Error = DipRelaychainStateProofVerifierError<<DidCallVerifier as DipCallOriginFilter<<ConsumerRuntime as Config>::RuntimeCall>>::Error>
type Error = DipRelaychainStateProofVerifierError<<DidCallVerifier as DipCallOriginFilter<<ConsumerRuntime as Config>::RuntimeCall>>::Error>
The error returned upon failed DIP proof verification.
§type Proof = RelayDipDidProof<<<<ConsumerRuntime as Config>::Block as HeaderProvider>::HeaderT as Header>::Number, <ConsumerRuntime as Config>::Hashing, <KiltRuntime as Config>::Hash, <KiltRuntime as Config>::AccountId, <<<KiltRuntime as Config>::Block as HeaderProvider>::HeaderT as Header>::Number, <KiltRuntime as Config>::Web3Name, LinkableAccountId>
type Proof = RelayDipDidProof<<<<ConsumerRuntime as Config>::Block as HeaderProvider>::HeaderT as Header>::Number, <ConsumerRuntime as Config>::Hashing, <KiltRuntime as Config>::Hash, <KiltRuntime as Config>::AccountId, <<<KiltRuntime as Config>::Block as HeaderProvider>::HeaderT as Header>::Number, <KiltRuntime as Config>::Web3Name, LinkableAccountId>
The accepted type for a DIP identity proof.
§type VerificationResult = DipOriginInfo<<KiltRuntime as Config>::Hash, <KiltRuntime as Config>::AccountId, <<<KiltRuntime as Config>::Block as HeaderProvider>::HeaderT as Header>::Number, <KiltRuntime as Config>::Web3Name, LinkableAccountId, MAX_DID_MERKLE_LEAVES_REVEALED>
type VerificationResult = DipOriginInfo<<KiltRuntime as Config>::Hash, <KiltRuntime as Config>::AccountId, <<<KiltRuntime as Config>::Block as HeaderProvider>::HeaderT as Header>::Number, <KiltRuntime as Config>::Web3Name, LinkableAccountId, MAX_DID_MERKLE_LEAVES_REVEALED>
The type returned upon successful DIP proof verification.
source§fn verify_proof_for_call_against_details(
call: &RuntimeCallOf<ConsumerRuntime>,
subject: &ConsumerRuntime::Identifier,
submitter: &ConsumerRuntime::AccountId,
identity_details: &mut Option<ConsumerRuntime::LocalIdentityInfo>,
proof: Self::Proof
) -> Result<Self::VerificationResult, Self::Error>
fn verify_proof_for_call_against_details( call: &RuntimeCallOf<ConsumerRuntime>, subject: &ConsumerRuntime::Identifier, submitter: &ConsumerRuntime::AccountId, identity_details: &mut Option<ConsumerRuntime::LocalIdentityInfo>, proof: Self::Proof ) -> Result<Self::VerificationResult, Self::Error>
Verify a given DIP proof given the calling context, including the call
being dispatched, the DIP subject dispatching it, the account submitting
the DIP tx, and the identity details of the DIP subject as stored in the
consumer pallet.
Auto Trait Implementations§
impl<ConsumerBlockHashStore, const KILT_PARA_ID: u32, KiltRuntime, DidCallVerifier, SignedExtra, const MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT: u32, const MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_PROOF_LEAVE_COUNT: u32, const MAX_DID_MERKLE_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_LEAVES_REVEALED: u32> RefUnwindSafe for RelaychainVerifier<ConsumerBlockHashStore, KILT_PARA_ID, KiltRuntime, DidCallVerifier, SignedExtra, MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT, MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE, MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT, MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_PROOF_LEAVE_COUNT, MAX_DID_MERKLE_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_LEAVES_REVEALED>where ConsumerBlockHashStore: RefUnwindSafe, DidCallVerifier: RefUnwindSafe, KiltRuntime: RefUnwindSafe, SignedExtra: RefUnwindSafe,
impl<ConsumerBlockHashStore, const KILT_PARA_ID: u32, KiltRuntime, DidCallVerifier, SignedExtra, const MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT: u32, const MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_PROOF_LEAVE_COUNT: u32, const MAX_DID_MERKLE_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_LEAVES_REVEALED: u32> Send for RelaychainVerifier<ConsumerBlockHashStore, KILT_PARA_ID, KiltRuntime, DidCallVerifier, SignedExtra, MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT, MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE, MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT, MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_PROOF_LEAVE_COUNT, MAX_DID_MERKLE_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_LEAVES_REVEALED>where ConsumerBlockHashStore: Send, DidCallVerifier: Send, KiltRuntime: Send, SignedExtra: Send,
impl<ConsumerBlockHashStore, const KILT_PARA_ID: u32, KiltRuntime, DidCallVerifier, SignedExtra, const MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT: u32, const MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_PROOF_LEAVE_COUNT: u32, const MAX_DID_MERKLE_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_LEAVES_REVEALED: u32> Sync for RelaychainVerifier<ConsumerBlockHashStore, KILT_PARA_ID, KiltRuntime, DidCallVerifier, SignedExtra, MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT, MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE, MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT, MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_PROOF_LEAVE_COUNT, MAX_DID_MERKLE_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_LEAVES_REVEALED>where ConsumerBlockHashStore: Sync, DidCallVerifier: Sync, KiltRuntime: Sync, SignedExtra: Sync,
impl<ConsumerBlockHashStore, const KILT_PARA_ID: u32, KiltRuntime, DidCallVerifier, SignedExtra, const MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT: u32, const MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_PROOF_LEAVE_COUNT: u32, const MAX_DID_MERKLE_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_LEAVES_REVEALED: u32> Unpin for RelaychainVerifier<ConsumerBlockHashStore, KILT_PARA_ID, KiltRuntime, DidCallVerifier, SignedExtra, MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT, MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE, MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT, MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_PROOF_LEAVE_COUNT, MAX_DID_MERKLE_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_LEAVES_REVEALED>where ConsumerBlockHashStore: Unpin, DidCallVerifier: Unpin, KiltRuntime: Unpin, SignedExtra: Unpin,
impl<ConsumerBlockHashStore, const KILT_PARA_ID: u32, KiltRuntime, DidCallVerifier, SignedExtra, const MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT: u32, const MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT: u32, const MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_PROOF_LEAVE_COUNT: u32, const MAX_DID_MERKLE_PROOF_LEAVE_SIZE: u32, const MAX_DID_MERKLE_LEAVES_REVEALED: u32> UnwindSafe for RelaychainVerifier<ConsumerBlockHashStore, KILT_PARA_ID, KiltRuntime, DidCallVerifier, SignedExtra, MAX_PROVIDER_HEAD_PROOF_LEAVE_COUNT, MAX_PROVIDER_HEAD_PROOF_LEAVE_SIZE, MAX_DIP_COMMITMENT_PROOF_LEAVE_COUNT, MAX_DIP_COMMITMENT_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_PROOF_LEAVE_COUNT, MAX_DID_MERKLE_PROOF_LEAVE_SIZE, MAX_DID_MERKLE_LEAVES_REVEALED>where ConsumerBlockHashStore: UnwindSafe, DidCallVerifier: UnwindSafe, KiltRuntime: UnwindSafe, SignedExtra: UnwindSafe,
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
§impl<T> CheckedConversion for T
impl<T> CheckedConversion for T
§fn checked_from<T>(t: T) -> Option<Self>where
Self: TryFrom<T>,
fn checked_from<T>(t: T) -> Option<Self>where Self: TryFrom<T>,
§fn checked_into<T>(self) -> Option<T>where
Self: TryInto<T>,
fn checked_into<T>(self) -> Option<T>where Self: TryInto<T>,
§impl<T> Conv for T
impl<T> Conv for T
§impl<T> FmtForward for T
impl<T> FmtForward for T
§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where Self: Binary,
Causes
self to use its Binary implementation when Debug-formatted.§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where Self: Display,
Causes
self to use its Display implementation when
Debug-formatted.§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where Self: LowerExp,
Causes
self to use its LowerExp implementation when
Debug-formatted.§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where Self: LowerHex,
Causes
self to use its LowerHex implementation when
Debug-formatted.§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where Self: Octal,
Causes
self to use its Octal implementation when Debug-formatted.§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where Self: Pointer,
Causes
self to use its Pointer implementation when
Debug-formatted.§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where Self: UpperExp,
Causes
self to use its UpperExp implementation when
Debug-formatted.§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where Self: UpperHex,
Causes
self to use its UpperHex implementation when
Debug-formatted.§fn fmt_list(self) -> FmtList<Self>where
&'a Self: for<'a> IntoIterator,
fn fmt_list(self) -> FmtList<Self>where &'a Self: for<'a> IntoIterator,
Formats each item in a sequence. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§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>where
F: FnOnce(&Self) -> bool,
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,
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§impl<T> IsType<T> for T
impl<T> IsType<T> for T
§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere T: ?Sized,
§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere Self: Sized,
Pipes by value. This is generally the method you want to use. Read more
§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere R: 'a,
Borrows
self and passes that borrow into the pipe function. Read more§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere R: 'a,
Mutably borrows
self and passes that borrow into the pipe function. Read more§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> Rwhere
Self: Borrow<B>,
B: 'a + ?Sized,
R: 'a,
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> Rwhere Self: Borrow<B>, B: 'a + ?Sized, R: 'a,
§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R
) -> Rwhere
Self: BorrowMut<B>,
B: 'a + ?Sized,
R: 'a,
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R ) -> Rwhere Self: BorrowMut<B>, B: 'a + ?Sized, R: 'a,
§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> Rwhere
Self: AsRef<U>,
U: 'a + ?Sized,
R: 'a,
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> Rwhere Self: AsRef<U>, U: 'a + ?Sized, R: 'a,
Borrows
self, then passes self.as_ref() into the pipe function.§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> Rwhere
Self: AsMut<U>,
U: 'a + ?Sized,
R: 'a,
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> Rwhere Self: AsMut<U>, U: 'a + ?Sized, R: 'a,
Mutably borrows
self, then passes self.as_mut() into the pipe
function.§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> SaturatedConversion for T
impl<T> SaturatedConversion for T
§fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
fn saturated_from<T>(t: T) -> Selfwhere Self: UniqueSaturatedFrom<T>,
§fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
fn saturated_into<T>(self) -> Twhere Self: UniqueSaturatedInto<T>,
Consume self to return an equivalent value of
T. Read more§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.§impl<T> Tap for T
impl<T> Tap for T
§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Selfwhere
Self: Borrow<B>,
B: ?Sized,
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Selfwhere Self: Borrow<B>, B: ?Sized,
Immutable access to the
Borrow<B> of a value. Read more§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere
Self: BorrowMut<B>,
B: ?Sized,
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere Self: BorrowMut<B>, B: ?Sized,
Mutable access to the
BorrowMut<B> of a value. Read more§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Selfwhere
Self: AsRef<R>,
R: ?Sized,
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Selfwhere Self: AsRef<R>, R: ?Sized,
Immutable access to the
AsRef<R> view of a value. Read more§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere
Self: AsMut<R>,
R: ?Sized,
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere Self: AsMut<R>, R: ?Sized,
Mutable access to the
AsMut<R> view of a value. Read more§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Selfwhere
Self: Deref<Target = T>,
T: ?Sized,
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Selfwhere Self: Deref<Target = T>, T: ?Sized,
Immutable access to the
Deref::Target of a value. Read more§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Selfwhere
Self: DerefMut<Target = T> + Deref,
T: ?Sized,
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Selfwhere Self: DerefMut<Target = T> + Deref, T: ?Sized,
Mutable access to the
Deref::Target of a value. Read more§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
Calls
.tap() only in debug builds, and is erased in release builds.§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
Calls
.tap_mut() only in debug builds, and is erased in release
builds.§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Selfwhere
Self: Borrow<B>,
B: ?Sized,
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Selfwhere Self: Borrow<B>, B: ?Sized,
Calls
.tap_borrow() only in debug builds, and is erased in release
builds.§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere
Self: BorrowMut<B>,
B: ?Sized,
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere Self: BorrowMut<B>, B: ?Sized,
Calls
.tap_borrow_mut() only in debug builds, and is erased in release
builds.§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Selfwhere
Self: AsRef<R>,
R: ?Sized,
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Selfwhere Self: AsRef<R>, R: ?Sized,
Calls
.tap_ref() only in debug builds, and is erased in release
builds.§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere
Self: AsMut<R>,
R: ?Sized,
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere Self: AsMut<R>, R: ?Sized,
Calls
.tap_ref_mut() only in debug builds, and is erased in release
builds.§impl<T> TryConv for T
impl<T> TryConv for T
§impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
impl<S, T> UncheckedInto<T> for Swhere T: UncheckedFrom<S>,
§fn unchecked_into(self) -> T
fn unchecked_into(self) -> T
The counterpart to
unchecked_from.§impl<T, S> UniqueSaturatedInto<T> for Swhere
T: Bounded,
S: TryInto<T>,
impl<T, S> UniqueSaturatedInto<T> for Swhere T: Bounded, S: TryInto<T>,
§fn unique_saturated_into(self) -> T
fn unique_saturated_into(self) -> T
Consume self to return an equivalent value of
T.