Agda.Utils.MinimalArray.MutablePrim
newtype Array s a Source #
Constructors
Fields
type IOArray a = Array RealWorld a Source #
new :: (Prim a, PrimMonad m) => Int -> m (Array (PrimState m) a) Source #
size :: (PrimMonad m, Prim a) => Array (PrimState m) a -> m Int Source #
unsafeRead :: (PrimMonad m, Prim a) => Array (PrimState m) a -> Int -> m a Source #
unsafeWrite :: (PrimMonad m, Prim a) => Array (PrimState m) a -> Int -> a -> m () Source #
read :: (PrimMonad m, Prim a) => Array (PrimState m) a -> Int -> m a Source #
write :: (PrimMonad m, Prim a) => Array (PrimState m) a -> Int -> a -> m () Source #
freeze :: (PrimMonad m, Prim a) => Array (PrimState m) a -> m (Array a) Source #
set :: (Prim a, PrimMonad m) => Array (PrimState m) a -> a -> m () Source #
unsafeFreeze :: PrimMonad m => Array (PrimState m) a -> m (Array a) Source #