Time.Bdt

Time Helpers

Print Posix

toDateString : Posix -> String

Returns a string as dd/mm/yyyy

toTimeString : Posix -> String

Returns a string as hh:mm:ss

toDateTimeString : Posix -> String

Returns a string as dd/mm/yyyy hh:mm:ss

maybeToDateString : Maybe Posix -> String

Returns a string as dd/mm/yyyy. Defaults to --/--/----

maybeToTimeString : Maybe Posix -> String

Returns a string as hh:mm:ss. Defaults to 00:00:00

maybeToDateTimeString : Maybe Posix -> String

Returns a string as hh:mm:ss dd/mm/yyyy. Defaults to --/--/---- 00:00:00

monthNumber : Month -> Int

Returns the Int representation of a month

monthString : Month -> String

Returns the String representation of a month

Returns the Month based on it's number

addMonths : Int -> Posix -> Posix

Add months to a posix

clamp : Posix -> Posix -> Posix -> Posix

Clamp a posix

maybeClamp : Maybe Posix -> Maybe Posix -> Posix -> Posix

Clamp between maybe posix

order : Posix -> Posix -> Order

Orders 2 dates. This comes in handy with List.sortWith:

List.sortWith Time.order [ date1, date2, date3 ]

encode : Posix -> Value

Encode a Time

encodeMaybe : Maybe Posix -> Value

Encode a Maybe Time