1module Test_rx = 2 3let sto_ipv4 = [ label "IP" . store Rx.ipv4 ] 4 5test sto_ipv4 get "192.168.0.1" = { "IP" = "192.168.0.1" } 6test sto_ipv4 get "255.255.255.254" = { "IP" = "255.255.255.254" } 7 8let sto_ipv6 = [ label "IP" . store Rx.ipv6 ] 9test sto_ipv6 get "fe80::215:f2ff:fea4:b8d9" = { "IP" = "fe80::215:f2ff:fea4:b8d9" } 10 11let sto_ip = [ label "IP" . store Rx.ip ] 12 13test sto_ip get "192.168.0.1" = { "IP" = "192.168.0.1" } 14test sto_ip get "255.255.255.254" = { "IP" = "255.255.255.254" } 15test sto_ip get "fe80::215:f2ff:fea4:b8d9" = { "IP" = "fe80::215:f2ff:fea4:b8d9" } 16 17(* iso_8601 *) 18let iso_8601 = [ label "date" . store Rx.iso_8601 ] 19 20test iso_8601 get "2009-12T12:34" = { "date" = "2009-12T12:34" } 21test iso_8601 get "2009" = { "date" = "2009" } 22test iso_8601 get "2009-05-19" = { "date" = "2009-05-19" } 23test iso_8601 get "2009-05-19" = { "date" = "2009-05-19" } 24test iso_8601 get "20090519" = { "date" = "20090519" } 25test iso_8601 get "2009123" = { "date" = "2009123" } 26test iso_8601 get "2009-05" = { "date" = "2009-05" } 27test iso_8601 get "2009-123" = { "date" = "2009-123" } 28test iso_8601 get "2009-222" = { "date" = "2009-222" } 29test iso_8601 get "2009-001" = { "date" = "2009-001" } 30test iso_8601 get "2009-W01-1" = { "date" = "2009-W01-1" } 31test iso_8601 get "2009-W51-1" = { "date" = "2009-W51-1" } 32test iso_8601 get "2009-W511" = { "date" = "2009-W511" } 33test iso_8601 get "2009-W33" = { "date" = "2009-W33" } 34test iso_8601 get "2009W511" = { "date" = "2009W511" } 35test iso_8601 get "2009-05-19" = { "date" = "2009-05-19" } 36test iso_8601 get "2009-05-19 00:00" = { "date" = "2009-05-19 00:00" } 37test iso_8601 get "2009-05-19 14" = { "date" = "2009-05-19 14" } 38test iso_8601 get "2009-05-19 14:31" = { "date" = "2009-05-19 14:31" } 39test iso_8601 get "2009-05-19 14:39:22" = { "date" = "2009-05-19 14:39:22" } 40test iso_8601 get "2009-05-19T14:39Z" = { "date" = "2009-05-19T14:39Z" } 41test iso_8601 get "2009-W21-2" = { "date" = "2009-W21-2" } 42test iso_8601 get "2009-W21-2T01:22" = { "date" = "2009-W21-2T01:22" } 43test iso_8601 get "2009-139" = { "date" = "2009-139" } 44test iso_8601 get "2009-05-19 14:39:22-06:00" = { "date" = "2009-05-19 14:39:22-06:00" } 45test iso_8601 get "2009-05-19 14:39:22+0600" = { "date" = "2009-05-19 14:39:22+0600" } 46test iso_8601 get "2009-05-19 14:39:22-01" = { "date" = "2009-05-19 14:39:22-01" } 47test iso_8601 get "20090621T0545Z" = { "date" = "20090621T0545Z" } 48test iso_8601 get "2007-04-06T00:00" = { "date" = "2007-04-06T00:00" } 49test iso_8601 get "2007-04-05T24:00" = { "date" = "2007-04-05T24:00" } 50test iso_8601 get "2010-02-18T16:23:48.5" = { "date" = "2010-02-18T16:23:48.5" } 51test iso_8601 get "2010-02-18T16:23:48,444" = { "date" = "2010-02-18T16:23:48,444" } 52test iso_8601 get "2010-02-18T16:23:48,3-06:00" = { "date" = "2010-02-18T16:23:48,3-06:00" } 53test iso_8601 get "2010-02-18T16:23.4" = { "date" = "2010-02-18T16:23.4" } 54test iso_8601 get "2010-02-18T16:23,25" = { "date" = "2010-02-18T16:23,25" } 55test iso_8601 get "2010-02-18T16:23.33+0600" = { "date" = "2010-02-18T16:23.33+0600" } 56test iso_8601 get "2010-02-18T16.23334444" = { "date" = "2010-02-18T16.23334444" } 57test iso_8601 get "2010-02-18T16,2283" = { "date" = "2010-02-18T16,2283" } 58test iso_8601 get "2009-05-19 143922.500" = { "date" = "2009-05-19 143922.500" } 59test iso_8601 get "2009-05-19 1439,55" = { "date" = "2009-05-19 1439,55" } 60