TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.BinaryInterchange.Configured.Plan.Candidates

Structural candidate portfolios for configured binary formats #

Each operation receives the single structural route entered by its executable dispatcher. Callers may prepend representation-specific direct candidates. The generic kernel remains the certified total baseline for every precision and encoding.

The constructors are planning-time code and are marked @[nospecialize]. Their closures contain the inlined word dispatchers, and specializing them for every storage plan of Configured.Code would duplicate that code once per plan and operation without any effect on the arithmetic hot path, which reaches the kernels through the first-order execute entry points instead.

Complete per-operation candidate sets #

source
def FloatLib.Floats.Formats.BinaryInterchange.Configured.Plan.addCandidates (format : FloatFormat) (plan : StoragePlan format) {code : Type} [ExecFloat.ModelCodec plan (Model format) code] (direct : List (ExecFloat.Backend.Certified Spec.add) := []) :
ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.add)

Complete certified addition portfolio for a configured carrier and optional direct kernels.

Instances For
    source
    def FloatLib.Floats.Formats.BinaryInterchange.Configured.Plan.subCandidates (format : FloatFormat) (plan : StoragePlan format) {code : Type} [ExecFloat.ModelCodec plan (Model format) code] (direct : List (ExecFloat.Backend.Certified Spec.sub) := []) :
    ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.sub)

    Complete certified subtraction portfolio for a configured carrier and optional direct kernels.

    Instances For
      source
      def FloatLib.Floats.Formats.BinaryInterchange.Configured.Plan.mulCandidates (format : FloatFormat) (plan : StoragePlan format) {code : Type} [ExecFloat.ModelCodec plan (Model format) code] (direct : List (ExecFloat.Backend.Certified Spec.mul) := []) :
      ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.mul)

      Complete certified multiplication portfolio for a configured carrier and optional direct kernels.

      Instances For
        source
        def FloatLib.Floats.Formats.BinaryInterchange.Configured.Plan.divCandidates (format : FloatFormat) (plan : StoragePlan format) {code : Type} [ExecFloat.ModelCodec plan (Model format) code] (direct : List (ExecFloat.Backend.Certified Spec.div) := []) :
        ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.div)

        Complete certified division portfolio for a configured carrier and optional direct kernels.

        Instances For
          source
          def FloatLib.Floats.Formats.BinaryInterchange.Configured.Plan.sqrtCandidates (format : FloatFormat) (plan : StoragePlan format) {code : Type} [ExecFloat.ModelCodec plan (Model format) code] (direct : List (ExecFloat.Backend.Certified Spec.sqrt) := []) :
          ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.sqrt)

          Complete certified square-root portfolio for a configured carrier and optional direct kernels.

          Instances For
            source
            def FloatLib.Floats.Formats.BinaryInterchange.Configured.Plan.fmaCandidates (format : FloatFormat) (plan : StoragePlan format) {code : Type} [ExecFloat.ModelCodec plan (Model format) code] (direct : List (ExecFloat.Backend.Certified Spec.fma) := []) :
            ExecFloat.Backend.CandidateSet (ExecFloat.Backend.Certified Spec.fma)

            Complete certified fused-multiply-add portfolio for a configured carrier and optional direct kernels.

            Instances For