Andrew Pimlott wrote:
liftR :: (InRegion mark marks) = (h - m a) - Private mark h - Region marks
m a
liftR f (Private h) = Region $ f h
This is not as safe. Try modifying your test2.
Okay, I missed this... Have renamed the function unsafeLiftR... As you
say still useful for
Brandon Moore [EMAIL PROTECTED] writes:
(snip)
The term I've heard is skolem constant, which is a freshly invented
thing distinct from everything else.
(snip)
There's a nice easy-going example in chapter 8 of
http://www.cl.cam.ac.uk/Teaching/2000/LogicProof/notes.pdf
where quantifiers are
Taral wrote:
On 1/17/06, Keean Schupke [EMAIL PROTECTED] wrote:
Just made a few modifications and thought it might be useful to
people. I have rewritten the functions as
liftR and bracketR over a MonadIO monad interface (allowing
monad-transformers to be used).
I'm sorry, but what
On 1/18/06, Keean Schupke [EMAIL PROTECTED] wrote:
It didnt when I wrote the MonadIO stuff that I use! Here is the missing
file ... I tried to put it all in
one, but missed the use of up3. (see attached)
All I see is up3 = undefined... somehow I don't think that will work.
As far as I know,
up3 is quite easy to define, but it is specific to the monad-transformer
you are lifting through... see attached for definition for
the state-monad-transformer.
Keean.
Taral wrote:
On 1/18/06, Keean Schupke [EMAIL PROTECTED] wrote:
It didnt when I wrote the MonadIO stuff that I use!
On 1/18/06, Keean Schupke [EMAIL PROTECTED] wrote:
up3 is quite easy to define, but it is specific to the monad-transformer
you are lifting through... see attached for definition for
the state-monad-transformer.
Ah, you're using undefined for the state. If you're going to do that,
though, why
On Tue, Jan 17, 2006 at 06:13:14PM +, Keean Schupke wrote:
Just made a few modifications and thought it might be useful to
people. I have rewritten the functions as
liftR and bracketR over a MonadIO monad interface (allowing
monad-transformers to be used). This is now
usable as
Hi Oleg,
Just made a few modifications and thought it might be useful to
people. I have rewritten the functions as
liftR and bracketR over a MonadIO monad interface (allowing
monad-transformers to be used). This is now
usable as Region library, as you can lift any arbitrary IO function
On 1/17/06, Keean Schupke [EMAIL PROTECTED] wrote:
Just made a few modifications and thought it might be useful to
people. I have rewritten the functions as
liftR and bracketR over a MonadIO monad interface (allowing
monad-transformers to be used).
I'm sorry, but what is Lib.Monad.MonadT?