Copyright	(c) 2026 Tushar Adhatrao
License	MIT
Stability	stable
Safe Haskell	None
Language	GHC2021

WasmEdge.Value

Contents

Encoding / decoding
ValType conversion

Description

Provides functions to encode WasmVal into the C representation and decode it back. These are used internally by VM and Executor when calling WASM functions.

Most users interact with WasmVal directly and never call these functions.

Synopsis

encodeVal :: WasmVal -> (Ptr CValue_ -> IO a) -> IO a
decodeVal :: Ptr CValue_ -> IO WasmVal
withValArray :: [WasmVal] -> (Ptr () -> Word32 -> IO a) -> IO a
peekValArray :: Ptr () -> Word32 -> IO [WasmVal]
withCValueArray :: Int -> (Ptr CValue_ -> IO a) -> IO a
valueSize :: Int
encodeValType :: ValType -> (Ptr CValType_ -> IO a) -> IO a
withValTypeArray :: [ValType] -> (Ptr CValType_ -> Word32 -> IO a) -> IO a
peekValTypes :: Ptr CValType_ -> Word32 -> IO [ValType]

Encoding / decoding

encodeVal :: WasmVal -> (Ptr CValue_ -> IO a) -> IO a #

Encode a single WasmVal into a stack-allocated CValue_.

decodeVal :: Ptr CValue_ -> IO WasmVal #

Decode a WasmVal from a CValue_ pointer.

withValArray :: [WasmVal] -> (Ptr () -> Word32 -> IO a) -> IO a #

Encode a '[WasmVal]' into a C array and pass the array to the action.

peekValArray :: Ptr () -> Word32 -> IO [WasmVal] #

Decode a '[WasmVal]' from a C array of CValue_.

withCValueArray :: Int -> (Ptr CValue_ -> IO a) -> IO a #

Allocate an array of n CValue_ structs on the stack.

valueSize :: Int #

ValType conversion

encodeValType :: ValType -> (Ptr CValType_ -> IO a) -> IO a #

Encode a ValType into a stack-allocated CValType_ and pass it to the given action.

withValTypeArray :: [ValType] -> (Ptr CValType_ -> Word32 -> IO a) -> IO a #

Allocate a stack array of CValType_ from a '[ValType]'.

peekValTypes :: Ptr CValType_ -> Word32 -> IO [ValType] #

Decode an array of CValType_ from a C array.