Maintainer | Bas van Dijk <v.dijk.bas@gmail.com> |
---|
- unsafeStripLocal :: RegionT (Local s) pr α -> RegionT s pr α
- unsafeLiftControl :: Monad pr => (Run (RegionT s) -> pr α) -> RegionT s pr α
- unsafeLiftControlIO :: MonadControlIO pr => (RunInBase (RegionT s pr) IO -> IO α) -> RegionT s pr α
- unsafeControlIO :: MonadControlIO pr => (RunInBase (RegionT s pr) IO -> IO (RegionT s pr α)) -> RegionT s pr α
- unsafeLiftIOOp :: MonadControlIO pr => ((α -> IO (RegionT s pr β)) -> IO (RegionT s pr γ)) -> (α -> RegionT s pr β) -> RegionT s pr γ
- unsafeLiftIOOp_ :: MonadControlIO pr => (IO (RegionT s pr α) -> IO (RegionT s pr β)) -> RegionT s pr α -> RegionT s pr β
Local regions
unsafeStripLocal :: RegionT (Local s) pr α -> RegionT s pr αSource
Convert a Local
region to a regular region.
This function is unsafe because it allows you to use a LocalRegion
-tagged
handle outside its Local
region.
MonadTransControl & MonadControlIO
unsafeLiftControlIO :: MonadControlIO pr => (RunInBase (RegionT s pr) IO -> IO α) -> RegionT s pr αSource
unsafeControlIO :: MonadControlIO pr => (RunInBase (RegionT s pr) IO -> IO (RegionT s pr α)) -> RegionT s pr αSource
unsafeLiftIOOp :: MonadControlIO pr => ((α -> IO (RegionT s pr β)) -> IO (RegionT s pr γ)) -> (α -> RegionT s pr β) -> RegionT s pr γSource
unsafeLiftIOOp_ :: MonadControlIO pr => (IO (RegionT s pr α) -> IO (RegionT s pr β)) -> RegionT s pr α -> RegionT s pr βSource