Skip to main content

GroundedShape

Trait GroundedShape 

Source
pub trait GroundedShape: Sealed { }
Expand description

Sealed marker trait identifying type:ConstrainedType subclasses that may appear as the parameter of Grounded<T>. Per wiki ADR-027, the seal is the same __sdk_seal::Sealed supertrait foundation uses for FoundationClosed, PrismModel, and IntoBindingValue: only foundation and the SDK shape macros emit impls. The foundation-sanctioned identity output ConstrainedTypeInput retains its direct impl; application authors declaring custom Output shapes invoke the output_shape! SDK macro, which emits __sdk_seal::Sealed, GroundedShape, IntoBindingValue, and ConstrainedTypeShape together.

Implementors§

Source§

impl GroundedShape for DigestPair32

Source§

impl GroundedShape for HmacInputs

Source§

impl GroundedShape for CiphertextPair32

Source§

impl GroundedShape for BigIntPair32

Source§

impl GroundedShape for BigIntTriple32

Source§

impl GroundedShape for BytePair

Source§

impl GroundedShape for W8Byte

Source§

impl GroundedShape for W8

Source§

impl GroundedShape for W16

Source§

impl GroundedShape for W24

Source§

impl GroundedShape for W32

Source§

impl GroundedShape for W40

Source§

impl GroundedShape for W48

Source§

impl GroundedShape for W56

Source§

impl GroundedShape for W64

Source§

impl GroundedShape for W72

Source§

impl GroundedShape for W80

Source§

impl GroundedShape for W88

Source§

impl GroundedShape for W96

Source§

impl GroundedShape for W104

Source§

impl GroundedShape for W112

Source§

impl GroundedShape for W120

Source§

impl GroundedShape for W128

Source§

impl GroundedShape for W160

Source§

impl GroundedShape for W192

Source§

impl GroundedShape for W224

Source§

impl GroundedShape for W256

Source§

impl GroundedShape for W384

Source§

impl GroundedShape for W448

Source§

impl GroundedShape for W512

Source§

impl GroundedShape for W520

Source§

impl GroundedShape for W528

Source§

impl GroundedShape for W1024

Source§

impl GroundedShape for W2048

Source§

impl GroundedShape for W4096

Source§

impl GroundedShape for W8192

Source§

impl GroundedShape for W12288

Source§

impl GroundedShape for W16384

Source§

impl GroundedShape for W32768

Source§

impl GroundedShape for ConstrainedTypeInput

Source§

impl<const BYTES: usize> GroundedShape for Digest<BYTES>

Source§

impl<const BYTES: usize> GroundedShape for PublicKey<BYTES>

Source§

impl<const BYTES: usize> GroundedShape for Signature<BYTES>

Source§

impl<const BYTES: usize> GroundedShape for CiphertextShape<BYTES>

Source§

impl<const BYTES: usize> GroundedShape for BigIntShape<BYTES>

Source§

impl<const BYTES: usize> GroundedShape for FieldElementShape<BYTES>

Source§

impl<const BYTES: usize> GroundedShape for Gf2RingShape<BYTES>

Source§

impl<const INT_BITS: u32, const FRAC_BITS: u32> GroundedShape for FixedPointShape<INT_BITS, FRAC_BITS>

Source§

impl<const MAX_DEGREE: usize, const COEFF_BYTES: usize> GroundedShape for PolynomialShape<MAX_DEGREE, COEFF_BYTES>

Source§

impl<const MAX_DEPTH: usize, const LEAF_BYTES: usize> GroundedShape for MerkleProofShape<MAX_DEPTH, LEAF_BYTES>

Source§

impl<const N: usize, const ELEM_BYTES: usize> GroundedShape for VectorShape<N, ELEM_BYTES>

Source§

impl<const ROWS: usize, const COLS: usize, const ELEM_BYTES: usize> GroundedShape for MatrixShape<ROWS, COLS, ELEM_BYTES>