IotaTime.Locale.Windows.Platform

Definitions

record WindowsLocaleData : Type

Totality: total
Visibility: export
Constructor: 

MkWindowsLocaleData : String -> Vect 12 String -> Vect 12 String -> Vect 7 String -> Vect 7 String -> String -> String -> String -> String -> WindowsLocaleData

Projections:

.windowsAmName : WindowsLocaleData -> String

.windowsDayNames : WindowsLocaleData -> Vect 7 String

.windowsDayNamesShort : WindowsLocaleData -> Vect 7 String

.windowsLocaleId : WindowsLocaleData -> String

.windowsMonthNames : WindowsLocaleData -> Vect 12 String

.windowsMonthNamesShort : WindowsLocaleData -> Vect 12 String

.windowsPmName : WindowsLocaleData -> String

.windowsRawDateFormat : WindowsLocaleData -> String

.windowsRawTimeFormat : WindowsLocaleData -> String

localeIdentifier : WindowsLocaleData -> String

Totality: total
Visibility: export

localeMonthNames : WindowsLocaleData -> Vect 12 String

Totality: total
Visibility: export

localeMonthNamesShort : WindowsLocaleData -> Vect 12 String

Totality: total
Visibility: export

localeDayNames : WindowsLocaleData -> Vect 7 String

Totality: total
Visibility: export

localeDayNamesShort : WindowsLocaleData -> Vect 7 String

Totality: total
Visibility: export

localeAmName : WindowsLocaleData -> String

Totality: total
Visibility: export

localePmName : WindowsLocaleData -> String

Totality: total
Visibility: export

localeDateFormat : WindowsLocaleData -> String

Totality: total
Visibility: export

localeTimeFormat : WindowsLocaleData -> String

Totality: total
Visibility: export

loadWindowsLocaleData : Bool -> String -> IO (Maybe WindowsLocaleData)

Totality: total
Visibility: export