19 Mar
2014
19 Mar
'14
9:51 a.m.
For this to work you'd need 23:00 < 05:00, which naturally will cause problems for the interval [05:00 -> 23:00]. Basically there's no wat to make a circular ordering that is a also a strict weak ordering.
I also doubt that the library would allow you to create a discontinuous interval saying that [23:00 -> 05:00] is really the union of [00:00 -> 05:00] and [23:00 -> 24:00)
OK, thanks. I will do that.