Trait ValidCostFactor 

pub trait ValidCostFactor:
    Unsigned
    + NonZero
    + Sealed {
    type Output: ArrayLength + PowerOfTwo + NonZero + IsLess<U4294967296, Output = B1>;
    type MinimumBlocks: ArrayLength + NonZero + IsLessOrEqual<U4294967296, Output = B1>;
}

A trait for valid cost factors

Required Associated Types

type Output: ArrayLength + PowerOfTwo + NonZero + IsLess<U4294967296, Output = B1>

The output type

type MinimumBlocks: ArrayLength + NonZero + IsLessOrEqual<U4294967296, Output = B1>

The minimum number of blocks required for a given Cost Factor (log2(N))

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl ValidCostFactor for U1

type Output = <UInt<UTerm, B1> as Shl>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U2

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UTerm, B1>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UTerm, B1>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U3

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UTerm, B1>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UTerm, B1>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U4

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UTerm, B1>, B0>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UTerm, B1>, B0>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U5

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UTerm, B1>, B0>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UTerm, B1>, B0>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U6

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UTerm, B1>, B1>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UTerm, B1>, B1>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U7

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UTerm, B1>, B1>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UTerm, B1>, B1>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U8

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U9

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U10

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U11

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U12

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U13

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U14

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U15

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U16

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U17

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U18

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U19

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U20

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U21

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U22

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U23

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U24

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U25

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U26

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U27

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U28

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U29

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U30

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

impl ValidCostFactor for U31

type Output = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>>>::Output

type MinimumBlocks = <<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>>>::Output as Add<UInt<UInt<UTerm, B1>, B0>>>::Output

Implementors