Data.Array.Comfort.Storable.Mutable.Internal

The functions in this module miss any bound checking.

Documentation

data Array (m :: * -> *) sh a

Constructors

Array

Fields

• shape :: sh
• buffer :: ForeignPtr a

type STArray s = Array (ST s)

type IOArray = Array IO

new :: (PrimMonad m, C sh, Storable a) => sh -> a -> m (Array m sh a)

copy :: (PrimMonad m, C sh, Storable a) => Array m sh a -> m (Array m sh a)

create :: (C sh, Storable a) => sh -> (Ptr a -> IO ()) -> IO (IOArray sh a)

createWithSize :: (C sh, Storable a) => sh -> (Int -> Ptr a -> IO ()) -> IO (IOArray sh a)

createWithSizeAndResult :: (C sh, Storable a) => sh -> (Int -> Ptr a -> IO b) -> IO (IOArray sh a, b)

unsafeCreate :: (PrimMonad m, C sh, Storable a) => sh -> (Ptr a -> IO ()) -> m (Array m sh a)

unsafeCreateWithSize :: (PrimMonad m, C sh, Storable a) => sh -> (Int -> Ptr a -> IO ()) -> m (Array m sh a)

unsafeCreateWithSizeAndResult :: (PrimMonad m, C sh, Storable a) => sh -> (Int -> Ptr a -> IO b) -> m (Array m sh a, b)

read :: (PrimMonad m, Indexed sh, Storable a) => Array m sh a -> Index sh -> m a

write :: (PrimMonad m, Indexed sh, Storable a) => Array m sh a -> Index sh -> a -> m ()

update :: (PrimMonad m, Indexed sh, Storable a) => Array m sh a -> Index sh -> (a -> a) -> m ()

toList :: (PrimMonad m, C sh, Storable a) => Array m sh a -> m [a]

fromList :: (PrimMonad m, C sh, Storable a) => sh -> [a] -> m (Array m sh a)

vectorFromList :: (PrimMonad m, Storable a) => [a] -> m (Array m (ZeroBased Int) a)

freeze :: (PrimMonad m, C sh, Storable a) => Array m sh a -> m (Array sh a)

unsafeFreeze :: (PrimMonad m, C sh, Storable a) => Array m sh a -> m (Array sh a)

thaw :: (PrimMonad m, C sh, Storable a) => Array sh a -> m (Array m sh a)

unsafeThaw :: (PrimMonad m, C sh, Storable a) => Array sh a -> m (Array m sh a)