TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.BinaryInterchange.Configured.Comparison.Runtime

IEEE predicates on configured binary values #

These operations decode the configured carrier and use the model's exact comparison. The Boolean answer and exception flags pass through unchanged. Quiet and signaling names follow IEEE 754-2019 Tables 5.1–5.2.

source
@[inline]
def FloatLib.Floats.ExecFloat.Binary.compareQuiet {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (predicate : Formats.BinaryInterchange.Model.Comparison.Predicate) (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
Formats.BinaryInterchange.Model.Comparison.Result

Quiet comparison under an explicit IEEE predicate, with its invalid flag.

Instances For
    source
    @[inline]
    def FloatLib.Floats.ExecFloat.Binary.compareSignaling {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (predicate : Formats.BinaryInterchange.Model.Comparison.Predicate) (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
    Formats.BinaryInterchange.Model.Comparison.Result

    Signaling comparison under an explicit IEEE predicate, with its invalid flag.

    Instances For
      source
      @[inline]
      def FloatLib.Floats.ExecFloat.Binary.compareQuietEqual {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
      Formats.BinaryInterchange.Model.Comparison.Result

      Quiet equality on configured values.

      Instances For
        source
        @[inline]
        def FloatLib.Floats.ExecFloat.Binary.compareQuietNotEqual {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
        Formats.BinaryInterchange.Model.Comparison.Result

        Quiet inequality, including unordered operands on configured values.

        Instances For
          source
          @[inline]
          def FloatLib.Floats.ExecFloat.Binary.compareQuietGreater {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
          Formats.BinaryInterchange.Model.Comparison.Result

          Quiet greater-than comparison on configured values.

          Instances For
            source
            @[inline]
            def FloatLib.Floats.ExecFloat.Binary.compareQuietGreaterEqual {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
            Formats.BinaryInterchange.Model.Comparison.Result

            Quiet greater-than-or-equal comparison on configured values.

            Instances For
              source
              @[inline]
              def FloatLib.Floats.ExecFloat.Binary.compareQuietLess {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
              Formats.BinaryInterchange.Model.Comparison.Result

              Quiet less-than comparison on configured values.

              Instances For
                source
                @[inline]
                def FloatLib.Floats.ExecFloat.Binary.compareQuietLessEqual {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                Formats.BinaryInterchange.Model.Comparison.Result

                Quiet less-than-or-equal comparison on configured values.

                Instances For
                  source
                  @[inline]
                  def FloatLib.Floats.ExecFloat.Binary.compareQuietUnordered {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                  Formats.BinaryInterchange.Model.Comparison.Result

                  Quiet test for unordered operands on configured values.

                  Instances For
                    source
                    @[inline]
                    def FloatLib.Floats.ExecFloat.Binary.compareQuietOrdered {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                    Formats.BinaryInterchange.Model.Comparison.Result

                    Quiet test for ordered operands on configured values.

                    Instances For
                      source
                      @[inline]
                      def FloatLib.Floats.ExecFloat.Binary.compareQuietLessUnordered {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                      Formats.BinaryInterchange.Model.Comparison.Result

                      Quiet less-than-or-unordered comparison on configured values.

                      Instances For
                        source
                        @[inline]
                        def FloatLib.Floats.ExecFloat.Binary.compareQuietNotGreater {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                        Formats.BinaryInterchange.Model.Comparison.Result

                        Quiet complement of greater-than on configured values.

                        Instances For
                          source
                          @[inline]
                          def FloatLib.Floats.ExecFloat.Binary.compareQuietNotLess {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                          Formats.BinaryInterchange.Model.Comparison.Result

                          Quiet complement of less-than on configured values.

                          Instances For
                            source
                            @[inline]
                            def FloatLib.Floats.ExecFloat.Binary.compareQuietGreaterUnordered {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                            Formats.BinaryInterchange.Model.Comparison.Result

                            Quiet greater-than-or-unordered comparison on configured values.

                            Instances For
                              source
                              @[inline]
                              def FloatLib.Floats.ExecFloat.Binary.compareSignalingEqual {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                              Formats.BinaryInterchange.Model.Comparison.Result

                              Signaling equality on configured values.

                              Instances For
                                source
                                @[inline]
                                def FloatLib.Floats.ExecFloat.Binary.compareSignalingNotEqual {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                                Formats.BinaryInterchange.Model.Comparison.Result

                                Signaling inequality, including unordered operands on configured values.

                                Instances For
                                  source
                                  @[inline]
                                  def FloatLib.Floats.ExecFloat.Binary.compareSignalingGreater {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                                  Formats.BinaryInterchange.Model.Comparison.Result

                                  Signaling greater-than comparison on configured values.

                                  Instances For
                                    source
                                    @[inline]
                                    def FloatLib.Floats.ExecFloat.Binary.compareSignalingGreaterEqual {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                                    Formats.BinaryInterchange.Model.Comparison.Result

                                    Signaling greater-than-or-equal comparison on configured values.

                                    Instances For
                                      source
                                      @[inline]
                                      def FloatLib.Floats.ExecFloat.Binary.compareSignalingLess {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                                      Formats.BinaryInterchange.Model.Comparison.Result

                                      Signaling less-than comparison on configured values.

                                      Instances For
                                        source
                                        @[inline]
                                        def FloatLib.Floats.ExecFloat.Binary.compareSignalingLessEqual {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                                        Formats.BinaryInterchange.Model.Comparison.Result

                                        Signaling less-than-or-equal comparison on configured values.

                                        Instances For
                                          source
                                          @[inline]
                                          def FloatLib.Floats.ExecFloat.Binary.compareSignalingLessUnordered {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                                          Formats.BinaryInterchange.Model.Comparison.Result

                                          Signaling less-than-or-unordered comparison on configured values.

                                          Instances For
                                            source
                                            @[inline]
                                            def FloatLib.Floats.ExecFloat.Binary.compareSignalingNotGreater {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                                            Formats.BinaryInterchange.Model.Comparison.Result

                                            Signaling complement of greater-than on configured values.

                                            Instances For
                                              source
                                              @[inline]
                                              def FloatLib.Floats.ExecFloat.Binary.compareSignalingNotLess {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                                              Formats.BinaryInterchange.Model.Comparison.Result

                                              Signaling complement of less-than on configured values.

                                              Instances For
                                                source
                                                @[inline]
                                                def FloatLib.Floats.ExecFloat.Binary.compareSignalingGreaterUnordered {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x y : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
                                                Formats.BinaryInterchange.Model.Comparison.Result

                                                Signaling greater-than-or-unordered comparison on configured values.

                                                Instances For