Maintainer | Bas van Dijk <v.dijk.bas@gmail.com> |
---|
- 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.