Vergara_Tech/haskell-rust-ffi
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #5 from BeFunctional/edsko/improve-external

Browse source 
Improve external buffer API
This commit is contained in:
Edsko de Vries 2023-03-29 13:28:39 +02:00 committed by GitHub
commit 6c9b2fed2c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 17 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
haskell-ffi/src/to_haskell.rs
View file

@ -157,19 +157,35 @@ where
}
}
/// Get pointer to the data held by the vector
///
/// User code should not normally need to call this directly
/// (it is called by the Haskell function @fromExternalBorsh@).
#[no_mangle]
pub extern "C" fn haskell_ffi_external_ptr(vec: *mut Vec<u8>) -> *const u8 {
let vec: &Vec<u8> = unsafe { &*vec };
vec.as_ptr()
}
/// Get length of the data held by the vector
///
/// User code should not normally need to call this directly
/// (it is called by the Haskell function @fromExternalBorsh@).
#[no_mangle]
pub extern "C" fn haskell_ffi_external_len(vec: *mut Vec<u8>) -> usize {
let vec: &Vec<u8> = unsafe { &*vec };
vec.len()
}
/// Free the vector
///
/// The second argument is a pointer to the data held by the vector (see
/// `haskell_ffi_external_ptr`). It is not actually used by this function; it is
/// an argument only to match the Haskell @FinalizerEnvPtr@ type.
///
/// User code should not normally need to call this directly
/// (it is called by the Haskell function @fromExternalBorsh@).
#[no_mangle]
pub extern "C" fn haskell_ffi_external_free(vec: *mut Vec<u8>) {
pub extern "C" fn haskell_ffi_external_free(vec: *mut Vec<u8>, _ptr: *const u8) {
let _vec = unsafe { Box::from_raw(vec) };
}