README
U
DbResult
Tr
Driver
Tr
Entity
T
Association
T
AssociationKind
- ::newColumn::new
T
ColumnDiff
T
ColumnType
T
DbError
- ::fromDeleteQuery::from
- ::where_eqDeleteQuery::where_eq
- ::where_gtDeleteQuery::where_gt
- ::where_gteDeleteQuery::where_gte
- ::where_likeDeleteQuery::where_like
- ::where_ltDeleteQuery::where_lt
- ::where_lteDeleteQuery::where_lte
- ::where_neDeleteQuery::where_ne
- ::newForeignKey::new
T
ForeignKeyDiff
- ::newIndex::new
- ::new_primaryIndex::new_primary
- ::new_uniqueIndex::new_unique
T
IndexDiff
T
IndexType
- ::columnsInsertQuery::columns
- ::fromInsertQuery::from
- ::valuesInsertQuery::values
T
OrderBy
T
PreloadResult
- ::joinQuery::join
- ::limitQuery::limit
- ::offsetQuery::offset
- ::order_byQuery::order_by
- ::pageQuery::page
- ::where_eqQuery::where_eq
- ::where_gtQuery::where_gt
- ::where_gteQuery::where_gte
- ::where_likeQuery::where_like
- ::where_ltQuery::where_lt
- ::where_lteQuery::where_lte
- ::where_neQuery::where_ne
T
Set
- ::has_primary_keyTable::has_primary_key
- ::newTable::new
- ::primary_keyTable::primary_key
T
TableDiff
T
TableEngineOption
- ::fromUpdateQuery::from
- ::setUpdateQuery::set
- ::where_eqUpdateQuery::where_eq
- ::where_gtUpdateQuery::where_gt
- ::where_gteUpdateQuery::where_gte
- ::where_likeUpdateQuery::where_like
- ::where_ltUpdateQuery::where_lt
- ::where_lteUpdateQuery::where_lte
- ::where_neUpdateQuery::where_ne
- ::do_update_setUpsertQuery::do_update_set
- ::fromUpsertQuery::from
- ::on_conflictUpsertQuery::on_conflict
- ::setUpsertQuery::set
T
Where
T
WhereType
V
add_column
V
add_foreign_key
V
add_index
V
add_table_engine_option
V
after_create
V
after_delete
V
after_find
V
after_update
V
auto_migrate
V
before_create
V
before_delete
V
before_update
V
belongs_to
V
current_plain_date_time_utc
V
current_timestamp_utc
V
delete_from
V
diff_table
V
has_many
V
has_one
V
infer_column_type
V
insert_into
V
many_to_many
V
mysql_table_compression
V
mysql_table_key_block_size
V
mysql_table_row_format
V
on_delete_cascade
V
on_update_cascade
V
oracle_table_on_commit
V
oracle_table_organization
V
pg_table_on_commit
V
pg_table_unlogged
V
pg_table_with
V
preload
V
preload_belongs_to
V
preload_has_many
V
preload_has_one
V
preload_many_to_many
V
register_driver_scheme
V
resolve_driver_name
V
restore_by_id
V
select_from
V
select_from_scoped
V
select_raw
V
soft_delete_by_id
V
sqlite_table_strict
V
sqlite_table_without_rowid
V
sqlserver_table_durability
V
sqlserver_table_filegroup
V
sqlserver_table_memory_optimized
V
sqlserver_table_textimage_on
V
table_catalog
V
table_comment
V
table_create_suffix
V
table_engine
V
table_if_not_exists
V
table_schema
V
table_tablespace
V
table_temporary
V
unregister_driver_scheme
V
update
V
upsert_into

#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 = try? @time.unix(1714227729L, nanosecond=1000, zone~)
  inspect(
    date_time,
    content="Ok(2024-04-27T22:22:09.000001+08:00[Asia/Shanghai])",
  )
}

Duration

source

type Duration

An amount of time with nanosecond precision.

impl Compare for Duration

impl Eq for Duration

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

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

impl Compare for Period

impl Eq for Period

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 Compare for PlainDate

impl Eq for PlainDate

impl Show for PlainDate

impl ToJson for PlainDate

impl FromJson 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

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

impl Compare for PlainDateTime

impl Eq for PlainDateTime

impl Show for PlainDateTime

impl ToJson for PlainDateTime

impl FromJson for PlainDateTime

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

A time without a time zone

