🥮 mooncakes.io
README

#Moonbit/Core Time for MORM

#Overview

Package time provides functionality for measuring and manipulating time.

The calendrical calculations always assume a ISO 8601 calendar, with no leap seconds.

To create a datatime that represents the current time, you need to obtain the unix second and time zone offset from the wasi package (wasm-gc backend) or other FFI functions, and manually create a datetime.

///|
test {
  // creates a UTC+8 fixed time zone.
  let zone = @time.fixed_zone("Asia/Shanghai", 8 * 60 * 60)

  // creates a ZonedDateTime from unix second and time zone.
  let date_time = @time.unix(1714227729L, nanosecond=1000, zone~) catch {
    _ => fail("expected unix time to parse")
  }
  inspect(
    date_time.to_string(),
    content="2024-04-27T22:22:09.000001+08:00[Asia/Shanghai]",
  )
}

#
Duration

source
type Duration derive(Compare, Eq)

An amount of time with nanosecond precision.
impl Show for Duration

#
Duration::add_duration

source
fn Duration::add_duration(self : Duration, other : Duration) -> Duration raise

Adds other duration to this duration, and returns a new duration.

#
Duration::add_hours

source
fn Duration::add_hours(self : Duration, hours : Int64) -> Duration raise

Adds specified hours to this duration, and returns a new duration.

#
Duration::add_minutes

source
fn Duration::add_minutes(self : Duration, minutes : Int64) -> Duration raise

Adds specified minutes to this duration, and returns a new duration.

#
Duration::add_nanoseconds

source
fn Duration::add_nanoseconds(self : Duration, nanoseconds : Int64) -> Duration raise

Adds specified nanoseconds to this duration, and returns a new duration.

#
Duration::add_seconds

source
fn Duration::add_seconds(self : Duration, seconds : Int64) -> Duration raise

Adds specified seconds to this duration, and returns a new duration.

#
Duration::from_string

source
fn Duration::from_string(str : String) -> Duration raise

Parses a ISO 8601 format string like PT[n]H[n]M[n].[n]S.

#
Duration::is_neg

source
fn Duration::is_neg(self : Duration) -> Bool

Checks if this duration is negative.

#
Duration::is_zero

source
fn Duration::is_zero(self : Duration) -> Bool

Checks if this duration is zero length.

#
Duration::nanoseconds

source
fn Duration::nanoseconds(self : Duration) -> Int

Returns the number of nanoseconds in this duration.

#
Duration::of

source
fn Duration::of(hours? : Int64, minutes? : Int64, seconds? : Int64, nanoseconds? : Int64) -> Duration raise

Creates a Duration from hours, minutes, seconds and nanoseconds.

#
Duration::op_add

source
fn Duration::op_add(self : Duration, other : Duration) -> Duration raise

#
Duration::seconds

source
fn Duration::seconds(self : Duration) -> Int64

Returns the number of seconds in this duration.

#
Duration::to_nanoseconds

source
fn Duration::to_nanoseconds(self : Duration) -> Int64

Converts this duration to the total length in nanoseconds.

#
Duration::to_string

source
fn Duration::to_string(self : Duration) -> String

Returns a string representation of this duration using ISO 8601 representation.

#
Duration::with_nanoseconds

source
fn Duration::with_nanoseconds(self : Duration, nanoseconds : Int) -> Duration raise

Returns a new duration with the specified nanosecond of second.

#
Duration::with_seconds

source
fn Duration::with_seconds(self : Duration, seconds : Int64) -> Duration

Returns a new duration with the specified amount of seconds.

#
Duration::zero

source
fn Duration::zero() -> Duration

Returns a zero length duration.

#
Period

source
type Period derive(Compare, Eq)

An amount of time representing by years, months and days in the ISO-8601 calendar system.
impl Show for Period

#
Period::add_days

source
fn Period::add_days(self : Period, days : Int) -> Period raise

Adds specified days to this period, and returns a new period.

#
Period::add_months

source
fn Period::add_months(self : Period, months : Int) -> Period raise

Adds specified months to this period, and returns a new period.

#
Period::add_period

source
fn Period::add_period(self : Period, other : Period) -> Period raise

Adds other period to this period, and returns a new period.

#
Period::add_weeks

source
fn Period::add_weeks(self : Period, weeks : Int) -> Period raise

