Documentation

Std.Time.Zoned

@[inline]

Get the current time, in the local timezone. To obtain the current time in a specific timezone, use DateTime.now or ZonedDateTime.nowAt.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    @[inline]

    Get the current date, in the local timezone.

    Equations
    Instances For
      @[inline]

      Get the current time, in the local timezone.

      Equations
      Instances For
        @[inline]

        Converts a PlainDate with a TimeZone to a DateTime

        Equations
        Instances For
          @[inline]

          Converts a DateTime to a PlainDate

          Equations
          Instances For
            @[inline]

            Converts a DateTime to a PlainTime

            Equations
            Instances For
              @[inline]

              Gets the current ZonedDateTime.

              Equations
              Instances For
                @[inline]

                Gets the current ZonedDateTime using the identifier of a time zone.

                Equations
                Instances For
                  @[inline]

                  Converts a ZonedDateTime to a PlainDate

                  Equations
                  Instances For
                    @[inline]

                    Converts a ZonedDateTime to a PlainTime

                    Equations
                    Instances For
                      @[inline]

                      Creates a new ZonedDateTime out of a PlainDateTime and a time zone identifier.

                      Equations
                      Instances For
                        @[inline]

                        Converts a PlainDateTime to a Timestamp using the ZoneRules.

                        Equations
                        Instances For
                          @[inline]

                          Converts a PlainDateTime to a Timestamp using the TimeZone.

                          Equations
                          Instances For
                            @[inline]

                            Converts a PlainDate to a Timestamp using the ZoneRules.

                            Equations
                            Instances For
                              @[inline]

                              Converts a PlainDate to a Timestamp using the TimeZone.

                              Equations
                              Instances For