pub struct CombineTypesAndLimits<T, L = ()>(_)
where
         T: Types,
         L: Limits;
Expand description

Combines two different types - first implementing Types and second implementing Limits to form a single type implementing both.

Trait Implementations§

source§

impl<T, L> Clone for CombineTypesAndLimits<T, L>where T: Clone + Types, L: Clone + Limits,

source§

fn clone(&self) -> CombineTypesAndLimits<T, L>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<T, L> Default for CombineTypesAndLimits<T, L>where T: Default + Types, L: Default + Limits,

source§

fn default() -> CombineTypesAndLimits<T, L>

Returns the “default value” for a type. Read more
source§

impl<T, L> Limits for CombineTypesAndLimits<T, L>where T: Types, L: Limits,

§

type MaxAccumulatorLabelSize = <L as Limits>::MaxAccumulatorLabelSize

Maximum size of the label
§

type MaxAccumulatorParamsSize = <L as Limits>::MaxAccumulatorParamsSize

Maximum byte size of the parameters. This depends only on the chosen elliptic curve.
§

type MaxAccumulatorPublicKeySize = <L as Limits>::MaxAccumulatorPublicKeySize

Maximum byte size of the public key. This depends only on the chosen elliptic curve.
§

type MaxAccumulatorAccumulatedSize = <L as Limits>::MaxAccumulatorAccumulatedSize

Maximum byte size of the accumulated value which is just one group element (not the number of members)
§

type MaxDidDocRefSize = <L as Limits>::MaxDidDocRefSize

Maximum byte size of reference to off-chain DID Doc.
§

type MaxDidServiceEndpointIdSize = <L as Limits>::MaxDidServiceEndpointIdSize

Maximum byte size of service endpoint’s id field
§

type MaxDidServiceEndpointOrigins = <L as Limits>::MaxDidServiceEndpointOrigins

Maximum number of service endpoint’s origin
§

type MaxDidServiceEndpointOriginSize = <L as Limits>::MaxDidServiceEndpointOriginSize

Maximum byte size of service endpoint’s origin
§

type MaxStatusListCredentialSize = <L as Limits>::MaxStatusListCredentialSize

StatusListCredentials with size larger than this won’t be accepted.
§

type MinStatusListCredentialSize = <L as Limits>::MinStatusListCredentialSize

StatusListCredentials with size less than this won’t be accepted.
§

type MaxIriSize = <L as Limits>::MaxIriSize

Max byte size of the Iri.
§

type MaxBlobSize = <L as Limits>::MaxBlobSize

Max byte size of the Blob.
§

type MaxOffchainParamsLabelSize = <L as Limits>::MaxOffchainParamsLabelSize

Max byte size of the offchain params label.
§

type MaxOffchainParamsBytesSize = <L as Limits>::MaxOffchainParamsBytesSize

Max byte size of the offchain params bytes.
§

type MaxBBSPublicKeySize = <L as Limits>::MaxBBSPublicKeySize

Maximum byte size of the BBS (fixed size) public key. This depends only on the chosen elliptic curve.
§

type MaxBBSPlusPublicKeySize = <L as Limits>::MaxBBSPlusPublicKeySize

Maximum byte size of the BBS+ (fixed size) public key. This depends only on the chosen elliptic curve.
§

type MaxPSPublicKeySize = <L as Limits>::MaxPSPublicKeySize

Maximum byte size of the PS public key. This depends on the chosen elliptic curve and the number of messages that can be signed.
§

type MaxBBDT16PublicKeySize = <L as Limits>::MaxBBDT16PublicKeySize

Maximum byte size of the BBDT16 (fixed size) public key. This depends only on the chosen elliptic curve.
§

type MaxMasterMembers = <L as Limits>::MaxMasterMembers

Max amount of master members per a single Membership.
§

type MaxPolicyControllers = <L as Limits>::MaxPolicyControllers

Max amount of the controller DIDs per a single Policy.
§

type MaxIssuerPriceCurrencySymbolSize = <L as Limits>::MaxMasterMembers

§

type MaxIssuersPerSchema = <L as Limits>::MaxIssuersPerSchema

Max no of issuers that can issue for a particular schema
§

type MaxVerifiersPerSchema = <L as Limits>::MaxVerifiersPerSchema

Max no of verifiers that can verify (credential) for a particular schema
§

type MaxIssuerPriceCurrencies = <L as Limits>::MaxIssuerPriceCurrencies

Max no of currencies an issuer can set the price in for a particular schema
§

type MaxTrustRegistryNameSize = <L as Limits>::MaxTrustRegistryNameSize

Max size of the trust registry name.
§

type MaxConvenerRegistries = <L as Limits>::MaxConvenerRegistries

Max no of the trust registries per a single convener.
§

type MaxDelegatedIssuers = <L as Limits>::MaxDelegatedIssuers

Max no of delegated issuers a particular issuer can have
§

type MaxSchemasPerIssuer = <L as Limits>::MaxSchemasPerIssuer

Max no of schemas that a particular issuer can issue for
§

type MaxSchemasPerVerifier = <L as Limits>::MaxSchemasPerVerifier

Max no of schemas that a particular verifier can verify (credential) for
§

type MaxSchemasPerRegistry = <L as Limits>::MaxSchemasPerRegistry

Max no of schemas per registry.
§

