The standard library Unsafe_Chunk api defines access to various functions coercing raw memory pointers to various types. This provides the equivalent of C pointer type casts for low-level code which needs it. Caveat Hacker! This also allows you to corrupt the heap arbitarily. Here be monsters.
The Unsafe_Chunk api is implemented by the unsafe_chunk package from src/lib/std/src/unsafe/unsafe-chunk.pkg.
The Unsafe_Chunk api source code is in src/lib/std/src/unsafe/unsafe-chunk.api.
The above information is manually maintained and may contain errors.
api {
Chunk;
Representation
= BYTE_RO_VECTOR
|
BYTE_RW_VECTOR
|
FLOAT64
|
FLOAT64_RW_VECTOR
|
LAZY_SUSPENSION
|
PAIR
|
RECORD
|
REF
|
TYPEAGNOSTIC_RO_VECTOR
|
TYPEAGNOSTIC_RW_VECTOR
|
UNBOXED
|
UNT1
|
WEAK_POINTER;
to_chunk : X -> Chunk;
make_tuple : List(Chunk ) -> Chunk;
boxed : Chunk -> Bool;
unboxed : Chunk -> Bool;
rep : Chunk -> Representation;
length : Chunk -> Int;
exception REPRESENTATION;
to_tuple : Chunk -> List(Chunk );
to_string : Chunk -> String;
to_ref : Chunk -> Ref(Chunk );
to_rw_vector : Chunk -> Rw_Vector(Chunk );
to_float64_rw_vector : Chunk -> rw_vector_of_eight_byte_floats::Rw_Vector;
to_byte_rw_vector : Chunk -> rw_vector_of_one_byte_unts::Rw_Vector;
to_vector : Chunk -> ?.Vector(Chunk );
to_byte_vector : Chunk -> vector_of_one_byte_unts::Vector;
to_exn : Chunk -> Exception;
to_float : Chunk -> Float;
to_int : Chunk -> Int;
to_int1 : Chunk -> one_word_int::Int;
to_unt : Chunk -> Unt;
to_unt8 : Chunk -> one_byte_unt::Unt;
to_unt1 : Chunk -> one_word_unt::Unt;
nth : (Chunk , Int) -> Chunk;};