Expand description
§deep_causality_file
File and receiver-data loaders for DeepCausality, expressed over the haft IO monad
(deep_causality_haft::IoAction) — lazy, composable descriptions of a read that perform no
side effect until .run() at the program edge.
The first supported format family is RINEX GNSS precise products: SP3 (satellite orbits) and
.clk (satellite clocks), the real Galileo/multi-GNSS data behind the chronometric and avionics
examples (GM recovery, INS clock-holdover through GNSS blackout). The loaders are precision-generic
over the scalar R and live behind one reusable crate so every example — and the CFD crate — can
consume one ingestion path.
use deep_causality_file::{read_gnss_single_satellite, ClockData, OrbitData};
use deep_causality_haft::IoAction;
// A lazy description of two file reads composed with the IO monad; nothing runs yet.
let action = read_gnss_single_satellite::<f64>("gbm.clk", "gbm.sp3", "E14");
// Perform the read at the edge.
let (_clocks, _orbits): (Vec<ClockData<f64>>, Vec<OrbitData<f64>>) = action.run().unwrap();Re-exports§
pub use errors::conversion_error::ConversionError;pub use errors::data_loading_error::DataLoadingError;pub use traits::bit_codec::BitCodec;pub use traits::table_row::FromTableRow;pub use traits::table_row::TableRow;pub use traits::table_scalar::TableScalar;pub use types::clock_types::ClockData;pub use types::gnss_types::GnssDataResult;pub use types::loaders::DataManager;pub use types::loaders::ReadClockData;pub use types::loaders::ReadOrbitData;pub use types::loaders::ReadRows;pub use types::loaders::ReadSensorTrace;pub use types::loaders::ReadTable;pub use types::loaders::read_clock_data;pub use types::loaders::read_gnss_single_satellite;pub use types::loaders::read_orbit_data;pub use types::loaders::read_rows;pub use types::loaders::read_rows;pub use types::loaders::read_sensor_trace;pub use types::loaders::read_table;pub use types::loaders::read_table;pub use types::orbit_types::OrbitData;pub use types::satelite_types::SatId;pub use types::snapshot::ForceLoadSnapshot;pub use types::snapshot::LoadSnapshot;pub use types::snapshot::SaveSnapshot;pub use types::snapshot::fingerprint64;pub use types::snapshot::fnv1a64;pub use types::snapshot::force_load_snapshot;pub use types::snapshot::load_snapshot;pub use types::snapshot::save_snapshot;pub use types::snapshot_types::ScalarTypeTag;pub use types::snapshot_types::SnapshotPackage;pub use types::snapshot_types::SnapshotSection;pub use types::snapshot_types::SnapshotTier;pub use types::table_types::NumericTable;pub use types::table_types::TableColumn;pub use types::trace_types::SensorChannel;pub use types::trace_types::SensorTraceSet;pub use types::writers::WriteRows;pub use types::writers::WriteTable;pub use types::writers::write_rows;pub use types::writers::write_rows;pub use types::writers::write_table;pub use types::writers::write_table;