Documentation

Std.Time.Date.Basic

@[inline]

Convert Nanosecond.Offset into Day.Offset.

Equations
    Instances For
      @[inline]

      Convert Day.Offset into Nanosecond.Offset.

      Equations
        Instances For
          @[inline]

          Convert Nanosecond.Offset into Week.Offset.

          Equations
            Instances For
              @[inline]

              Convert Week.Offset into Nanosecond.Offset.

              Equations
                Instances For
                  @[inline]

                  Convert Millisecond.Offset into Day.Offset.

                  Equations
                    Instances For
                      @[inline]

                      Convert Day.Offset into Millisecond.Offset.

                      Equations
                        Instances For
                          @[inline]

                          Convert Millisecond.Offset into Week.Offset.

                          Equations
                            Instances For
                              @[inline]

                              Convert Week.Offset into Millisecond.Offset.

                              Equations
                                Instances For
                                  @[inline]

                                  Convert Second.Offset into Day.Offset.

                                  Equations
                                    Instances For
                                      @[inline]

                                      Convert Day.Offset into Second.Offset.

                                      Equations
                                        Instances For
                                          @[inline]

                                          Convert Second.Offset into Week.Offset.

                                          Equations
                                            Instances For
                                              @[inline]

                                              Convert Week.Offset into Second.Offset.

                                              Equations
                                                Instances For
                                                  @[inline]

                                                  Convert Minute.Offset into Day.Offset.

                                                  Equations
                                                    Instances For
                                                      @[inline]

                                                      Convert Day.Offset into Minute.Offset.

                                                      Equations
                                                        Instances For
                                                          @[inline]

                                                          Convert Minute.Offset into Week.Offset.

                                                          Equations
                                                            Instances For
                                                              @[inline]

                                                              Convert Week.Offset into Minute.Offset.

                                                              Equations
                                                                Instances For
                                                                  @[inline]

                                                                  Convert Hour.Offset into Day.Offset.

                                                                  Equations
                                                                    Instances For
                                                                      @[inline]

                                                                      Convert Day.Offset into Hour.Offset.

                                                                      Equations
                                                                        Instances For
                                                                          @[inline]

                                                                          Convert Hour.Offset into Week.Offset.

                                                                          Equations
                                                                            Instances For
                                                                              @[inline]

                                                                              Convert Week.Offset into Hour.Offset.

                                                                              Equations
                                                                                Instances For