regional-pointers-0.1.0.1: Regional memory pointers Source code Contents Index

Foreign.Marshal.Array.Region Maintainer Bas van Dijk <v.dijk.bas@gmail.com>

Contents Allocation Marshalling Combined allocation and marshalling Copying Finding the length Indexing

Description

Synopsis

mallocArray :: forall α s pr. (Storable α, MonadCatchIO pr) => Int -> RegionT s pr (RegionalPtr α (RegionT s pr)) mallocArray0 :: (Storable α, MonadCatchIO pr) => Int -> RegionT s pr (RegionalPtr α (RegionT s pr)) allocaArray :: forall α pr β. (Storable α, MonadCatchIO pr) => Int -> (forall s. RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β allocaArray0 :: forall α pr β. (Storable α, MonadCatchIO pr) => Int -> (forall s. RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β peekArray :: (Storable α, ParentOf pr cr, MonadIO cr) => Int -> RegionalPtr α pr -> cr [α] peekArray0 :: (Storable α, Eq α, ParentOf pr cr, MonadIO cr) => α -> RegionalPtr α pr -> cr [α] pokeArray :: (Storable α, ParentOf pr cr, MonadIO cr) => RegionalPtr α pr -> [α] -> cr () pokeArray0 :: (Storable α, ParentOf pr cr, MonadIO cr) => α -> RegionalPtr α pr -> [α] -> cr () newArray :: (Storable α, MonadCatchIO pr) => [α] -> RegionT s pr (RegionalPtr α (RegionT s pr)) newArray0 :: (Storable α, MonadCatchIO pr) => α -> [α] -> RegionT s pr (RegionalPtr α (RegionT s pr)) withArray :: (Storable α, MonadCatchIO pr) => [α] -> (forall s. RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β withArray0 :: (Storable α, MonadCatchIO pr) => α -> [α] -> (forall s. RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β withArrayLen :: (Storable α, MonadCatchIO pr) => [α] -> (forall s. Int -> RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β withArrayLen0 :: (Storable α, MonadCatchIO pr) => α -> [α] -> (forall s. Int -> RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β copyArray :: (Storable α, ParentOf pr cr, MonadIO cr) => RegionalPtr α pr -> RegionalPtr α pr -> Int -> cr () moveArray :: (Storable α, ParentOf pr cr, MonadIO cr) => RegionalPtr α pr -> RegionalPtr α pr -> Int -> cr () lengthArray0 :: (Storable α, Eq α, ParentOf pr cr, MonadIO cr) => α -> RegionalPtr α pr -> cr Int advancePtr :: Storable α => RegionalPtr α pr -> Int -> RegionalPtr α pr

Allocation

mallocArray :: forall α s pr. (Storable α, MonadCatchIO pr) => Int -> RegionT s pr (RegionalPtr α (RegionT s pr)) Source

mallocArray0 :: (Storable α, MonadCatchIO pr) => Int -> RegionT s pr (RegionalPtr α (RegionT s pr)) Source

allocaArray :: forall α pr β. (Storable α, MonadCatchIO pr) => Int -> (forall s. RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β Source

allocaArray0 :: forall α pr β. (Storable α, MonadCatchIO pr) => Int -> (forall s. RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β Source

TODO: Define and export reallocArray and reallocArray0

Marshalling

peekArray :: (Storable α, ParentOf pr cr, MonadIO cr) => Int -> RegionalPtr α pr -> cr [α] Source

Wraps: Foreign.Marshal.Array.peekArray.

peekArray0 :: (Storable α, Eq α, ParentOf pr cr, MonadIO cr) => α -> RegionalPtr α pr -> cr [α] Source

Wraps: Foreign.Marshal.Array.peekArray0.

pokeArray :: (Storable α, ParentOf pr cr, MonadIO cr) => RegionalPtr α pr -> [α] -> cr () Source

Wraps: Foreign.Marshal.Array.pokeArray.

pokeArray0 :: (Storable α, ParentOf pr cr, MonadIO cr) => α -> RegionalPtr α pr -> [α] -> cr () Source

Wraps: Foreign.Marshal.Array.pokeArray0.

Combined allocation and marshalling

newArray :: (Storable α, MonadCatchIO pr) => [α] -> RegionT s pr (RegionalPtr α (RegionT s pr)) Source

newArray0 :: (Storable α, MonadCatchIO pr) => α -> [α] -> RegionT s pr (RegionalPtr α (RegionT s pr)) Source

withArray :: (Storable α, MonadCatchIO pr) => [α] -> (forall s. RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β Source

withArray0 :: (Storable α, MonadCatchIO pr) => α -> [α] -> (forall s. RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β Source

withArrayLen :: (Storable α, MonadCatchIO pr) => [α] -> (forall s. Int -> RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β Source

withArrayLen0 :: (Storable α, MonadCatchIO pr) => α -> [α] -> (forall s. Int -> RegionalPtr α (RegionT s pr) -> RegionT s pr β) -> pr β Source

Copying

copyArray :: (Storable α, ParentOf pr cr, MonadIO cr) => RegionalPtr α pr -> RegionalPtr α pr -> Int -> cr () Source

Wraps: Foreign.Marshal.Array.copyArray.

moveArray :: (Storable α, ParentOf pr cr, MonadIO cr) => RegionalPtr α pr -> RegionalPtr α pr -> Int -> cr () Source

Wraps: Foreign.Marshal.Array.moveArray.

Finding the length

lengthArray0 :: (Storable α, Eq α, ParentOf pr cr, MonadIO cr) => α -> RegionalPtr α pr -> cr Int Source

Wraps: Foreign.Marshal.Array.lengthArray0.

Indexing

advancePtr :: Storable α => RegionalPtr α pr -> Int -> RegionalPtr α pr Source

Wraps: Foreign.Marshal.Array.advancePtr.

Produced by Haddock version 2.6.0