Something went wrong. Try again.
📰 A single-page application to manage standard.site publication on the AT Protocol cuducos.tngl.io/std-pub
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071module Date exposing (isoFromPosix)
import Time
isoFromPosix : Time.Posix -> StringisoFromPosix posix = let ms : Int ms = Time.posixToMillis posix
pad : Int -> Int -> String pad width n = String.padLeft width '0' (String.fromInt n) in pad 4 (Time.toYear Time.utc posix) ++ "-" ++ pad 2 (monthNumber (Time.toMonth Time.utc posix)) ++ "-" ++ pad 2 (Time.toDay Time.utc posix) ++ "T" ++ pad 2 (Time.toHour Time.utc posix) ++ ":" ++ pad 2 (Time.toMinute Time.utc posix) ++ ":" ++ pad 2 (Time.toSecond Time.utc posix) ++ "." ++ pad 3 (modBy 1000 ms) ++ "Z"
monthNumber : Time.Month -> IntmonthNumber m = case m of Time.Jan -> 1
Time.Feb -> 2
Time.Mar -> 3
Time.Apr -> 4
Time.May -> 5
Time.Jun -> 6
Time.Jul -> 7
Time.Aug -> 8
Time.Sep -> 9
Time.Oct -> 10
Time.Nov -> 11
Time.Dec -> 12