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

Safe HaskellNone

LLVM.DSL.Debug.Marshal

Documentation

data Dump Source

Constructors

Dump 

format :: C a => a -> IO StringSource

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

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

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

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

sizeOf :: C a => a -> IntSource

alignment :: C a => a -> IntSource