TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Codebook.Configured.Runtime

Executable configured-codebook operations #

These operations expose storage and semantic decoding for any selected codebook. Arithmetic is deliberately absent: a generic lookup table does not determine how its entries should combine.

source
@[inline]
def FloatLib.Floats.ExecFloat.Codebook.ofCode {width : ℕ} {α : Type u} {book : Formats.Codebook width α} (code : book.Code) :
Codebook book

Wrap one complete codebook word without conversion.

Instances For
    source
    @[inline]
    def FloatLib.Floats.ExecFloat.Codebook.toCode {width : ℕ} {α : Type u} {book : Formats.Codebook width α} (value : Codebook book) :
    book.Code

    Recover the complete codebook word without conversion.

    Instances For
      source
      @[inline]
      def FloatLib.Floats.ExecFloat.Codebook.ofNatBits {width : ℕ} {α : Type u} {book : Formats.Codebook width α} (bits : ℕ) :
      Codebook book

      Construct a codebook value from a natural-number bit pattern.

      Instances For
        source
        @[inline]
        def FloatLib.Floats.ExecFloat.Codebook.toNatBits {width : ℕ} {α : Type u} {book : Formats.Codebook width α} (value : Codebook book) :
        ℕ

        Read the complete stored word as a natural number.

        Instances For
          source
          @[inline]
          def FloatLib.Floats.ExecFloat.Codebook.decode {width : ℕ} {α : Type u} {book : Formats.Codebook width α} (value : Codebook book) :
          Numerics.NumericalValue α

          Apply the selected table's complete finite or exceptional denotation.

          Instances For