Adds specified weeks to this period, and returns a new period.

#
Period::add_years

source
fn Period::add_years(self : Period, years : Int) -> Period raise

Adds specified years to this period, and returns a new period.

#
Period::days

source
fn Period::days(self : Period) -> Int

Returns the number of days in this duration.

#
Period::from_string

source
fn Period::from_string(str : String) -> Period raise

Parses a ISO 8601 format string like P[n]Y[n]M[n]D.

#
Period::is_neg

source
fn Period::is_neg(self : Period) -> Bool

Checks if this period is negative.

#
Period::is_zero

source
fn Period::is_zero(self : Period) -> Bool

Checks if this period is zero length.

#
Period::months

source
fn Period::months(self : Period) -> Int

Returns the number of months in this duration.

#
Period::multiply

source
fn Period::multiply(self : Period, n : Int) -> Period raise

Returns a new period with all elements in this period multiplied by the specified value.

#
Period::negated

source
fn Period::negated(self : Period) -> Period raise

Returns a new period with all elements in this period negated.

#
Period::of

source
fn Period::of(years? : Int, months? : Int, days? : Int) -> Period

Creates a Period from years, months, and days.

#
Period::op_add

source
fn Period::op_add(self : Period, other : Period) -> Period raise

#
Period::op_sub

source
fn Period::op_sub(self : Period, other : Period) -> Period raise

#
Period::to_string

source
fn Period::to_string(self : Period) -> String

Returns a string representation of this period using ISO 8601 representation.

#
Period::to_total_months

source
fn Period::to_total_months(self : Period) -> Int64

Returns the total number of months in this period.

#
Period::with_days

source
fn Period::with_days(self : Period, days : Int) -> Period

Returns a new period with the specified amount of days.

#
Period::with_months

source
fn Period::with_months(self : Period, months : Int) -> Period

Returns a new period with the specified amount of months.

#
Period::with_years

source
fn Period::with_years(self : Period, years : Int) -> Period

Returns a new period with the specified amount of years.

#
Period::years

source
fn Period::years(self : Period) -> Int

Returns the number of years in this duration.

#
Period::zero

source
fn Period::zero() -> Period

Returns a zero length period.

#
PlainDate

source
type PlainDate

A date without a time zone in the ISO 8601 calendar system.
impl Eq for PlainDate
impl Show for PlainDate
impl ToJson for PlainDate

#
PlainDate::add_days

source
fn PlainDate::add_days(self : PlainDate, days : Int64) -> PlainDate raise

Adds specified days to this date, and returns a new date.

#
PlainDate::add_months

source
fn PlainDate::add_months(self : PlainDate, months : Int64) -> PlainDate raise

Adds specified months to this date, and returns a new date.

#
PlainDate::add_period

source
fn PlainDate::add_period(self : PlainDate, period : Period) -> PlainDate raise

Adds a period to this date, and returns a new date.

#
PlainDate::add_weeks

source
fn PlainDate::add_weeks(self : PlainDate, weeks : Int64) -> PlainDate raise

Adds specified weeks to this date, and returns a new date.

#
PlainDate::add_years

source
fn PlainDate::add_years(self : PlainDate, years : Int64) -> PlainDate raise

Adds specified years to this date, and returns a new date.

#
PlainDate::day

source
fn PlainDate::day(self : PlainDate) -> Int

Returns the day of the month.

#
PlainDate::days_in_month

source
fn PlainDate::days_in_month(self : PlainDate) -> Int

Returns the number of days in the month.

#
PlainDate::days_in_week

source
fn PlainDate::days_in_week(_self : PlainDate) -> Int

Returns the number of days in the week.

#
PlainDate::days_in_year

source
fn PlainDate::days_in_year(self : PlainDate) -> Int

Returns the number of days in the year.

#
PlainDate::era

source
fn PlainDate::era(self : PlainDate) -> String

Returns the era of this date.

#
PlainDate::era_year

source
fn PlainDate::era_year(self : PlainDate) -> Int

Returns the year of the era of this date.

#
PlainDate::from_string

source
fn PlainDate::from_string(str : String) -> PlainDate raise

Creates a PlainDate from a string, like "2008-08-08".

#
PlainDate::from_unix_day

