llvm-dsl-0.1: Support for writing an EDSL with LLVM-JIT as target

Safe HaskellNone
LanguageHaskell98

LLVM.DSL.Debug.Marshal

Documentation

data Dump Source #

Constructors

Dump 

dumpCounter :: IORef (T Dump) Source #

toBytePtr :: Ptr a -> Ptr Word8 Source #

format :: C a => a -> IO String Source #

dump :: C a => FilePath -> a -> T Dump -> IO () Source #

type ArrayElem = Word32 Source #

withConstArray :: C a => a -> (forall n. Natural n => ConstValue (Array n ArrayElem) -> b) -> IO b Source #

traceMalloc :: C a => a -> Int -> Ptr a -> IO (Ptr a) Source #

proxyFromData :: a -> Proxy (Struct a) Source #

sizeOf :: C a => a -> Int Source #

alignment :: C a => a -> Int Source #