Safe Haskell	Safe-Inferred
Language	Haskell98

LLVM.Extra.Marshal

Description

Transfer values between Haskell and JIT generated code in an LLVM-compatible format. E.g. Bool is stored as i1 and occupies a byte, Vector n Bool is stored as a bit vector, Vector n Word8 is stored in an order depending on machine endianess, and Haskell tuples are stored as LLVM structs.

Documentation

class (Value a, C (ValueOf a), Marshal (Struct a), IsSized (Struct a)) => C a where Source #

Methods

pack :: a -> Struct a Source #

unpack :: Struct a -> a Source #

Instances

Instances details

C Int16 Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Int16 -> Struct Int16 Source # unpack :: Struct Int16 -> Int16 Source #
C Int32 Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Int32 -> Struct Int32 Source # unpack :: Struct Int32 -> Int32 Source #
C Int64 Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Int64 -> Struct Int64 Source # unpack :: Struct Int64 -> Int64 Source #
C Int8 Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Int8 -> Struct Int8 Source # unpack :: Struct Int8 -> Int8 Source #
C Word16 Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Word16 -> Struct Word16 Source # unpack :: Struct Word16 -> Word16 Source #
C Word32 Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Word32 -> Struct Word32 Source # unpack :: Struct Word32 -> Word32 Source #
C Word64 Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Word64 -> Struct Word64 Source # unpack :: Struct Word64 -> Word64 Source #
C Word8 Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Word8 -> Struct Word8 Source # unpack :: Struct Word8 -> Word8 Source #
C () Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: () -> Struct () Source # unpack :: Struct () -> () Source #
C Bool Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Bool -> Struct Bool Source # unpack :: Struct Bool -> Bool Source #
C Double Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Double -> Struct Double Source # unpack :: Struct Double -> Double Source #
C Float Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Float -> Struct Float Source # unpack :: Struct Float -> Float Source #
C Int Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Int -> Struct Int Source # unpack :: Struct Int -> Int Source #
C Word Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Word -> Struct Word Source # unpack :: Struct Word -> Word Source #
IsFunction a => C (FunPtr a) Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: FunPtr a -> Struct (FunPtr a) Source # unpack :: Struct (FunPtr a) -> FunPtr a Source #
Storable a => C (Ptr a) Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Ptr a -> Struct (Ptr a) Source # unpack :: Struct (Ptr a) -> Ptr a Source #
C (StablePtr a) Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: StablePtr a -> Struct (StablePtr a) Source # unpack :: Struct (StablePtr a) -> StablePtr a Source #
IsType a => C (Ptr a) Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Ptr a -> Struct (Ptr a) Source # unpack :: Struct (Ptr a) -> Ptr a Source #
(Positive n, Natural (n :*: SizeOf a), Vector n a) => C (Vector n a) Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: Vector n a -> Struct (Vector n a) Source # unpack :: Struct (Vector n a) -> Vector n a Source #
(IsSized (Struct a), IsSized (Struct b), C a, C b) => C (a, b) Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: (a, b) -> Struct (a, b) Source # unpack :: Struct (a, b) -> (a, b) Source #
(IsSized (Struct a), IsSized (Struct b), IsSized (Struct c), C a, C b, C c) => C (a, b, c) Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: (a, b, c) -> Struct (a, b, c) Source # unpack :: Struct (a, b, c) -> (a, b, c) Source #
(IsSized (Struct a), IsSized (Struct b), IsSized (Struct c), IsSized (Struct d), C a, C b, C c, C d) => C (a, b, c, d) Source #
Instance details Defined in LLVM.Extra.Marshal Methods pack :: (a, b, c, d) -> Struct (a, b, c, d) Source # unpack :: Struct (a, b, c, d) -> (a, b, c, d) Source #

type Struct a = Struct (ValueOf a) Source #

peek :: (C a, Struct a ~ struct, Marshal struct) => Ptr struct -> IO a Source #

poke :: (C a, Struct a ~ struct, Marshal struct) => Ptr struct -> a -> IO () Source #

type VectorStruct n a = Struct (VectorValueOf n a) Source #

class (Positive n, VectorValue n a, C (VectorValueOf n a), Marshal (VectorStruct n a), IsSized (VectorStruct n a)) => Vector n a where Source #

Methods

packVector :: Vector n a -> VectorStruct n a Source #

unpackVector :: VectorStruct n a -> Vector n a Source #

Instances

Instances details

(Positive n, Natural (n :*: D16)) => Vector n Int16 Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Int16 -> VectorStruct n Int16 Source # unpackVector :: VectorStruct n Int16 -> Vector n Int16 Source #
(Positive n, Natural (n :*: D32)) => Vector n Int32 Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Int32 -> VectorStruct n Int32 Source # unpackVector :: VectorStruct n Int32 -> Vector n Int32 Source #
(Positive n, Natural (n :*: D64)) => Vector n Int64 Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Int64 -> VectorStruct n Int64 Source # unpackVector :: VectorStruct n Int64 -> Vector n Int64 Source #
(Positive n, Natural (n :*: D8)) => Vector n Int8 Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Int8 -> VectorStruct n Int8 Source # unpackVector :: VectorStruct n Int8 -> Vector n Int8 Source #
(Positive n, Natural (n :*: D16)) => Vector n Word16 Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Word16 -> VectorStruct n Word16 Source # unpackVector :: VectorStruct n Word16 -> Vector n Word16 Source #
(Positive n, Natural (n :*: D32)) => Vector n Word32 Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Word32 -> VectorStruct n Word32 Source # unpackVector :: VectorStruct n Word32 -> Vector n Word32 Source #
(Positive n, Natural (n :*: D64)) => Vector n Word64 Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Word64 -> VectorStruct n Word64 Source # unpackVector :: VectorStruct n Word64 -> Vector n Word64 Source #
(Positive n, Natural (n :*: D8)) => Vector n Word8 Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Word8 -> VectorStruct n Word8 Source # unpackVector :: VectorStruct n Word8 -> Vector n Word8 Source #
(Positive n, Natural (n :*: D1)) => Vector n Bool Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Bool -> VectorStruct n Bool Source # unpackVector :: VectorStruct n Bool -> Vector n Bool Source #
(Positive n, Natural (n :*: D64)) => Vector n Double Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Double -> VectorStruct n Double Source # unpackVector :: VectorStruct n Double -> Vector n Double Source #
(Positive n, Natural (n :*: D32)) => Vector n Float Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Float -> VectorStruct n Float Source # unpackVector :: VectorStruct n Float -> Vector n Float Source #
(Positive n, Natural (n :*: IntSize)) => Vector n Int Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Int -> VectorStruct n Int Source # unpackVector :: VectorStruct n Int -> Vector n Int Source #
(Positive n, Natural (n :*: IntSize)) => Vector n Word Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n Word -> VectorStruct n Word Source # unpackVector :: VectorStruct n Word -> Vector n Word Source #
(Vector n a, Vector n b) => Vector n (a, b) Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n (a, b) -> VectorStruct n (a, b) Source # unpackVector :: VectorStruct n (a, b) -> Vector n (a, b) Source #
(Vector n a, Vector n b, Vector n c) => Vector n (a, b, c) Source #
Instance details Defined in LLVM.Extra.Marshal Methods packVector :: Vector n (a, b, c) -> VectorStruct n (a, b, c) Source # unpackVector :: VectorStruct n (a, b, c) -> Vector n (a, b, c) Source #

with :: C a => a -> (Ptr (Struct a) -> IO b) -> IO b Source #

alloca :: IsType a => (Ptr a -> IO b) -> IO b #