source
fn PlainDate::from_unix_day(unix_day : Int64) -> PlainDate raise

Creates a date from the days count since unix epoch.

#
PlainDate::from_year_ord

source
fn PlainDate::from_year_ord(year : Int, ordinal : Int) -> PlainDate raise

Creates a PlainDate from year and ordinal day.

#
PlainDate::in_leap_year

source
fn PlainDate::in_leap_year(self : PlainDate) -> Bool

Checks if the date is in a leap year.

#
PlainDate::month

source
fn PlainDate::month(self : PlainDate) -> Int

Returns the ordinal number of month in the current year.

#
PlainDate::months_in_year

source
fn PlainDate::months_in_year(_self : PlainDate) -> Int

Returns the number of months in the year.

#
PlainDate::of

source
fn PlainDate::of(year : Int, month : Int, day : Int) -> PlainDate raise

Creates a PlainDate from the year, month and day.

#
PlainDate::ordinal

source
fn PlainDate::ordinal(self : PlainDate) -> Int

Returns the ordinal day of the year.

#
PlainDate::to_string

source
fn PlainDate::to_string(self : PlainDate) -> String

Returns a string representing the date.

#
PlainDate::to_unix_day

source
fn PlainDate::to_unix_day(self : PlainDate) -> Int64

Returns the days count since unix epoch of this date.

#
PlainDate::until

source
fn PlainDate::until(self : PlainDate, end : PlainDate) -> Period raise

Returns the period between this date and another date.

#
PlainDate::weekday

source
fn PlainDate::weekday(self : PlainDate) -> Weekday

Returns the weekday.

#
PlainDate::with_day

source
fn PlainDate::with_day(self : PlainDate, day : Int) -> PlainDate raise

Returns a new date with the specified day of month.

#
PlainDate::with_month

source
fn PlainDate::with_month(self : PlainDate, month : Int) -> PlainDate raise

Returns a new date with the specified month.

#
PlainDate::with_ordinal

source
fn PlainDate::with_ordinal(self : PlainDate, ordinal : Int) -> PlainDate raise

Returns a new date with the specified ordinal day of year.

#
PlainDate::with_year

source
fn PlainDate::with_year(self : PlainDate, year : Int) -> PlainDate raise

Returns a new date with the specified year.

#
PlainDate::year

source
fn PlainDate::year(self : PlainDate) -> Int

Returns the number of years relative to a calendar-specific epoch.

#
PlainDateTime

source
type PlainDateTime derive(Compare, Eq)

A datetime without a time zone in the ISO 8601 calendar system.

#
PlainDateTime::add_days

source
fn PlainDateTime::add_days(self : PlainDateTime, days : Int64) -> PlainDateTime raise

Adds specified days to this datetime, and returns a new datetime.

#
PlainDateTime::add_duration

source
fn PlainDateTime::add_duration(self : PlainDateTime, duration : Duration) -> PlainDateTime raise

Adds a duration of time to this datetime, and returns a new datetime.

#
PlainDateTime::add_hours

source
fn PlainDateTime::add_hours(self : PlainDateTime, hours : Int64) -> PlainDateTime raise

Adds specified hours to this datetime, and returns a new datetime.

#
PlainDateTime::add_minutes

source
fn PlainDateTime::add_minutes(self : PlainDateTime, minutes : Int64) -> PlainDateTime raise

Adds specified minutes to this datetime, and returns a new datetime.

#
PlainDateTime::add_months

source
fn PlainDateTime::add_months(self : PlainDateTime, months : Int64) -> PlainDateTime raise

Adds specified months to this datetime, and returns a new datetime.

#
PlainDateTime::add_nanoseconds

source
fn PlainDateTime::add_nanoseconds(self : PlainDateTime, nanoseconds : Int64) -> PlainDateTime raise

Adds specified nanoseconds to this datetime, and returns a new datetime.

#
PlainDateTime::add_period

source
fn PlainDateTime::add_period(self : PlainDateTime, period : Period) -> PlainDateTime raise

Adds a period of date to this datetime, and returns a new datetime.

#
PlainDateTime::add_seconds

source
fn PlainDateTime::add_seconds(self : PlainDateTime, seconds : Int64) -> PlainDateTime raise

Adds specified seconds to this datetime, and returns a new datetime.

#
PlainDateTime::add_weeks

