Struct ProductType

pub struct ProductType<T, I, Provider, Asset, Rational, Time, Addon>
where
    Provider: ProductProvider<Asset, Rational, Time, Addon>,
    T: Config<I>,
    I: 'static,
    Addon: DiscriminantTag,
    Rational: DiscriminantTag,
    Time: DiscriminantTag,
    Asset: DiscriminantTag,
{
    asset: SumDynType<AssetOf<T, I>, <Provider as VirtualDynBound<Asset>>::Bound>,
    bias: SumDynType<T::Bias, <Provider as VirtualDynBound<Rational>>::Bound>,
    time: SumDynType<T::Time, <Provider as VirtualDynBound<Time>>::Bound>,
    addon: <Provider as VirtualDynExtensionSchema<Addon>>::Repr,
}

A generic virtual product structure used by LazyBalance components.

Core backing type for:

• VirtualBalance
• VirtualReceipt
• VirtualSnapShot

Each field is stored as a SumDynType and accessed via VirtualDynField or VirtualDynExtension.

Enables a schema-less, context-driven layout, where:

• field multiplicity is dynamic (None | Some | Many)
• bounds are enforced via VirtualDynBound
• extensions are defined via VirtualDynExtensionSchema

This allows reuse across multiple virtual types without redefining structs.

• ProductProvider implemented by BalanceModelContext supplies bounds and extension schema
• generics (Asset, Rational, Time) resolve discriminant fields of the respective lazy balance virtual structs.
• access is mediated through generic-traits, not direct struct usage

Fields

asset: SumDynType<AssetOf<T, I>, <Provider as VirtualDynBound<Asset>>::Bound>

Asset-related fields resolved via VirtualDynField.

Uses SumDynType with capacity bounded by VirtualDynBound for Asset.

bias: SumDynType<T::Bias, <Provider as VirtualDynBound<Rational>>::Bound>

Rational fields (e.g. bias / price factors) resolved via VirtualDynField.

Backed by SumDynType and bounded by VirtualDynBound for Rational.

time: SumDynType<T::Time, <Provider as VirtualDynBound<Time>>::Bound>

Time-related fields (e.g. checkpoints) resolved via VirtualDynField.

Encoded as SumDynType with bounds provided by VirtualDynBound for Time.

addon: <Provider as VirtualDynExtensionSchema<Addon>>::Repr

Extension storage defined by VirtualDynExtensionSchema.

Layout and semantics are fully provided by ProductProvider via the associated extension schema (Addon).

Trait Implementations

impl<T, I, Provider, Asset, Rational, Time, Addon> Clone for ProductType<T, I, Provider, Asset, Rational, Time, Addon>

where Provider: ProductProvider<Asset, Rational, Time, Addon>, T: Config<I>, I: 'static, Addon: DiscriminantTag, Rational: DiscriminantTag, Time: DiscriminantTag, Asset: DiscriminantTag,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T, I, Provider, Asset, Rational, Time, Addon> Debug for ProductType<T, I, Provider, Asset, Rational, Time, Addon>

where Provider: ProductProvider<Asset, Rational, Time, Addon>, T: Config<I>, I: 'static, Addon: DiscriminantTag, Rational: DiscriminantTag, Time: DiscriminantTag, Asset: DiscriminantTag,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, I, Provider, Asset, Rational, Time, Addon> Decode for ProductType<T, I, Provider, Asset, Rational, Time, Addon>

where Provider: ProductProvider<Asset, Rational, Time, Addon>, T: Config<I>, I: 'static, Addon: DiscriminantTag, Rational: DiscriminantTag, Time: DiscriminantTag, Asset: DiscriminantTag, <Provider as VirtualDynExtensionSchema<Addon>>::Repr: Delimited + Default,

fn decode<__CodecInputEdqy: Input>( __codec_input_edqy: &mut __CodecInputEdqy, ) -> Result<Self, Error>

Attempt to deserialise the value from input.

fn decode_into<I>( input: &mut I, dst: &mut MaybeUninit<Self>, ) -> Result<DecodeFinished, Error>

where I: Input,

