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

Improve external buffer API

Browse source
This commit is contained in:
Edsko de Vries 2023-03-29 13:03:02 +02:00
parent b4b00f16ee
commit 3564134777
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] #[no_mangle]
pub extern "C" fn haskell_ffi_external_ptr(vec: *mut Vec<u8>) -> *const u8 { pub extern "C" fn haskell_ffi_external_ptr(vec: *mut Vec<u8>) -> *const u8 {
let vec: &Vec<u8> = unsafe { &*vec }; let vec: &Vec<u8> = unsafe { &*vec };
vec.as_ptr() 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] #[no_mangle]
pub extern "C" fn haskell_ffi_external_len(vec: *mut Vec<u8>) -> usize { pub extern "C" fn haskell_ffi_external_len(vec: *mut Vec<u8>) -> usize {
let vec: &Vec<u8> = unsafe { &*vec }; let vec: &Vec<u8> = unsafe { &*vec };
vec.len() 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] #[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) }; let _vec = unsafe { Box::from_raw(vec) };
} }