Skip to content

Instantly share code, notes, and snippets.

@leostera

leostera/isotime.idr

Created August 16, 2017 03:24
Show Gist options
  • Save leostera/c4de96297ceac29a78604c96a97e0442 to your computer and use it in GitHub Desktop.
Save leostera/c4de96297ceac29a78604c96a97e0442 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
isotime.idr
*DateTime> show (MkLocalDateTime (MkTimeZone "GMT" (MkOffset (+) (MkInstant (MkHour 1) (MkMin 30) (MkSec 0)))) (MkDateTime (MkDate (MkYear 1991) September (MkDay 28)) (MkInstant (MkHour 21) (MkMin 12) (MkSec 0))))
"1991-09-28T21:12:00+01:30" : String
*DateTime> MkLocalDateTime (MkTimeZone "GMT" (MkOffset (+) (MkInstant (MkHour 1) (MkMin 30) (MkSec 0)))) (MkDateTime (MkDate (MkYear 1991) September (MkDay 28)) (MkInstant (MkHour 21) (MkMin 12) (MkSec 0)))
MkLocalDateTime (MkTimeZone "GMT" (MkOffset (+) (MkInstant (MkHour 1) (MkMin 30) (MkSec 0))))
(MkDateTime (MkDate (MkYear 1991) September (MkDay 28)) (MkInstant (MkHour 21) (MkMin 12) (MkSec 0))) : LocalDateTime (MkTimeZone "GMT"
(MkOffset (+)
(MkInstant (MkHour 1)
(MkMin 30)
(MkSec 0))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment