TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Posit.Formatting.Configured.Runtime

Decimal conversion for configured posits #

The selected storage codec forwards decimal input and display to the exact-width model. Packing introduces no additional rounding. This interface works with native and explicit limb carriers.

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

Exact decimal display through the selected posit storage codec.

Instances For
    source
    def FloatLib.Floats.ExecFloat.Posit.parse {format : Formats.Posit.Format} {plan : Formats.Posit.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.Posit.Model format) code] (input : String) :
    Except Formats.Posit.Model.ParseError (ExecFloat (Formats.Posit.Configured.Family format code plan))

    Exact decimal input, rounded once and packed into the selected posit storage carrier.

    Instances For