LLVM.Extra.Multi.Value.Marshal

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 (C a, C (Repr a), Marshal (Struct a), IsConst (Struct a)) => C a where

Methods

pack :: a -> Struct a

unpack :: Struct a -> a

Instances

C Int16

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Int16 -> Struct Int16

unpack :: Struct Int16 -> Int16

C Int32

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Int32 -> Struct Int32

unpack :: Struct Int32 -> Int32

C Int64

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Int64 -> Struct Int64

unpack :: Struct Int64 -> Int64

C Int8

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Int8 -> Struct Int8

unpack :: Struct Int8 -> Int8

C Word16

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Word16 -> Struct Word16

unpack :: Struct Word16 -> Word16

C Word32

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Word32 -> Struct Word32

unpack :: Struct Word32 -> Word32

C Word64

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Word64 -> Struct Word64

unpack :: Struct Word64 -> Word64

C Word8

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Word8 -> Struct Word8

unpack :: Struct Word8 -> Word8

C ()

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: () -> Struct ()

unpack :: Struct () -> ()

C Bool

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Bool -> Struct Bool

unpack :: Struct Bool -> Bool

C Double

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Double -> Struct Double

unpack :: Struct Double -> Double

C Float

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Float -> Struct Float

unpack :: Struct Float -> Float

C Int

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Int -> Struct Int

unpack :: Struct Int -> Int

C Word

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Word -> Struct Word

unpack :: Struct Word -> Word

C a => C (Complex a)

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Complex a -> Struct (Complex a)

unpack :: Struct (Complex a) -> Complex a

IsFunction a => C (FunPtr a)

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: FunPtr a -> Struct (FunPtr a)

unpack :: Struct (FunPtr a) -> FunPtr a

Storable a => C (Ptr a)

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Ptr a -> Struct (Ptr a)

unpack :: Struct (Ptr a) -> Ptr a

C (StablePtr a)

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: StablePtr a -> Struct (StablePtr a)

unpack :: Struct (StablePtr a) -> StablePtr a

IsType a => C (Ptr a)

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Ptr a -> Struct (Ptr a)

unpack :: Struct (Ptr a) -> Ptr a

(Natural n, C a, Natural (n :*: SizeOf (Struct a))) => C (Array n a)

Defined in LLVM.Extra.Multi.Value.Array

Methods

pack :: Array n a -> Struct (Array n a)

unpack :: Struct (Array n a) -> Array n a

(Positive n, Vector n a) => C (Vector n a)

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: Vector n a -> Struct (Vector n a)

unpack :: Struct (Vector n a) -> Vector n a

(C a, C b) => C (a, b)

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: (a, b) -> Struct (a, b)

unpack :: Struct (a, b) -> (a, b)

(C a, C b, C c) => C (a, b, c)

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: (a, b, c) -> Struct (a, b, c)

unpack :: Struct (a, b, c) -> (a, b, c)

(C a, C b, C c, C d) => C (a, b, c, d)

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

pack :: (a, b, c, d) -> Struct (a, b, c, d)

unpack :: Struct (a, b, c, d) -> (a, b, c, d)

type Struct a = Struct (Repr a)

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

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

type VectorStruct n a = Struct (Repr n a)

class (Positive n, C a, C a, C (Repr n a), Marshal (VectorStruct n a), IsConst (VectorStruct n a)) => Vector n a where

Methods

packVector :: Vector n a -> VectorStruct n a

unpackVector :: VectorStruct n a -> Vector n a

Instances

(Positive n, Natural (n :*: D16)) => Vector n Int16

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Int16 -> VectorStruct n Int16

unpackVector :: VectorStruct n Int16 -> Vector n Int16

(Positive n, Natural (n :*: D32)) => Vector n Int32

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Int32 -> VectorStruct n Int32

unpackVector :: VectorStruct n Int32 -> Vector n Int32

(Positive n, Natural (n :*: D64)) => Vector n Int64

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Int64 -> VectorStruct n Int64

unpackVector :: VectorStruct n Int64 -> Vector n Int64

(Positive n, Natural (n :*: D8)) => Vector n Int8

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Int8 -> VectorStruct n Int8

unpackVector :: VectorStruct n Int8 -> Vector n Int8

(Positive n, Natural (n :*: D16)) => Vector n Word16

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Word16 -> VectorStruct n Word16

unpackVector :: VectorStruct n Word16 -> Vector n Word16

(Positive n, Natural (n :*: D32)) => Vector n Word32

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Word32 -> VectorStruct n Word32

unpackVector :: VectorStruct n Word32 -> Vector n Word32

(Positive n, Natural (n :*: D64)) => Vector n Word64

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Word64 -> VectorStruct n Word64

unpackVector :: VectorStruct n Word64 -> Vector n Word64

(Positive n, Natural (n :*: D8)) => Vector n Word8

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Word8 -> VectorStruct n Word8

unpackVector :: VectorStruct n Word8 -> Vector n Word8

(Positive n, Natural (n :*: D1)) => Vector n Bool

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Bool -> VectorStruct n Bool

unpackVector :: VectorStruct n Bool -> Vector n Bool

(Positive n, Natural (n :*: D64)) => Vector n Double

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Double -> VectorStruct n Double

unpackVector :: VectorStruct n Double -> Vector n Double

(Positive n, Natural (n :*: D32)) => Vector n Float

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Float -> VectorStruct n Float

unpackVector :: VectorStruct n Float -> Vector n Float

(Positive n, Natural (n :*: IntSize)) => Vector n Int

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Int -> VectorStruct n Int

unpackVector :: VectorStruct n Int -> Vector n Int

(Positive n, Natural (n :*: IntSize)) => Vector n Word

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n Word -> VectorStruct n Word

unpackVector :: VectorStruct n Word -> Vector n Word

(Vector n a, Vector n b) => Vector n (a, b)

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n (a, b) -> VectorStruct n (a, b)

unpackVector :: VectorStruct n (a, b) -> Vector n (a, b)

(Vector n a, Vector n b, Vector n c) => Vector n (a, b, c)

Defined in LLVM.Extra.Multi.Value.Marshal

Methods

packVector :: Vector n (a, b, c) -> VectorStruct n (a, b, c)

unpackVector :: VectorStruct n (a, b, c) -> Vector n (a, b, c)

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

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