Struct SignedWindow 

pub struct SignedWindow { /* private fields */ }

A signed interval, used only for profile metadata such as BIG_BANG_CLAIM (Rule Q.3).

The window is signed because the FLRW t→0 limit may lie before the datum, which is not representable as a tick (N12).

This type deliberately has:

• no arithmetic operators of any kind,
• no From<SignedWindow> for Delta, Instant or Window,
• no method returning any of those types.

It cannot be added to an Instant and cannot be widened into one. Attempting to use it as an operand is UCAL-E0025, and the type system is what makes that unreachable rather than a runtime check. §21.3-3 requires a compile-fail test; see tests/compile_fail/.

Implementations

impl SignedWindow

pub fn new(lo: Signed, hi: Signed) -> Result<Self>

Construct from bounds. Fails with UCAL-E0022 if inverted.

pub fn symmetric(half_width: Delta) -> Self

A symmetric window +/- half_width about zero. D-16: the half-width form matches how the Planck 2018 uncertainty is published, without foreclosing asymmetric windows, which SignedWindow::new still permits.

pub fn lo(&self) -> &Signed

The lower bound. Returns a Signed, which is itself inert.

pub fn hi(&self) -> &Signed

The upper bound.

pub fn describe(&self) -> String

Render for reporting. This is the only intended consumer: ucal datum, ucal doctor, ucal explain --claim.

Trait Implementations

impl Clone for SignedWindow

fn clone(&self) -> SignedWindow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SignedWindow

impl Debug for SignedWindow

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

Formats the value using the given formatter.

impl Eq for SignedWindow

impl PartialEq for SignedWindow

fn eq(&self, other: &SignedWindow) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SignedWindow