TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.BinaryInterchange.Configured.TotalOrder.Runtime

Total ordering of configured binary values #

These predicates decode the configured carrier and use the single exact semantic order. Storage plans, field widths, and exponent biases require no separate implementation. The predicates preserve NaN metadata and neither quiet signaling NaNs nor raise exceptions.

source
@[inline]
def FloatLib.Floats.ExecFloat.Binary.totalOrder {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)) :
Bool

Total ordering of complete binary data, including signed zero and NaN class and payload.

Instances For
    source
    @[inline]
    def FloatLib.Floats.ExecFloat.Binary.totalOrderMag {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)) :
    Bool

    Total ordering of magnitudes, retaining NaN class and payload while discarding signs.

    Instances For