ion-binary-rs 0.8.13

Pure Rust parser, encoder and hasher for Amazon's Ion binary format.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145


// diff. precisions, unknown local offsets
(
    2007T                                // years precision
    2007-01T                             // months precision
    2007-01-01T                          // days precision
    2007-01-01                           // same value as above, diff. syntax
    2007-01-01T00:00-00:00               // minutes precision
    2007-01-01T00:00:00-00:00            // seconds precision
    2007-01-01T00:00:00.0-00:00          // frac. seconds precision
    2007-01-01T00:00:00.00-00:00         // frac. seconds precision
    2007-01-01T00:00:00.0000000000-00:00 // frac. seconds precision
)

// minutes precision, diff. local offsets
(
    2007-01-02T00:00Z         // UTC, NB: this val. is repeated in the next sexp
    
    // offset's minutes
    2007-01-02T00:59+00:59
    2007-01-02T00:02+00:02
    2007-01-02T00:01+00:01
    2007-01-01T23:59-00:01
    2007-01-01T23:58-00:02
    2007-01-01T23:01-00:59
    
    // offset's hours
    2007-01-02T23:00+23:00
    2007-01-02T02:00+02:00
    2007-01-02T01:00+01:00
    2007-01-01T23:00-01:00
    2007-01-01T22:00-02:00
    2007-01-01T01:00-23:00
    
    // offset's hours and minutes
    2007-01-02T01:25+01:25
    2007-01-01T22:35-01:25
)

// diff. precisions, diff. local offsets
(
    // minutes precise
    2007-01-02T00:00Z         // UTC, NB: this val. is repeated in the prev sexp
    2007-01-02T00:00+00:00    // explicit local offset
    2007-01-02T00:00-00:00    // unknown local offset
    
    // seconds precise
    2007-01-02T00:00:00Z             // UTC
    2007-01-02T00:00:00+00:00        // explicit local offset
    2007-01-02T00:00:00-00:00        // unknown local offset
    
    // frac. seconds precise
    2007-01-02T00:00:00.000Z         // UTC
    2007-01-02T00:00:00.000+00:00    // explicit local offset
    2007-01-02T00:00:00.000-00:00    // unknown local offset
)

// diff. frac. seconds digits, diff. local offsets
(
    // unknown local offsets
    2007-01-01T00:00:00.0-00:00
    2007-01-01T00:00:00.00-00:00
    2007-01-01T00:00:00.0000000000-00:00
    
    // UTC
    2007-01-01T00:00:00.0+00:00
    2007-01-01T00:00:00.00+00:00
    2007-01-01T00:00:00.0000000000+00:00
    
    // UTC
    2007-01-01T00:00:00.0Z
    2007-01-01T00:00:00.00Z
    2007-01-01T00:00:00.0000000000Z
)

// Roll local offset forward and back over some boundaries

// end of a leap day
(
    2008-02-29T23:59-00:01
    2008-03-01T00:00+00:00
)

(
    2008-03-01T00:00+00:01
    2008-02-29T23:59-00:00
)

// end of a non-leap day
(
    2009-02-28T23:59-00:01
    2009-03-01T00:00+00:00
)

(
    2009-03-01T00:00+00:01
    2009-02-28T23:59+00:00
)

// end of month
(
    2009-09-30T23:59-00:01
    2009-10-01T00:00+00:00
)

(
    2009-10-01T00:00+00:01
    2009-09-30T23:59+00:00
)

// end of year

(
    2009-12-31T23:59-00:01
    2010-01-01T00:00+00:00
)

(
    2010-01-01T00:00+00:01
    2009-12-31T23:59+00:00
)

// end of year, seconds precision

(
    2009-12-31T23:59:59-00:01
    2010-01-01T00:00:59+00:00
)

(
    2010-01-01T00:00:59+00:01
    2009-12-31T23:59:59+00:00
)

// end of year, fractional precision

(
    2009-12-31T23:59:59.999-00:01
    2010-01-01T00:00:59.999+00:00
)

(
    2010-01-01T00:00:59.999+00:01
    2009-12-31T23:59:59.999+00:00
)