regional-pointers-0.1: Regional memory pointers
Source code
Contents
Index
Foreign.Ptr.Region.Unsafe
Maintainer
Bas van Dijk <v.dijk.bas@gmail.com>
Description
Unsafe
functions for retrieving the actual Ptr from a regional pointer and for lifting operations on Ptrs to RegionalPtrs.
Documentation
unsafePtr
::
RegionalPtr
α r ->
Ptr
α
Source
unsafeWrap
::
MonadIO
m => (
Ptr
α ->
IO
β) ->
RegionalPtr
α r -> m β
Source
unsafeWrap2
::
MonadIO
m => (
Ptr
α -> γ ->
IO
β) ->
RegionalPtr
α r -> γ -> m β
Source
unsafeWrap3
::
MonadIO
m => (
Ptr
α -> γ -> δ ->
IO
β) ->
RegionalPtr
α r -> γ -> δ -> m β
Source
Produced by
Haddock
version 2.6.0