source
fn PlainDateTime::add_weeks(self : PlainDateTime, weeks : Int64) -> PlainDateTime raise

Adds specified weeks to this datetime, and returns a new datetime.

#
PlainDateTime::add_years

source
fn PlainDateTime::add_years(self : PlainDateTime, years : Int64) -> PlainDateTime raise

Adds specified years to this datetime, and returns a new datetime.

#
PlainDateTime::day

source
fn PlainDateTime::day(self : PlainDateTime) -> Int

Returns the day of month of this datetime.

#
PlainDateTime::days_in_month

source
fn PlainDateTime::days_in_month(self : PlainDateTime) -> Int

Returns the number of days in a month of this datetime.

#
PlainDateTime::days_in_week

source
fn PlainDateTime::days_in_week(self : PlainDateTime) -> Int

Returns the number of days in a week of this datetime.

#
PlainDateTime::days_in_year

source
fn PlainDateTime::days_in_year(self : PlainDateTime) -> Int

Returns the number of days in a year of this datetime.

#
PlainDateTime::era

source
fn PlainDateTime::era(self : PlainDateTime) -> String

Returns the era of this datetime.

#
PlainDateTime::era_year

source
fn PlainDateTime::era_year(self : PlainDateTime) -> Int

Returns the year of era of this datetime.

#
PlainDateTime::from_string

source
fn PlainDateTime::from_string(str : String) -> PlainDateTime raise

Creates a PlainTime from a string, like '2008-08-08T20:00:00'.

#
PlainDateTime::from_unix_second

source
fn PlainDateTime::from_unix_second(second : Int64, nanosecond : Int, offset : ZoneOffset) -> PlainDateTime raise

Creates a PlainDateTime from the elapsed seconds since the unix epoch.

#
PlainDateTime::hour

source
fn PlainDateTime::hour(self : PlainDateTime) -> Int

Returns the hour of this datetime.

#
PlainDateTime::in_leap_year

source
fn PlainDateTime::in_leap_year(self : PlainDateTime) -> Bool

Checks if this datetime is in a leap year.

#
PlainDateTime::minute

source
fn PlainDateTime::minute(self : PlainDateTime) -> Int

Returns the minute of this datetime.

#
PlainDateTime::month

source
fn PlainDateTime::month(self : PlainDateTime) -> Int

Returns the month of this datetime.

#
PlainDateTime::months_in_year

source
fn PlainDateTime::months_in_year(self : PlainDateTime) -> Int

Returns the number of months in a year of this datetime.

#
PlainDateTime::nanosecond

source
fn PlainDateTime::nanosecond(self : PlainDateTime) -> Int

Returns the nanosecond of this datetime.

#
PlainDateTime::of

source
fn PlainDateTime::of(year : Int, month : Int, day : Int, hour? : Int, minute? : Int, second? : Int, nanosecond? : Int) -> PlainDateTime raise

Creates a PlainDateTime from the year, month, day, hour, minute, second and nanosecond.

#
PlainDateTime::ordinal

source
fn PlainDateTime::ordinal(self : PlainDateTime) -> Int

Returns the ordinal day of year of this datetime.

#
PlainDateTime::second

source
fn PlainDateTime::second(self : PlainDateTime) -> Int

Returns the second of this datetime.

#
PlainDateTime::to_plain_date

source
fn PlainDateTime::to_plain_date(self : PlainDateTime) -> PlainDate

Returns the date part of this datetime.

#
PlainDateTime::to_plain_time

source
fn PlainDateTime::to_plain_time(self : PlainDateTime) -> PlainTime

Returns the time part of this datetime.

#
PlainDateTime::to_string

source
fn PlainDateTime::to_string(self : PlainDateTime) -> String

Returns a string representing the datetime.

#
PlainDateTime::to_unix_second

source
fn PlainDateTime::to_unix_second(self : PlainDateTime) -> Int64

Converts this datetime to the elapsed seconds since the unix epoch.

#
PlainDateTime::weekday

source
fn PlainDateTime::weekday(self : PlainDateTime) -> Weekday

Returns the weekday of this datetime.

#
PlainDateTime::with_day

source
fn PlainDateTime::with_day(self : PlainDateTime, day : Int) -> PlainDateTime raise

Returns a new datetime with the specified day of month.