type MaxRegistriesPerIssuer = <L as Limits>::MaxRegistriesPerIssuer

Max no of registries per a single issuer.
§

type MaxRegistriesPerVerifier = <L as Limits>::MaxRegistriesPerVerifier

Max no of registries per a single verifier.
§

type MaxTrustRegistryGovFrameworkSize = <L as Limits>::MaxTrustRegistryGovFrameworkSize

Max government framework size for the trust registry.
§

type MaxParticipantsPerRegistry = <L as Limits>::MaxParticipantsPerRegistry

Max no of participants per a single registry.
§

type MaxRegistryParticipantOrgNameSize = <L as Limits>::MaxRegistryParticipantOrgNameSize

Max size of the TrustRegistry participant’s org name.
§

type MaxRegistryParticipantLogoSize = <L as Limits>::MaxRegistryParticipantLogoSize

Max size of the TrustRegistry participant’s logo.
§

type MaxRegistryParticipantDescriptionSize = <L as Limits>::MaxRegistryParticipantDescriptionSize

Max size of the TrustRegistry participant’s description.
source§

impl<T, L> PartialEq<CombineTypesAndLimits<T, L>> for CombineTypesAndLimits<T, L>where T: PartialEq<T> + Types, L: PartialEq<L> + Limits,

source§

fn eq(&self, other: &CombineTypesAndLimits<T, L>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<T, L> Types for CombineTypesAndLimits<T, L>where T: Types, L: Limits,

source§

impl<T, L> Eq for CombineTypesAndLimits<T, L>where T: Eq + Types, L: Eq + Limits,

source§

impl<T, L> StructuralEq for CombineTypesAndLimits<T, L>where T: Types, L: Limits,

source§

impl<T, L> StructuralPartialEq for CombineTypesAndLimits<T, L>where T: Types, L: Limits,

Auto Trait Implementations§

§

impl<T, L> RefUnwindSafe for CombineTypesAndLimits<T, L>where L: RefUnwindSafe, T: RefUnwindSafe,

§

impl<T, L> Send for CombineTypesAndLimits<T, L>where L: Send, T: Send,

§

impl<T, L> Sync for CombineTypesAndLimits<T, L>where L: Sync, T: Sync,

§

impl<T, L> Unpin for CombineTypesAndLimits<T, L>where L: Unpin, T: Unpin,

§

impl<T, L> UnwindSafe for CombineTypesAndLimits<T, L>where L: UnwindSafe, T: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CanUpdate<()> for T

source§

fn can_add(&self, _entity: &()) -> bool

Checks whether the new entity can be added.
source§

fn can_remove(&self, _entity: &()) -> bool

Checks whether the existing entity can be removed.
source§

fn can_replace(&self, _new: &(), _entity: &()) -> bool

Checks whether the provided entity can replace the existing one.
§

impl<T> CheckedConversion for T

§

fn checked_from<T>(t: T) -> Option<Self>where Self: TryFrom<T>,

Convert from a value of T into an equivalent instance of Option<Self>. Read more
§

fn checked_into<T>(self) -> Option<T>where Self: TryInto<T>,

Consume self to return Some equivalent value of Option<T>. Read more
§

impl<T> Clear for Twhere T: Default + Eq + PartialEq<T>,

§

fn is_clear(&self) -> bool

True iff no bits are set.
§

fn clear() -> T

Return the value of Self that is clear.
§

impl<T> Downcast for Twhere T: Any,

§

fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
§

impl<T> DowncastSync for Twhere T: Any + Send + Sync,

§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send + 'static>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
source§

impl<T> DynClone for Twhere T: Clone,

source§

fn __clone_box(&self, _: Private) -> *mut ()

source§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

§

impl<T> IsType<T> for T

§

fn from_ref(t: &T) -> &T

Cast reference.
§

fn into_ref(&self) -> &T

Cast reference.
§

fn from_mut(t: &mut T) -> &mut T

Cast mutable reference.
§

fn into_mut(&mut self) -> &mut T

Cast mutable reference.
§

impl<T, Outer> IsWrappedBy<Outer> for Twhere Outer: AsRef<T> + AsMut<T> + From<T>, T: From<Outer>,

§

fn from_ref(outer: &Outer) -> &T

Get a reference to the inner from the outer.

§

fn from_mut(outer: &mut Outer) -> &mut T

Get a mutable reference to the inner from the outer.

§

impl<T> Pointable for T

§

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
§

impl<T> SaturatedConversion for T

§

fn saturated_from<T>(t: T) -> Selfwhere Self: UniqueSaturatedFrom<T>,

Convert from a value of T into an equivalent instance of Self. Read more
§

fn saturated_into<T>(self) -> Twhere Self: UniqueSaturatedInto<T>,

Consume self to return an equivalent value of T. Read more
source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<S, T> UncheckedInto<T> for Swhere T: UncheckedFrom<S>,

§

fn unchecked_into(self) -> T

The counterpart to unchecked_from.
§

impl<T, S> UniqueSaturatedInto<T> for Swhere T: Bounded, S: TryInto<T>,

§

fn unique_saturated_into(self) -> T

Consume self to return an equivalent value of T.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

impl<T> JsonSchemaMaybe for T

§

impl<T> MaybeRefUnwindSafe for Twhere T: RefUnwindSafe,

source§

impl<T> TypesAndLimits for Twhere T: Types + Limits,