TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Posit.Configured.Storage.Family.Runtime

Configured posit-family runtime conversion #

The storage codec converts between a configured posit ExecFloat value and its exact-width proof model. The carrier and storage plan are fixed in the value's type.

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

Decode a configured executable posit into the exact-width model.

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

    Pack an exact-width model value into configured posit storage.

    Instances For