Agda
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.MinimalArray.MutablePrim

Documentation

newtype Array s a Source #

Constructors

Array 

Fields

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 #