Guix

llvm-hs is a set of Haskell bindings for LLVM. Unlike other current Haskell bindings, it uses an algebraic datatype (ADT) to represent LLVM IR, and so offers two advantages: it handles almost all of the stateful complexities of using the LLVM API to build IR; and it supports moving IR not only from Haskell into LLVM C++ objects, but the other direction - from LLVM C++ into Haskell.