TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

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

Configured binary-family runtime conversion #

The storage codec converts between a configured ExecFloat value and its binary proof model. The selected codec and its storage plan remain type-static.

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

Decode a configured executable value into the proof model.

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

    Pack a proof-model value into configured runtime storage.

    Instances For