Struct HopfFiberRecord 

pub struct HopfFiberRecord<H>
where
    H: HostTypes,
{
    pub fiber_dimension: u64,
    pub total_space: &'static <H as HostTypes>::HostString,
    pub base_space: &'static <H as HostTypes>::HostString,
    pub fiber_sphere: &'static <H as HostTypes>::HostString,
    /* private fields */
}

Phase 8 (orphan-closure) — typed record for HopfFiber<H>.

Carries a field per functional accessor of the trait. Object fields hold {Range}Handle<H>; iterate via the Resolved wrapper chain-resolver methods.

Fields

fiber_dimension: u64

total_space: &'static <H as HostTypes>::HostString

base_space: &'static <H as HostTypes>::HostString

fiber_sphere: &'static <H as HostTypes>::HostString

Trait Implementations

impl<H> Clone for HopfFiberRecord<H>

where H: Clone + HostTypes, <H as HostTypes>::HostString: Clone,

fn clone(&self) -> HopfFiberRecord<H>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<H> Debug for HopfFiberRecord<H>

where H: Debug + HostTypes, <H as HostTypes>::HostString: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<H> Hash for HopfFiberRecord<H>

where H: Hash + HostTypes, <H as HostTypes>::HostString: Hash,

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<H> PartialEq for HopfFiberRecord<H>

where H: PartialEq + HostTypes, <H as HostTypes>::HostString: PartialEq,

fn eq(&self, other: &HopfFiberRecord<H>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<H> Eq for HopfFiberRecord<H>

where H: Eq + HostTypes, <H as HostTypes>::HostString: Eq,

impl<H> StructuralPartialEq for HopfFiberRecord<H>

where H: HostTypes,