#
PlainDateTime::with_hour

source
fn PlainDateTime::with_hour(self : PlainDateTime, hour : Int) -> PlainDateTime raise

Returns a new datetime with the specified hour.

#
PlainDateTime::with_minute

source
fn PlainDateTime::with_minute(self : PlainDateTime, minute : Int) -> PlainDateTime raise

Returns a new datetime with the specified minute.

#
PlainDateTime::with_month

source
fn PlainDateTime::with_month(self : PlainDateTime, month : Int) -> PlainDateTime raise

Returns a new datetime with the specified month.

#
PlainDateTime::with_nanosecond

source
fn PlainDateTime::with_nanosecond(self : PlainDateTime, nanosecond : Int) -> PlainDateTime raise

Returns a new datetime with the specified nanosecond.

#
PlainDateTime::with_ordinal

source
fn PlainDateTime::with_ordinal(self : PlainDateTime, ordinal : Int) -> PlainDateTime raise

Returns a new datetime with the specified ordinal day of year.

#
PlainDateTime::with_second

source
fn PlainDateTime::with_second(self : PlainDateTime, second : Int) -> PlainDateTime raise

Returns a new datetime with the specified second.

#
PlainDateTime::with_year

source
fn PlainDateTime::with_year(self : PlainDateTime, year : Int) -> PlainDateTime raise

Returns a new datetime with the specified year.

#
PlainDateTime::year

source
fn PlainDateTime::year(self : PlainDateTime) -> Int

Returns the year of this datetime.

#
PlainTime

source
type PlainTime derive(Compare, Eq)

A time without a time zone
impl Show for PlainTime
impl ToJson for PlainTime

#
PlainTime::add_duration

source
fn PlainTime::add_duration(self : PlainTime, duration : Duration) -> PlainTime raise

Adds a duration to this time, and returns a new time.

#
PlainTime::add_hours

source
fn PlainTime::add_hours(self : PlainTime, hours : Int64) -> PlainTime raise

Adds specified hours to this time, and returns a new time.

#
PlainTime::add_minutes

source
fn PlainTime::add_minutes(self : PlainTime, minutes : Int64) -> PlainTime raise

Adds specified minutes to this time, and returns a new time.

#
PlainTime::add_nanoseconds

source
fn PlainTime::add_nanoseconds(self : PlainTime, nanoseconds : Int64) -> PlainTime raise

Adds specified nanoseconds to this time, and returns a new time.

#
PlainTime::add_seconds

source
fn PlainTime::add_seconds(self : PlainTime, seconds : Int64) -> PlainTime raise

Adds specified seconds to this time, and returns a new time.

#
PlainTime::at_date

source
fn PlainTime::at_date(self : PlainTime, date : PlainDate) -> PlainDateTime

Combines this time with a date to creates a PlainDateTime

#
PlainTime::from_nanosecond_of_day

source
fn PlainTime::from_nanosecond_of_day(nanosecond : Int64) -> PlainTime raise

Creates a PlainTime from the total nanoseconds of the day.

#
PlainTime::from_second_of_day

source
fn PlainTime::from_second_of_day(second : Int) -> PlainTime raise

Creates a PlainTime from the total seconds of the day.

#
PlainTime::from_string

source
fn PlainTime::from_string(str : String) -> PlainTime raise

Creates a PlainTime from a string, like '10:20:30.45678'.

#
PlainTime::hour

source
fn PlainTime::hour(self : PlainTime) -> Int

Returns the hour of this time.

#
PlainTime::minute

source
fn PlainTime::minute(self : PlainTime) -> Int

Returns the minute of this time.

#
PlainTime::nanosecond

source
fn PlainTime::nanosecond(self : PlainTime) -> Int

Returns the nanosecond of this time.

#
PlainTime::nanosecond_of_day

source
fn PlainTime::nanosecond_of_day(self : PlainTime) -> Int64

Returns the total nanoseconds of this time.

#
PlainTime::of

source
fn PlainTime::of(hour : Int, minute : Int, second : Int, nanosecond : Int) -> PlainTime raise

Creates a PlainTime from the hour, minute, second and nanosecond.

#
PlainTime::second

source
fn PlainTime::second(self : PlainTime) -> Int

Returns the second of this time.

#
PlainTime::second_of_day

