binius_core::tower

Trait PackedTop

Source 
pub trait PackedTop<Tower: TowerFamily>:
    PackedField<Scalar = Tower::B128>
    + PackedExtension<Tower::B1>
    + PackedExtension<Tower::B8>
    + PackedExtension<Tower::B16>
    + PackedExtension<Tower::B32>
    + PackedExtension<Tower::B64>
    + PackedExtension<Tower::B128> { }
Expand description

A packed field type that is the top packed field in a tower.

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.

Implementors§

Source§

impl<Tower: TowerFamily, _INNER> PackedTop<Tower> for _INNER
where _INNER: PackedField<Scalar = Tower::B128> + PackedExtension<Tower::B1> + PackedExtension<Tower::B8> + PackedExtension<Tower::B16> + PackedExtension<Tower::B32> + PackedExtension<Tower::B64> + PackedExtension<Tower::B128>,