| Maintainer | Bas van Dijk <v.dijk.bas@gmail.com> |
|---|
Control.Monad.Trans.Region.Unsafe
Description
- unsafeStripLocal :: RegionT (Local s) pr α -> RegionT s pr α
Documentation
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.