protobufs:float64_codes

/usr/lib/swipl/library/ext/protobufs/protobufs.pl

float64_codes_when(?Value, ?Codes) is det[private]

Convert between a 64-bit floating point value and its wirestream codes. This is a low-level predicate; normally, you should use template_message/2 and the appropriate template term.

This predicate delays until either Value or Codes is sufficiently instantiated.

There is also a non-delayed float64_codes/2

Arguments:

`Value`	- a floating point number
`Codes`	- a list of 8 integers (codes)

Errors

- instantiation error if both Value and Codes are uninstantiated.

bug

- May give misleading exception under some circumstances (e.g., float64_codes(_, [_,_,_,_,_,_,_,_]).