TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Posit.Configured.Constants

Fundamental configured posit constants #

Zero and NaR are representation-level constants needed by arithmetic, standard functions, conformance proofs, and the public API. They live below those layers so every client uses the same definitions without creating an import cycle.

source
@[inline]
def FloatLib.Floats.ExecFloat.Posit.zero {format : Formats.Posit.Format} {plan : Formats.Posit.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.Posit.Model format) code] :
ExecFloat (Formats.Posit.Configured.Family format code plan)

Construct the unique posit zero.

Instances For
    source
    @[inline]
    def FloatLib.Floats.ExecFloat.Posit.nar {format : Formats.Posit.Format} {plan : Formats.Posit.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.Posit.Model format) code] :
    ExecFloat (Formats.Posit.Configured.Family format code plan)

    Construct the unique posit Not-a-Real value.

    Instances For