Trait neptune::poseidon::Arity

pub trait Arity<T>: ArrayLength<T> {
    type ConstantsSize: ArrayLength<T>;

    // Required method
    fn tag() -> T;
}

Available arities for the Poseidon hasher.

Required Associated Types

type ConstantsSize: ArrayLength<T>

Must be Arity + 1.

Required Methods

fn tag() -> T

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<F: PrimeField> Arity<F> for U0

type ConstantsSize = UTerm

fn tag() -> F

impl<F: PrimeField> Arity<F> for U1

type ConstantsSize = <UInt<UTerm, B1> as Add<B1>>::Output

fn tag() -> F

impl<F: PrimeField> Arity<F> for U2

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U3

type ConstantsSize = <UInt<UInt<UTerm, B1>, B1> as Add<B1>>::Output

fn tag() -> F

impl<F: PrimeField> Arity<F> for U4

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U5

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U6

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U7

type ConstantsSize = <UInt<UInt<UInt<UTerm, B1>, B1>, B1> as Add<B1>>::Output

fn tag() -> F

impl<F: PrimeField> Arity<F> for U8

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U9

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U10

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U11

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U12

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U13

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U14

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U15

type ConstantsSize = <UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1> as Add<B1>>::Output

fn tag() -> F

impl<F: PrimeField> Arity<F> for U16

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U17

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U18

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U19

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U20

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U21

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U22

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U23

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U24

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U25

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U26

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U27

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U28

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U29

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U30

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U31

type ConstantsSize = <UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1> as Add<B1>>::Output

fn tag() -> F

impl<F: PrimeField> Arity<F> for U32

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U33

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U34

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U35

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

fn tag() -> F

impl<F: PrimeField> Arity<F> for U36

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

fn tag() -> F

Implementors