F64 wire codecs (NUM-008): an F64 is eight little-endian bytes of IEEE-754
binary64, so its encodings are the Data.Bytes Word64 codecs over the same
bits -- no second implementation. Encode takes the F64; the exact decoders
are Data.Bytes' own (exactly eight bytes, short and trailing input rejected)
and answer the ModelWord64, which stdF64FromWord64 makes an F64 -- the same
convention as Data.Float32Bits' F32 codecs.
411def stdF64EncodeLE =
412 (lambda unrestricted value : (family ModelFloat64Bits) .
413 (dataBytesWord64LE (stdF64ToWord64 value)))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.