Sidereon.GNSS.Time.ExactEpochQuery (Sidereon v3.0.0)

Exact epoch query retaining a civil label and exact binary-second offsets.

Query handles can be passed to precise-interpolant APIs without first rounding the absolute epoch to a floating-point J2000 value.

Summary

t()

Add an already-binary64 offset to this query.

Subtract an already-binary64 offset from this query.

Construct from an already-binary64 J2000-seconds query offset.

@type t() :: %Sidereon.GNSS.Time.ExactEpochQuery{handle: reference()}

@spec checked_add_binary_seconds(t(), float()) :: {:ok, t()} | {:error, term()}

Add an already-binary64 offset to this query.

@spec checked_sub_binary_seconds(t(), float()) :: {:ok, t()} | {:error, term()}

Subtract an already-binary64 offset from this query.

@spec epoch(t()) :: Sidereon.GNSS.Time.ExactEpoch.t()

@spec equal?(t(), t()) :: boolean()

@spec from_binary_j2000_seconds(float()) :: {:ok, t()} | {:error, term()}

Construct from an already-binary64 J2000-seconds query offset.

@spec from_epoch(Sidereon.GNSS.Time.ExactEpoch.t()) :: t()

@spec j2000_seconds(t()) :: float()

@spec seconds_since(t(), Sidereon.GNSS.Time.ExactEpoch.t()) :: float()

@spec seconds_since_query(t(), t()) :: float()