source
fn PlainTime::second_of_day(self : PlainTime) -> Int

Returns the total seconds of this time.

#
PlainTime::to_string

source
fn PlainTime::to_string(self : PlainTime) -> String

Returns a string representing the time.

#
PlainTime::until

source
fn PlainTime::until(self : PlainTime, end : PlainTime) -> Duration raise

Returns the duration between this time and another time.

#
PlainTime::with_hour

source
fn PlainTime::with_hour(self : PlainTime, hour : Int) -> PlainTime raise

Returns a new time with the specified hour.

#
PlainTime::with_minute

source
fn PlainTime::with_minute(self : PlainTime, minute : Int) -> PlainTime raise

Returns a new time with the specified minute.

#
PlainTime::with_nanosecond

source
fn PlainTime::with_nanosecond(self : PlainTime, nanosecond : Int) -> PlainTime raise

Returns a new time with the specified nanosecond.

#
PlainTime::with_second

source
fn PlainTime::with_second(self : PlainTime, second : Int) -> PlainTime raise

Returns a new time with the specified second.

#
Weekday

source
pub(all) enum Weekday {
  Monday
  Tuesday
  Wednesday
  Thursday
  Friday
  Saturday
  Sunday
} derive(Eq)

impl Show for Weekday

#
Zone

source
type Zone derive(Eq)

Time zone.
impl Show for Zone

#
Zone::from_tzif2

source
fn Zone::from_tzif2(id : String, data : FixedArray[Byte]) -> Zone raise

Creates a time zone from TZif2 data.

#
Zone::is_fixed

source
fn Zone::is_fixed(self : Zone) -> Bool

Checks if this zone only has one offset.

#
Zone::to_string

source
fn Zone::to_string(self : Zone) -> String

Returns the fixed zone id (e.g. "UTC", "America/Los_Angeles", etc.)

#
ZoneOffset

source
type ZoneOffset

Time offset from UTC.
impl Eq for ZoneOffset
impl Show for ZoneOffset

#
ZoneOffset::abbreviation

source
fn ZoneOffset::abbreviation(self : ZoneOffset) -> String

Returns the zone offset abbreviation, e.g. "PST", "CST", "EST", "UTC", etc.

#
ZoneOffset::from_seconds

source
fn ZoneOffset::from_seconds(seconds : Int, abbrev? : String, dst? : Bool) -> ZoneOffset raise

Creates a offset from seconds.

#
ZoneOffset::id

source
fn ZoneOffset::id(self : ZoneOffset) -> String

Returns the offset id.

#
ZoneOffset::is_dst

source
fn ZoneOffset::is_dst(self : ZoneOffset) -> Bool

Checks if this offset is daylight saving time.

#
ZoneOffset::of

source
fn ZoneOffset::of(hours? : Int, minutes? : Int, seconds? : Int, abbrev? : String, dst? : Bool) -> ZoneOffset raise

Creates a offset from hours, minutes and seconds.

#
ZoneOffset::seconds

source
fn ZoneOffset::seconds(self : ZoneOffset) -> Int

Returns the total seconds of this offset.

#
ZoneOffset::to_string

source
fn ZoneOffset::to_string(self : ZoneOffset) -> String

Returns the offset id, e.g. "Z", "+08:00", "-05:30", etc.

#
ZonedDateTime

source
type ZonedDateTime

A datetime with a time zone and offset in the ISO 8601 calendar system.
impl Eq for ZonedDateTime

#
ZonedDateTime::add_days

source
fn ZonedDateTime::add_days(self : ZonedDateTime, days : Int64) -> ZonedDateTime raise

Adds specified days to this datetime, and returns a new datetime.

#
ZonedDateTime::add_hours

source
fn ZonedDateTime::add_hours(self : ZonedDateTime, hours : Int64) -> ZonedDateTime raise

Adds specified hours to this datetime, and returns a new datetime.

#
ZonedDateTime::add_minutes

source
fn ZonedDateTime::add_minutes(self : ZonedDateTime, minutes : Int64) -> ZonedDateTime raise

Adds specified minutes to this datetime, and returns a new datetime.

#
ZonedDateTime::add_months

source
fn ZonedDateTime::add_months(self : ZonedDateTime, months : Int64) -> ZonedDateTime raise

Adds specified months to this datetime, and returns a new datetime.

