Agda
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.MinimalArray.MutableLifted

Documentation

newtype Array s a Source #

Constructors

Array 

Fields

new :: forall a m. PrimMonad m => Int -> a -> m (Array (PrimState m) a) Source #

size :: Array s a -> Int Source #

unsafeRead :: PrimMonad m => Array (PrimState m) a -> Int -> m a Source #

unsafeWrite :: PrimMonad m => Array (PrimState m) a -> Int -> a -> m () Source #

read :: PrimMonad m => Array (PrimState m) a -> Int -> m a Source #

write :: PrimMonad m => Array (PrimState m) a -> Int -> a -> m () Source #

freeze :: PrimMonad m => Array (PrimState m) a -> m (Array a) Source #