IotaTime.Locale.Unix.Platform

Definitions

record UnixLocaleData : Type

Totality: total
Visibility: export
Constructor: 

MkUnixLocaleData : Vect 12 String -> Vect 12 String -> Vect 7 String -> Vect 7 String -> String -> String -> String -> String -> String -> UnixLocaleData

Projections:

.unixAmName : UnixLocaleData -> String

.unixDayNames : UnixLocaleData -> Vect 7 String

.unixDayNamesShort : UnixLocaleData -> Vect 7 String

.unixMonthNames : UnixLocaleData -> Vect 12 String

.unixMonthNamesShort : UnixLocaleData -> Vect 12 String

.unixPmName : UnixLocaleData -> String

.unixRawDateFormat : UnixLocaleData -> String

.unixRawDateTimeFormat : UnixLocaleData -> String

.unixRawTimeFormat : UnixLocaleData -> String

localeMonthNames : UnixLocaleData -> Vect 12 String

Totality: total
Visibility: export

localeMonthNamesShort : UnixLocaleData -> Vect 12 String

Totality: total
Visibility: export

localeDayNames : UnixLocaleData -> Vect 7 String

Totality: total
Visibility: export

localeDayNamesShort : UnixLocaleData -> Vect 7 String

Totality: total
Visibility: export

localeAmName : UnixLocaleData -> String

Totality: total
Visibility: export

localePmName : UnixLocaleData -> String

Totality: total
Visibility: export

localeDateFormat : UnixLocaleData -> String

Totality: total
Visibility: export

localeTimeFormat : UnixLocaleData -> String

Totality: total
Visibility: export

localeDateTimeFormat : UnixLocaleData -> String

Totality: total
Visibility: export

loadUnixLocaleData : String -> IO (Maybe UnixLocaleData)

Totality: total
Visibility: export