This is safe regarding use of memory. Enough space is allocated to store both values, and the difference between sizes, if any, is filled with zeros. The result is what you would expect if you have a C pointer to the first value and cast it to a pointer to the result. Of course, this can have undesired effects if peek implementation for the result type does more than just reading memory.
This function can be safely used with any datatype generated by this package macro library.
|Produced by Haddock version 2.4.2|