Attempt to deserialize the value from input into a pre-allocated piece of memory.

fn skip<I>(input: &mut I) -> Result<(), Error>

where I: Input,

Attempt to skip the encoded value from input.

fn encoded_fixed_size() -> Option<usize>

Returns the fixed encoded size of the type.

impl<T, I, Provider, Asset, Rational, Time, Addon> Default for ProductType<T, I, Provider, Asset, Rational, Time, Addon>

where Provider: ProductProvider<Asset, Rational, Time, Addon>, T: Config<I>, I: 'static, Addon: DiscriminantTag, Rational: DiscriminantTag, Time: DiscriminantTag, Asset: DiscriminantTag,

fn default() -> Self

Returns the “default value” for a type.

impl<T, I, Provider, Asset, Rational, Time, Addon> Encode for ProductType<T, I, Provider, Asset, Rational, Time, Addon>

where Provider: ProductProvider<Asset, Rational, Time, Addon>, T: Config<I>, I: 'static, Addon: DiscriminantTag, Rational: DiscriminantTag, Time: DiscriminantTag, Asset: DiscriminantTag, <Provider as VirtualDynExtensionSchema<Addon>>::Repr: Delimited + Default,

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding.

fn encode_to<__CodecOutputEdqy: Output + ?Sized>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy, )

Convert self to a slice and append it to the destination.

fn encode(&self) -> Vec<u8>

Convert self to an owned vector.

fn using_encoded<R, F>(&self, f: F) -> R

where F: FnOnce(&[u8]) -> R,

Convert self to a slice and then invoke the given closure with it.

fn encoded_size(&self) -> usize

Calculates the encoded size.

impl<T, I, Provider, Asset, Rational, Time, Addon> MaxEncodedLen for ProductType<T, I, Provider, Asset, Rational, Time, Addon>

where Provider: ProductProvider<Asset, Rational, Time, Addon>, T: Config<I>, I: 'static, Addon: DiscriminantTag, Rational: DiscriminantTag, Time: DiscriminantTag, Asset: DiscriminantTag, <Provider as VirtualDynExtensionSchema<Addon>>::Repr: MaxEncodedLen,

fn max_encoded_len() -> usize

Upper bound, in bytes, of the maximum encoded size of this item.

impl<T, I, Provider, Asset, Rational, Time, Addon> PartialEq for ProductType<T, I, Provider, Asset, Rational, Time, Addon>

where Provider: ProductProvider<Asset, Rational, Time, Addon>, T: Config<I>, I: 'static, Addon: DiscriminantTag, Rational: DiscriminantTag, Time: DiscriminantTag, Asset: DiscriminantTag,

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T, I, Provider, Asset, Rational, Time, Addon> TypeInfo for ProductType<T, I, Provider, Asset, Rational, Time, Addon>

where Provider: ProductProvider<Asset, Rational, Time, Addon> + 'static, T: Config<I> + 'static, I: 'static, Addon: DiscriminantTag + 'static, Rational: DiscriminantTag + 'static, Time: DiscriminantTag + 'static, Asset: DiscriminantTag + 'static, SumDynType<AssetOf<T, I>, <Provider as VirtualDynBound<Asset>>::Bound>: TypeInfo + 'static, SumDynType<T::Bias, <Provider as VirtualDynBound<Rational>>::Bound>: TypeInfo + 'static, SumDynType<T::Time, <Provider as VirtualDynBound<Time>>::Bound>: TypeInfo + 'static, <Provider as VirtualDynExtensionSchema<Addon>>::Repr: TypeInfo + 'static,

type Identity = ProductType<T, I, Provider, Asset, Rational, Time, Addon>

The type identifying for which type info is provided.

fn type_info() -> Type

Returns the static type identifier for Self.

impl<T, I, Provider> VirtualDynExtension<BalanceAddon> for ProductType<T, I, Provider, BalanceAsset, BalanceRational, BalanceTime, BalanceAddon>

where Provider: ProductProvider<BalanceAsset, BalanceRational, BalanceTime, BalanceAddon>, T: Config<I>, I: 'static,

