Modulelinear-base-0.8.1

Data.Array.Mutable.Unlifted.Linear

valuealloc :: Movable b => Int -> a -> (Array# a %1 -> b) %1 -> b

valueallocBeside :: Int -> a -> Array# b %1 -> (# Array# a, Array# b #)

valuecopyInto :: Int -> Array# a %1 -> Array# a %1 -> (# Array# a, Array# a #)

valuedup2 :: Array# a %1 -> (# Array# a, Array# a #)

valuefreeze :: (Array# a -> b) -> Array# a %1 -> Ur b

valueget :: Int -> Array# a %1 -> (# Ur a, Array# a #)

valuelseq :: Array# a %1 -> b %1 -> b

valuemap :: (a -> b) -> Array# a %1 -> Array# b

valueset :: Int -> a -> Array# a %1 -> Array# a

valuesize :: Array# a %1 -> (# Ur Int, Array# a #)

valuetoList :: Array# a %1 -> Ur [a]

valueunArray# :: (MutableArray# RealWorld a -> b) -> Array# a %1 -> Ur b

newtypenewtype Array# a