Documentation

Std.Time.Time.Unit.Basic

This module defines various units used for measuring, counting, and converting between hours, minutes, second, nanosecond, millisecond and nanoseconds.

The units are organized into types representing these time-related concepts, with operations provided to facilitate conversions and manipulations between them.

@[inline]

Converts a Nanosecond.Offset to a Millisecond.Offset.

Equations
Instances For
    @[inline]

    Converts a Millisecond.Offset to a Nanosecond.Offset.

    Equations
    Instances For
      @[inline]

      Converts a Nanosecond.Offset to a Second.Offset.

      Equations
      Instances For
        @[inline]

        Converts a Second.Offset to a Nanosecond.Offset.

        Equations
        Instances For
          @[inline]

          Converts a Nanosecond.Offset to a Minute.Offset.

          Equations
          Instances For
            @[inline]

            Converts a Minute.Offset to a Nanosecond.Offset.

            Equations
            Instances For
              @[inline]

              Converts a Nanosecond.Offset to an Hour.Offset.

              Equations
              Instances For
                @[inline]

                Converts an Hour.Offset to a Nanosecond.Offset.

                Equations
                Instances For
                  @[inline]

                  Converts a Millisecond.Offset to a Nanosecond.Offset.

                  Equations
                  Instances For
                    @[inline]

                    Converts a Nanosecond.Offset to a Millisecond.Offset.

                    Equations
                    Instances For
                      @[inline]

                      Converts a Millisecond.Offset to a Second.Offset.

                      Equations
                      Instances For
                        @[inline]

                        Converts a Second.Offset to a Millisecond.Offset.

                        Equations
                        Instances For
                          @[inline]

                          Converts a Millisecond.Offset to a Minute.Offset.

                          Equations
                          Instances For
                            @[inline]

                            Converts a Minute.Offset to a Millisecond.Offset.

                            Equations
                            Instances For
                              @[inline]

                              Converts a Millisecond.Offset to an Hour.Offset.

                              Equations
                              Instances For
                                @[inline]

                                Converts an Hour.Offset to a Millisecond.Offset.

                                Equations
                                Instances For
                                  @[inline]

                                  Converts a Second.Offset to a Nanosecond.Offset.

                                  Equations
                                  Instances For
                                    @[inline]

                                    Converts a Nanosecond.Offset to a Second.Offset.

                                    Equations
                                    Instances For
                                      @[inline]

                                      Converts a Second.Offset to a Millisecond.Offset.

                                      Equations
                                      Instances For
                                        @[inline]

                                        Converts a Millisecond.Offset to a Second.Offset.

                                        Equations
                                        Instances For
                                          @[inline]

                                          Converts a Second.Offset to a Minute.Offset.

                                          Equations
                                          Instances For
                                            @[inline]

                                            Converts a Minute.Offset to a Second.Offset.

                                            Equations
                                            Instances For
                                              @[inline]

                                              Converts a Second.Offset to an Hour.Offset.

                                              Equations
                                              Instances For
                                                @[inline]

                                                Converts an Hour.Offset to a Second.Offset.

                                                Equations
                                                Instances For
                                                  @[inline]

                                                  Converts a Minute.Offset to a Nanosecond.Offset.

                                                  Equations
                                                  Instances For
                                                    @[inline]

                                                    Converts a Nanosecond.Offset to a Minute.Offset.

                                                    Equations
                                                    Instances For
                                                      @[inline]

                                                      Converts a Minute.Offset to a Millisecond.Offset.

                                                      Equations
                                                      Instances For
                                                        @[inline]

                                                        Converts a Millisecond.Offset to a Minute.Offset.

                                                        Equations
                                                        Instances For
                                                          @[inline]

                                                          Converts a Minute.Offset to a Second.Offset.

                                                          Equations
                                                          Instances For
                                                            @[inline]

                                                            Converts a Second.Offset to a Minute.Offset.

                                                            Equations
                                                            Instances For
                                                              @[inline]

                                                              Converts a Minute.Offset to an Hour.Offset.

                                                              Equations
                                                              Instances For
                                                                @[inline]

                                                                Converts an Hour.Offset to a Minute.Offset.

                                                                Equations
                                                                Instances For
                                                                  @[inline]

                                                                  Converts an Hour.Offset to a Nanosecond.Offset.

                                                                  Equations
                                                                  Instances For
                                                                    @[inline]

                                                                    Converts a Nanosecond.Offset to an Hour.Offset.

                                                                    Equations
                                                                    Instances For
                                                                      @[inline]

                                                                      Converts an Hour.Offset to a Millisecond.Offset.

                                                                      Equations
                                                                      Instances For
                                                                        @[inline]

                                                                        Converts a Millisecond.Offset to an Hour.Offset.

                                                                        Equations
                                                                        Instances For
                                                                          @[inline]

                                                                          Converts an Hour.Offset to a Second.Offset.

                                                                          Equations
                                                                          Instances For
                                                                            @[inline]

                                                                            Converts a Second.Offset to an Hour.Offset.

                                                                            Equations
                                                                            Instances For
                                                                              @[inline]

                                                                              Converts an Hour.Offset to a Minute.Offset.

                                                                              Equations
                                                                              Instances For
                                                                                @[inline]

                                                                                Converts a Minute.Offset to an Hour.Offset.

                                                                                Equations
                                                                                Instances For