[haskell-llvm] LLVM.ST (Was: Upcoming release, high level binding state)

[Benjamin Saunders]

That is the purpose of LLVM.ST, yes. Note that this module is experimental. If you find a case where purity is violated, or believe you have a design improvement, please open an issue at https://github.com/bos/llvm/issues

----- Original Message -----
From: "Henning Thielemann" <lemming at henning-thielemann.de>
To: "Benjamin Saunders" <besaunde at sfu.ca>
Cc: haskell-llvm at projects.haskell.org
Sent: Wednesday, May 15, 2013 11:37:34 AM
Subject: LLVM.ST (Was: Upcoming release, high level binding state)


On Thu, 25 Apr 2013, Benjamin Saunders wrote:

> I've merged extensive fixes and updates to llvm-base including my own 
> low-level llvm-wrapper binding.

What is the idea of the LLVM.ST module. The ST monad is intended for 
giving efficient low-level computations a non-monadic interface. Can we 
warrant that the ST functions of this module create pure functions when 
the ST monad is run with runST? Is it a good idea to put that module in 
the llvm-base package?