JS.Date

Definitions

data JSDate : Type

  External data type for working with JS `Date` values

Totality: total
Visibility: public export
Hints:

Cast Bits64 JSDate

Cast String JSDate

toLocaleDateString : JSDate -> String

Totality: total
Visibility: export

toLocaleTimeString : JSDate -> String

Totality: total
Visibility: export

getTime : JSDate -> Bits64

Totality: total
Visibility: export

getFullYear : JSDate -> Bits64

Totality: total
Visibility: export

getMonth : JSDate -> Bits64

Totality: total
Visibility: export

getDate : JSDate -> Bits64

Totality: total
Visibility: export

dateString : Bits64 -> String

  Prints a date in the format "yyyy-mm-dd"

Totality: total
Visibility: export