Data.Array.Comfort.Storable.Mutable.Private

Documentation

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

Constructors

Array

Fields

• shape :: sh
• buffer :: MutablePtr a

type STArray s = Array (ST s)

type IOArray = Array IO

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)

unsafeArrayIOToPrim :: PrimMonad m => IOArray sh a -> Array m sh a

show :: (PrimMonad m, C sh, Show sh, Storable a, Show a) => Array m sh a -> m String

withArrayPtr :: PrimMonad m => MutablePtr a -> (Ptr a -> IO b) -> m b

withPtr :: PrimMonad m => Array m sh a -> (Ptr a -> IO b) -> m b

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

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

readEither :: (PrimMonad m, Indexed sh, Storable a) => Array m sh a -> Index sh -> Either String (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 ()

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

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)