Maintainer | Bas van Dijk <v.dijk.bas@gmail.com> |
---|
- unsafeStripLocal :: RegionT (Local s) pr α -> RegionT s pr α
- unsafeLiftControlIO :: RegionControlIO m => (RunInBase m IO -> IO α) -> m α
- unsafeLiftControl :: Monad pr => (Run (RegionT s) -> pr α) -> RegionT s pr α
- unsafeControlIO :: RegionControlIO m => (RunInBase m IO -> IO (m α)) -> m α
- unsafeLiftIOOp :: RegionControlIO m => ((α -> IO (m β)) -> IO (m γ)) -> (α -> m β) -> m γ
- unsafeLiftIOOp_ :: RegionControlIO m => (IO (m α) -> IO (m β)) -> m α -> m β
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 :: RegionControlIO m => (RunInBase m IO -> IO α) -> m αSource
unsafeControlIO :: RegionControlIO m => (RunInBase m IO -> IO (m α)) -> m αSource
unsafeLiftIOOp :: RegionControlIO m => ((α -> IO (m β)) -> IO (m γ)) -> (α -> m β) -> m γSource
unsafeLiftIOOp_ :: RegionControlIO m => (IO (m α) -> IO (m β)) -> m α -> m βSource