type TypesVia = Provider

External schema defining the extension.

fn access(&self) -> <Provider as VirtualDynExtensionSchema<BalanceAddon>>::Repr

Returns the underlying representation.

fn mutate( &mut self, v: <Provider as VirtualDynExtensionSchema<BalanceAddon>>::Repr, )

Replaces the underlying representation.

fn len(&self) -> usize

Returns the current number of elements.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I, Provider> VirtualDynExtension<ReceiptAddon> for ProductType<T, I, Provider, ReceiptAsset, ReceiptRational, ReceiptTime, ReceiptAddon>

where Provider: ProductProvider<ReceiptAsset, ReceiptRational, ReceiptTime, ReceiptAddon>, T: Config<I>, I: 'static,

type TypesVia = Provider

External schema defining the extension.

fn access(&self) -> <Provider as VirtualDynExtensionSchema<ReceiptAddon>>::Repr

Returns the underlying representation.

fn mutate( &mut self, v: <Provider as VirtualDynExtensionSchema<ReceiptAddon>>::Repr, )

Replaces the underlying representation.

fn len(&self) -> usize

Returns the current number of elements.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I, Provider> VirtualDynExtension<SnapShotAddon> for ProductType<T, I, Provider, SnapShotAsset, SnapShotRational, SnapShotTime, SnapShotAddon>

where Provider: ProductProvider<SnapShotAsset, SnapShotRational, SnapShotTime, SnapShotAddon>, T: Config<I>, I: 'static,

type TypesVia = Provider

External schema defining the extension.

fn access(&self) -> <Provider as VirtualDynExtensionSchema<SnapShotAddon>>::Repr

Returns the underlying representation.

fn mutate( &mut self, v: <Provider as VirtualDynExtensionSchema<SnapShotAddon>>::Repr, )

Replaces the underlying representation.

fn len(&self) -> usize

Returns the current number of elements.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I, Provider> VirtualDynField<BalanceAsset> for ProductType<T, I, Provider, BalanceAsset, BalanceRational, BalanceTime, BalanceAddon>

where Provider: ProductProvider<BalanceAsset, BalanceRational, BalanceTime, BalanceAddon>, T: Config<I>, I: 'static,

type None = ()

Representation of absence.

type Some = <<T as Config<I>>::Asset as Inspect<<T as Config>::AccountId>>::Balance

The logical element type stored in the virtual field.

type Many = Vec<<<T as Config<I>>::Asset as Inspect<<T as Config>::AccountId>>::Balance>

A collection of Some.

type Repr = SumDynType<<<T as Config<I>>::Asset as Inspect<<T as Config>::AccountId>>::Balance, <Provider as VirtualDynBound<BalanceAsset>>::Bound>

Opaque storage backing the virtual field.

fn access(&self) -> Self::Repr

Returns the current representation of the virtual field.

fn mutate(&mut self, v: Self::Repr)

Replaces the current representation.

fn len(&self) -> usize

Returns the current number of elements represented.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I, Provider> VirtualDynField<BalanceRational> for ProductType<T, I, Provider, BalanceAsset, BalanceRational, BalanceTime, BalanceAddon>

where Provider: ProductProvider<BalanceAsset, BalanceRational, BalanceTime, BalanceAddon>, T: Config<I>, I: 'static,

type None = ()

Representation of absence.

type Some = <T as Config<I>>::Bias

The logical element type stored in the virtual field.

type Many = Vec<<T as Config<I>>::Bias>

A collection of Some.

type Repr = SumDynType<<T as Config<I>>::Bias, <Provider as VirtualDynBound<BalanceRational>>::Bound>

Opaque storage backing the virtual field.

fn access(&self) -> Self::Repr

Returns the current representation of the virtual field.

fn mutate(&mut self, v: Self::Repr)

Replaces the current representation.

fn len(&self) -> usize

Returns the current number of elements represented.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I, Provider> VirtualDynField<BalanceTime> for ProductType<T, I, Provider, BalanceAsset, BalanceRational, BalanceTime, BalanceAddon>

