Documentation

Std.Time.DateTime

source
@[inline]
def Std.Time.Timestamp.ofPlainDateTimeAssumingUTC (pdt : PlainDateTime) :
Timestamp

Converts a PlainDateTime to a Timestamp

Instances For
    source
    @[inline]
    def Std.Time.Timestamp.toPlainDateTimeAssumingUTC (timestamp : Timestamp) :
    PlainDateTime

    Converts a Timestamp to a PlainDateTime

    Instances For
      source
      @[inline]
      def Std.Time.Timestamp.ofPlainDateAssumingUTC (pd : PlainDate) :
      Timestamp

      Converts a PlainDate to a Timestamp

      Instances For
        source
        @[inline]
        def Std.Time.Timestamp.toPlainDateAssumingUTC (timestamp : Timestamp) :
        PlainDate

        Converts a Timestamp to a PlainDate

        Instances For
          source
          @[inline]
          def Std.Time.Timestamp.getTimeAssumingUTC (timestamp : Timestamp) :
          PlainTime

          Converts a Timestamp to a PlainTime

          Instances For
            source
            @[inline]
            def Std.Time.PlainDate.toTimestampAssumingUTC (pdt : PlainDate) :
            Timestamp

            Converts a PlainDate to a Timestamp

            Instances For
              source
              @[implicit_reducible]
              instance Std.Time.PlainDate.instHSubDuration :
              HSub PlainDate PlainDate Duration
              source
              @[inline]
              def Std.Time.PlainDateTime.ofPlainDate (date : PlainDate) :
              PlainDateTime

              Converts a PlainDate to a Timestamp

              Instances For
                source
                @[inline]
                def Std.Time.PlainDateTime.toPlainDate (pdt : PlainDateTime) :
                PlainDate

                Converts a PlainDateTime to a PlainDate

                Instances For
                  source
                  @[inline]
                  def Std.Time.PlainDateTime.ofPlainTime (time : PlainTime) :
                  PlainDateTime

                  Converts a PlainTime to a PlainDateTime

                  Instances For
                    source
                    @[inline]
                    def Std.Time.PlainDateTime.toPlainTime (pdt : PlainDateTime) :
                    PlainTime

                    Converts a PlainDateTime to a PlainTime

                    Instances For
                      source
                      @[implicit_reducible]
                      instance Std.Time.PlainDateTime.instHSubDuration :
                      HSub PlainDateTime PlainDateTime Duration