19 Jan
2006
19 Jan
'06
12:11 p.m.
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 building libraries provided you do not export the region code from the library that uses it. Of course an alternative is just to have an opaque/abstract handle, and not export the data-constructor. Keean.