where Provider: ProductProvider<BalanceAsset, BalanceRational, BalanceTime, BalanceAddon>, T: Config<I>, I: 'static,

type None = ()

Representation of absence.

type Some = <T as Config<I>>::Time

The logical element type stored in the virtual field.

type Many = Vec<<T as Config<I>>::Time>

A collection of Some.

type Repr = SumDynType<<T as Config<I>>::Time, <Provider as VirtualDynBound<BalanceTime>>::Bound>

Opaque storage backing the virtual field.

fn access(&self) -> Self::Repr

Returns the current representation of the virtual field.

fn mutate(&mut self, v: Self::Repr)

Replaces the current representation.

fn len(&self) -> usize

Returns the current number of elements represented.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I, Provider> VirtualDynField<ReceiptAsset> for ProductType<T, I, Provider, ReceiptAsset, ReceiptRational, ReceiptTime, ReceiptAddon>

where Provider: ProductProvider<ReceiptAsset, ReceiptRational, ReceiptTime, ReceiptAddon>, T: Config<I>, I: 'static,

type None = ()

Representation of absence.

type Some = <<T as Config<I>>::Asset as Inspect<<T as Config>::AccountId>>::Balance

The logical element type stored in the virtual field.

type Many = Vec<<<T as Config<I>>::Asset as Inspect<<T as Config>::AccountId>>::Balance>

A collection of Some.

type Repr = SumDynType<<<T as Config<I>>::Asset as Inspect<<T as Config>::AccountId>>::Balance, <Provider as VirtualDynBound<ReceiptAsset>>::Bound>

Opaque storage backing the virtual field.

fn access(&self) -> Self::Repr

Returns the current representation of the virtual field.

fn mutate(&mut self, v: Self::Repr)

Replaces the current representation.

fn len(&self) -> usize

Returns the current number of elements represented.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I, Provider> VirtualDynField<ReceiptRational> for ProductType<T, I, Provider, ReceiptAsset, ReceiptRational, ReceiptTime, ReceiptAddon>

where Provider: ProductProvider<ReceiptAsset, ReceiptRational, ReceiptTime, ReceiptAddon>, T: Config<I>, I: 'static,

type None = ()

Representation of absence.

type Some = <T as Config<I>>::Bias

The logical element type stored in the virtual field.

type Many = Vec<<T as Config<I>>::Bias>

A collection of Some.

type Repr = SumDynType<<T as Config<I>>::Bias, <Provider as VirtualDynBound<ReceiptRational>>::Bound>

Opaque storage backing the virtual field.

fn access(&self) -> Self::Repr

Returns the current representation of the virtual field.

fn mutate(&mut self, v: Self::Repr)

Replaces the current representation.

fn len(&self) -> usize

Returns the current number of elements represented.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I, Provider> VirtualDynField<ReceiptTime> for ProductType<T, I, Provider, ReceiptAsset, ReceiptRational, ReceiptTime, ReceiptAddon>

where Provider: ProductProvider<ReceiptAsset, ReceiptRational, ReceiptTime, ReceiptAddon>, T: Config<I>, I: 'static,

type None = ()

Representation of absence.

type Some = <T as Config<I>>::Time

The logical element type stored in the virtual field.

type Many = Vec<<T as Config<I>>::Time>

A collection of Some.

type Repr = SumDynType<<T as Config<I>>::Time, <Provider as VirtualDynBound<ReceiptTime>>::Bound>

Opaque storage backing the virtual field.

fn access(&self) -> Self::Repr

Returns the current representation of the virtual field.

fn mutate(&mut self, v: Self::Repr)

Replaces the current representation.

fn len(&self) -> usize

Returns the current number of elements represented.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I, Provider> VirtualDynField<SnapShotAsset> for ProductType<T, I, Provider, SnapShotAsset, SnapShotRational, SnapShotTime, SnapShotAddon>

where Provider: ProductProvider<SnapShotAsset, SnapShotRational, SnapShotTime, SnapShotAddon>, T: Config<I>, I: 'static,

type None = ()

Representation of absence.

type Some = <<T as Config<I>>::Asset as Inspect<<T as Config>::AccountId>>::Balance

