pub struct ZigzagModule { /* private fields */ }Expand description
A checked finite zigzag vector-space module over a prime field.
Implementations§
Source§impl ZigzagModule
impl ZigzagModule
Sourcepub fn new(
modulus: u32,
dimensions: Vec<usize>,
maps: Vec<ZigzagMap>,
limits: ZigzagLimits,
) -> Result<Self>
pub fn new( modulus: u32, dimensions: Vec<usize>, maps: Vec<ZigzagMap>, limits: ZigzagLimits, ) -> Result<Self>
Construct and validate one finite zigzag module.
Sourcepub fn id(&self) -> ZigzagModuleId
pub fn id(&self) -> ZigzagModuleId
Content identifier of this module.
Sourcepub fn dimensions(&self) -> &[usize]
pub fn dimensions(&self) -> &[usize]
Node dimensions in zigzag order.
Sourcepub fn decompose(&self) -> Result<ZigzagBarcode>
pub fn decompose(&self) -> Result<ZigzagBarcode>
Decompose this type-A representation into interval summands.
Trait Implementations§
Source§impl Clone for ZigzagModule
impl Clone for ZigzagModule
Source§fn clone(&self) -> ZigzagModule
fn clone(&self) -> ZigzagModule
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ZigzagModule
impl Debug for ZigzagModule
impl Eq for ZigzagModule
Source§impl PartialEq for ZigzagModule
impl PartialEq for ZigzagModule
impl StructuralPartialEq for ZigzagModule
Auto Trait Implementations§
impl Freeze for ZigzagModule
impl RefUnwindSafe for ZigzagModule
impl Send for ZigzagModule
impl Sync for ZigzagModule
impl Unpin for ZigzagModule
impl UnsafeUnpin for ZigzagModule
impl UnwindSafe for ZigzagModule
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more