impl Compare for PlainTime

impl Eq for PlainTime

impl Show for PlainTime

impl ToJson for PlainTime

impl FromJson 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
}

impl Eq for Weekday

impl Show for Weekday

Zone

source

type Zone

Time zone.

impl Eq for 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 Compare for ZoneOffset

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

impl Show for ZonedDateTime

impl ToJson for ZonedDateTime

impl FromJson 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

Site source Report issue Packages Build queue Skills Statistics

#Moonbit/Core Time for MORM

#Overview

#Duration

#Duration::add_duration

#Duration::add_hours

#Duration::add_minutes

#Duration::add_nanoseconds

#Duration::add_seconds

#Duration::from_string

#Duration::is_neg

#Duration::is_zero

#Duration::nanoseconds

#Duration::of

#Duration::op_add

#Duration::seconds

#Duration::to_nanoseconds

#Duration::to_string

#Duration::with_nanoseconds

#Duration::with_seconds

#Duration::zero

#Period

#Period::add_days

#Period::add_months

#Period::add_period

#Period::add_weeks

#Period::add_years

#Period::days

#Period::from_string

#Period::is_neg

#Period::is_zero

#Period::months

#Period::multiply

#Period::negated

#Period::of

#Period::op_add

#Period::op_sub

#Period::to_string

#Period::to_total_months

#Period::with_days

#Period::with_months

#Period::with_years

#Period::years

#Period::zero

#PlainDate

#PlainDate::add_days

#PlainDate::add_months

#PlainDate::add_period

#PlainDate::add_weeks

#PlainDate::add_years

#PlainDate::day

#PlainDate::days_in_month

#PlainDate::days_in_week

#PlainDate::days_in_year

#PlainDate::era

#PlainDate::era_year

#PlainDate::from_string

#PlainDate::from_unix_day

#PlainDate::from_year_ord

#PlainDate::in_leap_year

#PlainDate::month

#PlainDate::months_in_year

#PlainDate::of

#PlainDate::ordinal

#PlainDate::to_string

#PlainDate::to_unix_day

#PlainDate::until

#PlainDate::weekday

#PlainDate::with_day

#PlainDate::with_month

#PlainDate::with_ordinal

#PlainDate::with_year

#PlainDate::year

#PlainDateTime

#PlainDateTime::add_days

#PlainDateTime::add_duration

#PlainDateTime::add_hours

#PlainDateTime::add_minutes

#PlainDateTime::add_months

#PlainDateTime::add_nanoseconds

#PlainDateTime::add_period

Duration

Duration::add_duration

Duration::add_hours

Duration::add_minutes

Duration::add_nanoseconds

Duration::add_seconds

Duration::from_string

Duration::is_neg

Duration::is_zero

Duration::nanoseconds

Duration::of

Duration::op_add

Duration::seconds

Duration::to_nanoseconds

Duration::to_string

Duration::with_nanoseconds

Duration::with_seconds

Duration::zero

Period

Period::add_days

Period::add_months

Period::add_period

Period::add_weeks

Period::add_years

Period::days

Period::from_string

Period::is_neg

Period::is_zero

Period::months

Period::multiply

Period::negated

Period::of

Period::op_add

Period::op_sub

Period::to_string

Period::to_total_months

Period::with_days

Period::with_months

Period::with_years

Period::years

Period::zero

PlainDate

PlainDate::add_days

PlainDate::add_months

PlainDate::add_period

PlainDate::add_weeks

PlainDate::add_years

PlainDate::day

PlainDate::days_in_month

PlainDate::days_in_week

PlainDate::days_in_year

PlainDate::era

PlainDate::era_year

PlainDate::from_string

PlainDate::from_unix_day

PlainDate::from_year_ord

PlainDate::in_leap_year

PlainDate::month

PlainDate::months_in_year

PlainDate::of

PlainDate::ordinal

PlainDate::to_string

PlainDate::to_unix_day

PlainDate::until

PlainDate::weekday

PlainDate::with_day

PlainDate::with_month

PlainDate::with_ordinal

PlainDate::with_year

PlainDate::year

PlainDateTime

PlainDateTime::add_days

PlainDateTime::add_duration

PlainDateTime::add_hours

PlainDateTime::add_minutes

PlainDateTime::add_months

PlainDateTime::add_nanoseconds

PlainDateTime::add_period

PlainDateTime::add_seconds

PlainDateTime::add_weeks