#
ZonedDateTime::add_nanoseconds

source
fn ZonedDateTime::add_nanoseconds(self : ZonedDateTime, nanoseconds : Int64) -> ZonedDateTime raise

Adds specified nanoseconds to this datetime, and returns a new datetime.

#
ZonedDateTime::add_seconds

source
fn ZonedDateTime::add_seconds(self : ZonedDateTime, seconds : Int64) -> ZonedDateTime raise

Adds specified seconds to this datetime, and returns a new datetime.

#
ZonedDateTime::add_weeks

source
fn ZonedDateTime::add_weeks(self : ZonedDateTime, weeks : Int64) -> ZonedDateTime raise

Adds specified weeks to this datetime, and returns a new datetime.

#
ZonedDateTime::add_years

source
fn ZonedDateTime::add_years(self : ZonedDateTime, years : Int64) -> ZonedDateTime raise

Adds specified years to this datetime, and returns a new datetime.

#
ZonedDateTime::day

source
fn ZonedDateTime::day(self : ZonedDateTime) -> Int

Returns the day of month of this datetime.

#
ZonedDateTime::days_in_month

source
fn ZonedDateTime::days_in_month(self : ZonedDateTime) -> Int

Returns the number of days in a month of this datetime.

#
ZonedDateTime::days_in_week

source
fn ZonedDateTime::days_in_week(self : ZonedDateTime) -> Int

Returns the number of days in a month of this datetime.

#
ZonedDateTime::days_in_year

source
fn ZonedDateTime::days_in_year(self : ZonedDateTime) -> Int

Returns the number of days in a year of this datetime.

#
ZonedDateTime::era

source
fn ZonedDateTime::era(self : ZonedDateTime) -> String

Returns the era of this datetime.

#
ZonedDateTime::era_year

source
fn ZonedDateTime::era_year(self : ZonedDateTime) -> Int

Returns the year of era of this datetime.

#
ZonedDateTime::from_plain_datetime

source
fn ZonedDateTime::from_plain_datetime(datetime : PlainDateTime, zone? : Zone) -> ZonedDateTime

Creates a ZonedDateTime from a PlainDateTime and a time zone. The default time zone is UTC+0.

#
ZonedDateTime::from_string

source
fn ZonedDateTime::from_string(str : String) -> ZonedDateTime raise

#
ZonedDateTime::from_unix_second

source
fn ZonedDateTime::from_unix_second(second : Int64, nanosecond? : Int, zone? : Zone) -> ZonedDateTime raise

Creates a ZonedDateTime from elapsed seconds since the unix epoch and a time zone. The default time zone is UTC+0.

#
ZonedDateTime::hour

source
fn ZonedDateTime::hour(self : ZonedDateTime) -> Int

Returns the hour of this datetime.

#
ZonedDateTime::in_leap_year

source
fn ZonedDateTime::in_leap_year(self : ZonedDateTime) -> Bool

Checks if this datetime is in a leap year.

#
ZonedDateTime::minute

source
fn ZonedDateTime::minute(self : ZonedDateTime) -> Int

Returns the minute of this datetime.

#
ZonedDateTime::month

source
fn ZonedDateTime::month(self : ZonedDateTime) -> Int

Returns the month of this datetime.

#
ZonedDateTime::months_in_year

source
fn ZonedDateTime::months_in_year(self : ZonedDateTime) -> Int

Returns the number of months in a year of this datetime.

#
ZonedDateTime::nanosecond

source
fn ZonedDateTime::nanosecond(self : ZonedDateTime) -> Int

Returns the nanosecond of this datetime.

#
ZonedDateTime::of

source
fn ZonedDateTime::of(year : Int, month : Int, day : Int, hour? : Int, minute? : Int, second? : Int, nanosecond? : Int, zone? : Zone) -> ZonedDateTime raise

Creates a ZonedDateTime from year, month, day, hour, minute and second. The default time zone is UTC+0.

#
ZonedDateTime::offset

source
fn ZonedDateTime::offset(self : ZonedDateTime) -> ZoneOffset

Returns the time offset of this datetime.

#
ZonedDateTime::ordinal

source
fn ZonedDateTime::ordinal(self : ZonedDateTime) -> Int

Returns the ordinal day of year of this datetime.

#
ZonedDateTime::second

