pub struct Sheaf<T: Clone> { /* private fields */ }Expand description
A sheaf on a topological space, represented by sections over open sets.
T is the type of sections (typically a ring or module).
Implementations§
Source§impl<T: Clone> Sheaf<T>
impl<T: Clone> Sheaf<T>
Sourcepub fn add_section(&mut self, open_set: impl Into<String>, section: T)
pub fn add_section(&mut self, open_set: impl Into<String>, section: T)
Add a section over an open set.
Sourcepub fn add_restriction(
&mut self,
source: impl Into<String>,
target: impl Into<String>,
)
pub fn add_restriction( &mut self, source: impl Into<String>, target: impl Into<String>, )
Record a restriction map (source open ⊇ target open).
Sourcepub fn num_sections(&self) -> usize
pub fn num_sections(&self) -> usize
Number of open sets with sections.
Trait Implementations§
Auto Trait Implementations§
impl<T> Freeze for Sheaf<T>
impl<T> RefUnwindSafe for Sheaf<T>where
T: RefUnwindSafe,
impl<T> Send for Sheaf<T>where
T: Send,
impl<T> Sync for Sheaf<T>where
T: Sync,
impl<T> Unpin for Sheaf<T>where
T: Unpin,
impl<T> UnsafeUnpin for Sheaf<T>
impl<T> UnwindSafe for Sheaf<T>where
T: UnwindSafe,
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