connections 0.1.0

Galois connections as first-class values: lawful numeric casts, Q-format / IEEE / time ladders
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#![cfg(feature = "time")]
#![forbid(unsafe_code)]

use connections::extended::Extended;
use connections::time::{ODTMSECS, SDURU064};
use std::time::Duration as StdDuration;
use time::{Duration, OffsetDateTime};

#[test]
fn time_feature_enables_time_conn_surface() {
    let at = OffsetDateTime::UNIX_EPOCH + Duration::seconds(1);
    assert_eq!(ODTMSECS.ceil(Extended::Finite(at)), 1);

    let ttl = StdDuration::from_secs(1);
    assert_eq!(SDURU064.ceil(Extended::Finite(ttl)), Extended::Finite(1));
}