source
fn ZonedDateTime::second(self : ZonedDateTime) -> Int

Returns the second of this datetime.

#
ZonedDateTime::to_plain_date

source
fn ZonedDateTime::to_plain_date(self : ZonedDateTime) -> PlainDate

Returns the date part of this datetime, without timezone.

#
ZonedDateTime::to_plain_date_time

source
fn ZonedDateTime::to_plain_date_time(self : ZonedDateTime) -> PlainDateTime

Returns the datetime part of this datetime, without timezone.

#
ZonedDateTime::to_plain_time

source
fn ZonedDateTime::to_plain_time(self : ZonedDateTime) -> PlainTime

Returns the time part of this datetime, without timezone.

#
ZonedDateTime::to_string

source
fn ZonedDateTime::to_string(self : ZonedDateTime) -> String

Returns a string representing this datetime, like "2008-08-08T20:00:00+8:00[Asia/Beijing]"

#
ZonedDateTime::to_unix_second

source
fn ZonedDateTime::to_unix_second(self : ZonedDateTime) -> Int64

Returns the elapsed seconds since the unix epoch.

#
ZonedDateTime::weekday

source
fn ZonedDateTime::weekday(self : ZonedDateTime) -> Weekday

Returns the weekday of this datetime.

#
ZonedDateTime::with_day

source
fn ZonedDateTime::with_day(self : ZonedDateTime, day : Int) -> ZonedDateTime raise

Returns a new datetime with the specified day of the month.

#
ZonedDateTime::with_hour

source
fn ZonedDateTime::with_hour(self : ZonedDateTime, hour : Int) -> ZonedDateTime raise

Returns a new datetime with the specified hour.

#
ZonedDateTime::with_minute

source
fn ZonedDateTime::with_minute(self : ZonedDateTime, minute : Int) -> ZonedDateTime raise

Returns a new datetime with the specified minute.

#
ZonedDateTime::with_month

source
fn ZonedDateTime::with_month(self : ZonedDateTime, month : Int) -> ZonedDateTime raise

Returns a new datetime with the specified month.

#
ZonedDateTime::with_nanosecond

source
fn ZonedDateTime::with_nanosecond(self : ZonedDateTime, nanosecond : Int) -> ZonedDateTime raise

Returns a new datetime with the specified nanosecond.

#
ZonedDateTime::with_ordinal

source
fn ZonedDateTime::with_ordinal(self : ZonedDateTime, ordinal : Int) -> ZonedDateTime raise

Returns a new datetime with the specified ordinal day of the year.

#
ZonedDateTime::with_second

source
fn ZonedDateTime::with_second(self : ZonedDateTime, second : Int) -> ZonedDateTime raise

Returns a new datetime with the specified second.

#
ZonedDateTime::with_year

source
fn ZonedDateTime::with_year(self : ZonedDateTime, year : Int) -> ZonedDateTime raise

Returns a new datetime with the specified year.

#
ZonedDateTime::year

source
fn ZonedDateTime::year(self : ZonedDateTime) -> Int

Returns the year of this datetime.

#
ZonedDateTime::zone

source
fn ZonedDateTime::zone(self : ZonedDateTime) -> Zone

Returns the time zone of this datetime.

#
date_time

source
fn date_time(year : Int, month : Int, day : Int, hour? : Int, minute? : Int, second? : Int, nanosecond? : Int, zone? : Zone) -> ZonedDateTime raise

Creates a ZonedDateTime from year, month, day, hour, minute, second and a time zone. The default time zone is UTC+0.

#
fixed_zone

source
fn fixed_zone(id : String, offset_seconds : Int, abbrev? : String, dst? : Bool) -> Zone raise

Creates a time zone with fixed offset from time zone id and offset seconds.

#
unix

source
fn unix(second : Int64, nanosecond? : Int, zone? : Zone) -> ZonedDateTime raise

Creates a ZonedDateTime from elapsed seconds since the unix epoch and a time zone. The default time zone is UTC+0.

#
utc_offset

source
let utc_offset : ZoneOffset

UTC+0 offset.

#
utc_zone

source
let utc_zone : Zone

UTC time zone.

Source Files

Powered by MoonBit

Site sourceReport issuePackagesBuild queueSkillsStatistics

© 2026 mooncakes.io