TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.BinaryInterchange.Configured.Classification.Runtime

Classification of configured binary values #

These non-signaling queries use the descriptor's interpretation through the existing exact model codec. The same interface covers every configured carrier, including custom biases and exceptional-value policies.

source
@[inline]
def FloatLib.Floats.ExecFloat.Binary.isNormal {format : Formats.BinaryInterchange.FloatFormat} {plan : Formats.BinaryInterchange.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.BinaryInterchange.Model format) code] (x : ExecFloat (Formats.BinaryInterchange.Configured.Family format code plan)) :
Bool

Test normality under the complete configured descriptor.

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

    Return the shared IEEE class without changing the value or signaling an exception.

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

      Test canonical interchange encoding, independently of the selected runtime carrier.

      Instances For