The logical element type stored in the virtual field.

type Many = Vec<<<T as Config<I>>::Asset as Inspect<<T as Config>::AccountId>>::Balance>

A collection of Some.

type Repr = SumDynType<<<T as Config<I>>::Asset as Inspect<<T as Config>::AccountId>>::Balance, <Provider as VirtualDynBound<SnapShotAsset>>::Bound>

Opaque storage backing the virtual field.

fn access(&self) -> Self::Repr

Returns the current representation of the virtual field.

fn mutate(&mut self, v: Self::Repr)

Replaces the current representation.

fn len(&self) -> usize

Returns the current number of elements represented.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I, Provider> VirtualDynField<SnapShotRational> for ProductType<T, I, Provider, SnapShotAsset, SnapShotRational, SnapShotTime, SnapShotAddon>

where Provider: ProductProvider<SnapShotAsset, SnapShotRational, SnapShotTime, SnapShotAddon>, T: Config<I>, I: 'static,

type None = ()

Representation of absence.

type Some = <T as Config<I>>::Bias

The logical element type stored in the virtual field.

type Many = Vec<<T as Config<I>>::Bias>

A collection of Some.

type Repr = SumDynType<<T as Config<I>>::Bias, <Provider as VirtualDynBound<SnapShotRational>>::Bound>

Opaque storage backing the virtual field.

fn access(&self) -> Self::Repr

Returns the current representation of the virtual field.

fn mutate(&mut self, v: Self::Repr)

Replaces the current representation.

fn len(&self) -> usize

Returns the current number of elements represented.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I, Provider> VirtualDynField<SnapShotTime> for ProductType<T, I, Provider, SnapShotAsset, SnapShotRational, SnapShotTime, SnapShotAddon>

where Provider: ProductProvider<SnapShotAsset, SnapShotRational, SnapShotTime, SnapShotAddon>, T: Config<I>, I: 'static,

type None = ()

Representation of absence.

type Some = <T as Config<I>>::Time

The logical element type stored in the virtual field.

type Many = Vec<<T as Config<I>>::Time>

A collection of Some.

type Repr = SumDynType<<T as Config<I>>::Time, <Provider as VirtualDynBound<SnapShotTime>>::Bound>

Opaque storage backing the virtual field.

fn access(&self) -> Self::Repr

Returns the current representation of the virtual field.

fn mutate(&mut self, v: Self::Repr)

Replaces the current representation.

fn len(&self) -> usize

Returns the current number of elements represented.

fn min(&self) -> usize

Returns the minimum number of elements representable.

fn max(&self) -> usize

Returns the maximum number of elements representable.

impl<T, I> VirtualNMap<ProductType<T, I, <<T as Config<I>>::BalanceContext as ModelContext>::Context, BalanceAsset, BalanceRational, BalanceTime, BalanceAddon>, SnapShotStorage> for Pallet<T, I>

where T: Config<I>, I: 'static,

VirtualNMap implementation for snapshot storage of VirtualBalance.

Implemented for Pallet since it satisfies the super-bounds of LazyBalance and provides the concrete virtual storage backend.

Maps (digest, variant, time) -> VirtualSnapShot, enabling time-indexed balance projections via BalanceSnapShots.

type Key = (<T as Config>::AccountId, <T as Config<I>>::Position, <T as Config<I>>::Time)

Key used to address entries in the map.

type Value = ProductType<T, I, <<T as Config<I>>::BalanceContext as ModelContext>::Context, SnapShotAsset, SnapShotRational, SnapShotTime, SnapShotAddon>

Value stored in the map.

type KeyGen = (Key<Blake2_128Concat, <T as Config>::AccountId>, Key<Blake2_128Concat, <T as Config<I>>::Position>, Key<Blake2_128Concat, <T as Config<I>>::Time>)

Defines how Key is transformed into storage keys.

