TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Posit.Configured.Plan.Dispatch

Static Posit storage-plan dispatch #

Public posits choose their carrier from a type-static width. This module turns that chosen StoragePlan constructor into one independently certified capability per operation. Keeping the capabilities operation-indexed lets a monomorphic public call reduce to its first-order backend without allocating a package of unrelated function fields.

An abstract or custom codec still receives the representation-independent candidate set. A closed public width reduces its carrier match at compile time. Packed-word, packed-pair, and wide plans then name their single proved kernel directly. Byte plans retain policy-sensitive selection between exhaustive tables and direct arithmetic because setup cost and residency depend on the width, operation arity, and workload policy.

source
@[instance_reducible, always_inline]
def FloatLib.Floats.Formats.Posit.Configured.Plan.addCapabilityForPlan (format : Format) (plan : StoragePlan format) [planning : ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
ExecFloat.Add (Family format (Code plan) plan)

Addition capability selected directly from a storage-plan constructor.

The byte plan retains its policy-sensitive table portfolio. Every other built-in plan has one first-order winner, so its capability is constructed directly from that operation's kernel. This definition is deliberately inlined: a closed public width reduces the plan match at compile time and leaves only the named carrier kernel in the generated hot path.

Instances For
    source
    @[instance_reducible, always_inline]
    def FloatLib.Floats.Formats.Posit.Configured.Plan.subCapabilityForPlan (format : Format) (plan : StoragePlan format) [planning : ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
    ExecFloat.Sub (Family format (Code plan) plan)

    Subtraction capability selected directly from a storage-plan constructor.

    Instances For
      source
      @[instance_reducible, always_inline]
      def FloatLib.Floats.Formats.Posit.Configured.Plan.mulCapabilityForPlan (format : Format) (plan : StoragePlan format) [planning : ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
      ExecFloat.Mul (Family format (Code plan) plan)

      Multiplication capability selected directly from a storage-plan constructor.

      Instances For
        source
        @[instance_reducible, always_inline]
        def FloatLib.Floats.Formats.Posit.Configured.Plan.divCapabilityForPlan (format : Format) (plan : StoragePlan format) [planning : ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
        ExecFloat.Div (Family format (Code plan) plan)

        Division capability selected directly from a storage-plan constructor.

        Instances For
          source
          @[instance_reducible, always_inline]
          def FloatLib.Floats.Formats.Posit.Configured.Plan.sqrtCapabilityForPlan (format : Format) (plan : StoragePlan format) [planning : ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
          ExecFloat.Sqrt (Family format (Code plan) plan)

          Square-root capability selected directly from a storage-plan constructor.

          Instances For
            source
            @[instance_reducible, always_inline]
            def FloatLib.Floats.Formats.Posit.Configured.Plan.fmaCapabilityForPlan (format : Format) (plan : StoragePlan format) [planning : ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
            ExecFloat.Fma (Family format (Code plan) plan)

            Fused-multiply-add capability selected directly from a storage-plan constructor.

            Instances For

              Built-in storage-plan instances have higher priority than the representation-independent instance. Their inline operation-specific constructors specialize a closed public width to one carrier and one first-order executor. Custom codecs retain the generic certified candidate portfolios below.

              source
              @[instance_reducible, always_inline, instance 1100]
              instance FloatLib.Floats.Formats.Posit.Configured.addPlannedCapability (format : Format) (plan : StoragePlan format) [ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
              ExecFloat.Add (Family format (Code plan) plan)
              source
              @[instance_reducible, always_inline, instance 1100]
              instance FloatLib.Floats.Formats.Posit.Configured.subPlannedCapability (format : Format) (plan : StoragePlan format) [ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
              ExecFloat.Sub (Family format (Code plan) plan)
              source
              @[instance_reducible, always_inline, instance 1100]
              instance FloatLib.Floats.Formats.Posit.Configured.mulPlannedCapability (format : Format) (plan : StoragePlan format) [ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
              ExecFloat.Mul (Family format (Code plan) plan)
              source
              @[instance_reducible, always_inline, instance 1100]
              instance FloatLib.Floats.Formats.Posit.Configured.divPlannedCapability (format : Format) (plan : StoragePlan format) [ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
              ExecFloat.Div (Family format (Code plan) plan)
              source
              @[instance_reducible, always_inline, instance 1100]
              instance FloatLib.Floats.Formats.Posit.Configured.sqrtPlannedCapability (format : Format) (plan : StoragePlan format) [ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
              ExecFloat.Sqrt (Family format (Code plan) plan)
              source
              @[instance_reducible, always_inline, instance 1100]
              instance FloatLib.Floats.Formats.Posit.Configured.fmaPlannedCapability (format : Format) (plan : StoragePlan format) [ExecFloat.Backend.PolicyFor (Family format (Code plan) plan)] :
              ExecFloat.Fma (Family format (Code plan) plan)
              source
              @[instance_reducible]
              instance FloatLib.Floats.Formats.Posit.Configured.addCapability (format : Format) (plan : StoragePlan format) (code : Type) [ExecFloat.ModelCodec plan (Model format) code] [ExecFloat.Backend.PolicyFor (Family format code plan)] :
              ExecFloat.Add (Family format code plan)
              source
              @[instance_reducible]
              instance FloatLib.Floats.Formats.Posit.Configured.subCapability (format : Format) (plan : StoragePlan format) (code : Type) [ExecFloat.ModelCodec plan (Model format) code] [ExecFloat.Backend.PolicyFor (Family format code plan)] :
              ExecFloat.Sub (Family format code plan)
              source
              @[instance_reducible]
              instance FloatLib.Floats.Formats.Posit.Configured.mulCapability (format : Format) (plan : StoragePlan format) (code : Type) [ExecFloat.ModelCodec plan (Model format) code] [ExecFloat.Backend.PolicyFor (Family format code plan)] :
              ExecFloat.Mul (Family format code plan)
              source
              @[instance_reducible]
              instance FloatLib.Floats.Formats.Posit.Configured.divCapability (format : Format) (plan : StoragePlan format) (code : Type) [ExecFloat.ModelCodec plan (Model format) code] [ExecFloat.Backend.PolicyFor (Family format code plan)] :
              ExecFloat.Div (Family format code plan)
              source
              @[instance_reducible]
              instance FloatLib.Floats.Formats.Posit.Configured.sqrtCapability (format : Format) (plan : StoragePlan format) (code : Type) [ExecFloat.ModelCodec plan (Model format) code] [ExecFloat.Backend.PolicyFor (Family format code plan)] :
              ExecFloat.Sqrt (Family format code plan)
              source
              @[instance_reducible]
              instance FloatLib.Floats.Formats.Posit.Configured.fmaCapability (format : Format) (plan : StoragePlan format) (code : Type) [ExecFloat.ModelCodec plan (Model format) code] [ExecFloat.Backend.PolicyFor (Family format code plan)] :
              ExecFloat.Fma (Family format code plan)