Trait Unit 

pub trait Unit: Clone + Sized {
    const ZERO: Self;
}

A trait denoting the requirements for the elements of the alphabet.

use spongefish::Unit;

#[derive(Clone, Debug, Unit, PartialEq, Eq)]
pub struct Rgb(pub u8, pub u8, pub u8);

assert_eq!(Rgb::ZERO, Rgb(0, 0, 0))

Required Associated Constants

const ZERO: Self

The zero element.

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 Unit for u8

const ZERO: Self = 0

impl Unit for u32

const ZERO: Self = 0

impl Unit for u64

const ZERO: Self = 0

impl Unit for u128

const ZERO: Self = 0

impl Unit for usize

const ZERO: Self = 0

impl Unit for Scalar

Available on crate feature bls12_381 only.

const ZERO: Self

impl Unit for Scalar

Available on crate feature curve25519-dalek only.

const ZERO: Self = Self::ZERO

impl Unit for Scalar

Available on crate feature k256 only.

const ZERO: Self = <Self as Field>::ZERO

impl Unit for Mersenne31

Available on crate feature p3-mersenne-31 only.

const ZERO: Self = MERSENNE31_ZERO

impl Unit for Scalar

Available on crate feature p256 only.

const ZERO: Self = Self::ZERO

impl Unit for BabyBear

Available on crate feature p3-baby-bear only.

const ZERO: Self = BABYBEAR_ZERO

impl Unit for KoalaBear

Available on crate feature p3-koala-bear only.

const ZERO: Self = KOALABEAR_ZERO

impl Unit for BabyBearElem

Available on crate feature risc0-zkp only.

const ZERO: Self

impl<C: FpConfig<N>, const N: usize> Unit for Fp<C, N>

Available on crate feature ark-ff only.

const ZERO: Self = C::ZERO

impl<P: SmallFpConfig> Unit for SmallFp<P>

Available on crate feature ark-ff only.

const ZERO: Self = P::ZERO

Implementors