type Map = StorageNMap<_GeneratedPrefixForStorageBalanceSnapShots<T, I>, (Key<Blake2_128Concat, <T as Config>::AccountId>, Key<Blake2_128Concat, <T as Config<I>>::Position>, Key<Blake2_128Concat, <T as Config<I>>::Time>), ProductType<T, I, <<T as Config<I>>::BalanceContext as ModelContext>::Context, SnapShotAsset, SnapShotRational, SnapShotTime, SnapShotAddon>>

Underlying storage map backing this abstraction.

type Query = Option<ProductType<T, I, <<T as Config<I>>::BalanceContext as ModelContext>::Context, SnapShotAsset, SnapShotRational, SnapShotTime, SnapShotAddon>>

Return type for read operations.

fn get(key: Self::Key) -> Self::Query

Fetch value associated with key.

fn insert(key: Self::Key, value: Self::Value)

Insert or overwrite value at key.

fn remove(key: Self::Key)

Remove value at key.

fn take(key: Self::Key) -> Self::Query

Remove and return value at key.

fn contains_key(key: Self::Key) -> bool

Check if key exists.

fn mutate<R>(key: Self::Key, f: impl FnOnce(&mut Option<Self::Value>) -> R) -> R

Mutate value at key in-place.

fn iter() -> impl Iterator<Item = (<Self::KeyGen as KeyGenerator>::Key, Self::Value)>

Iterate over all (full_key, value) pairs.

fn iter_keys() -> impl Iterator<Item = <Self::KeyGen as KeyGenerator>::Key>

Iterate over all full keys.

fn iter_values() -> impl Iterator<Item = Self::Value>

Iterate over all values.

fn drain() -> impl Iterator<Item = (<Self::KeyGen as KeyGenerator>::Key, Self::Value)>

Drain entire map, yielding all (key, value) pairs.

fn count() -> usize

Count total number of entries.

fn iter_prefix_values<P>(prefix: P) -> impl Iterator<Item = Self::Value>

where Self::KeyGen: HasKeyPrefix<P>,

Iterate over values matching a prefix.

fn iter_prefix<P>( prefix: P, ) -> impl Iterator<Item = (<Self::KeyGen as HasKeyPrefix<P>>::Suffix, Self::Value)>

where Self::KeyGen: HasReversibleKeyPrefix<P>,

Iterate over (suffix, value) under a prefix.

fn iter_key_prefix<P>( prefix: P, ) -> impl Iterator<Item = <Self::KeyGen as HasKeyPrefix<P>>::Suffix>

where Self::KeyGen: HasReversibleKeyPrefix<P>,

Iterate over suffix keys under a prefix.

fn drain_prefix<P>( prefix: P, ) -> impl Iterator<Item = (<Self::KeyGen as HasKeyPrefix<P>>::Suffix, Self::Value)>

where Self::KeyGen: HasReversibleKeyPrefix<P>,

Drain entries under a prefix, yielding (suffix, value).

impl<T, I, Provider, Asset, Rational, Time, Addon> DecodeWithMemTracking for ProductType<T, I, Provider, Asset, Rational, Time, Addon>

where Provider: ProductProvider<Asset, Rational, Time, Addon>, T: Config<I>, I: 'static, Addon: DiscriminantTag, Rational: DiscriminantTag, Time: DiscriminantTag, Asset: DiscriminantTag, <Provider as VirtualDynExtensionSchema<Addon>>::Repr: Delimited + Default,

impl<T, I, Provider, Asset, Rational, Time, Addon> EncodeLike for ProductType<T, I, Provider, Asset, Rational, Time, Addon>

where Provider: ProductProvider<Asset, Rational, Time, Addon>, T: Config<I>, I: 'static, Addon: DiscriminantTag, Rational: DiscriminantTag, Time: DiscriminantTag, Asset: DiscriminantTag, <Provider as VirtualDynExtensionSchema<Addon>>::Repr: Delimited + Default,

impl<T, I, Provider, Asset, Rational, Time, Addon> Eq for ProductType<T, I, Provider, Asset, Rational, Time, Addon>

where Provider: ProductProvider<Asset, Rational, Time, Addon>, T: Config<I>, I: 'static, Addon: DiscriminantTag, Rational: DiscriminantTag, Time: DiscriminantTag, Asset: DiscriminantTag,