TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.BinaryInterchange.Descriptor.Plan.Instances

Binary descriptor arithmetic capabilities #

These instances register the complete certified candidate sets with the universal ExecFloat interface. Public arithmetic projects the memoized selected implementation and does not rerun the selector.

source
@[instance_reducible]
instance FloatLib.Floats.Formats.BinaryInterchange.addCapability (format : FloatFormat) [planning : ExecFloat.Backend.PolicyFor (Descriptor format)] :
ExecFloat.Add (Descriptor format)
source
@[instance_reducible]
instance FloatLib.Floats.Formats.BinaryInterchange.subCapability (format : FloatFormat) [planning : ExecFloat.Backend.PolicyFor (Descriptor format)] :
ExecFloat.Sub (Descriptor format)
source
@[instance_reducible]
instance FloatLib.Floats.Formats.BinaryInterchange.mulCapability (format : FloatFormat) [planning : ExecFloat.Backend.PolicyFor (Descriptor format)] :
ExecFloat.Mul (Descriptor format)
source
@[instance_reducible]
instance FloatLib.Floats.Formats.BinaryInterchange.divCapability (format : FloatFormat) [planning : ExecFloat.Backend.PolicyFor (Descriptor format)] :
ExecFloat.Div (Descriptor format)
source
@[instance_reducible]
instance FloatLib.Floats.Formats.BinaryInterchange.sqrtCapability (format : FloatFormat) [planning : ExecFloat.Backend.PolicyFor (Descriptor format)] :
ExecFloat.Sqrt (Descriptor format)
source
@[instance_reducible]
instance FloatLib.Floats.Formats.BinaryInterchange.fmaCapability (format : FloatFormat) [planning : ExecFloat.Backend.PolicyFor (Descriptor format)] :
ExecFloat.Fma (Descriptor format)