AlphaGitHub
Source/Packages

Std.Numeric.Profile

packages/foundation/standard/src/Std/Numeric/Profile.alpha

736 lines139 declarations26.5 KiBSHA-256 2450517e3794
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 718–726

stdNumericConversionDestination

Full file
718def stdNumericConversionDestination =
719  (lambda unrestricted conversion : (family StdNumericConversion) .
720    (eliminate
721      StdNumericConversion
722      (lambda unrestricted current : (family StdNumericConversion) . (family StdNumericFormat))
723      conversion
724      (branch StdNumericKeepFormat format . format)
725      (branch StdNumericWidenBinary32 . (constructor StdNumericFormat StdFormatBinary64))
726      (branch StdNumericRoundBinary64 . (constructor StdNumericFormat StdFormatBinary32))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.