Îõ³h$êg     None5data-vector-growable- is a dynamic vector based on mutable vector v.data-vector-growableÇCreate an empty vector with the given number of pre-allocated elements.data-vector-growableCreate an empty vector data-vector-growable0Create a vector and fill with the initial value. data-vector-growableLike  ?, but initialises the elements by running the action repeatedly data-vector-growable-Append an element to the vector (not atomic). data-vector-growablePop the last element. Returns  if the vector is empty. data-vector-growableGet the length of the vector.data-vector-growableReturns  if the vector is emptydata-vector-growable May throw data-vector-growableThrows & if the index is larger than the size.data-vector-growable&Thaw an immutable vector and create a  one.data-vector-growableTake a snapshot of a  vector.data-vector-growableTake a snapshot of a - vector. The original vector may not be used.data-vector-growableTurn & vector into a regular mutable vector.data-vector-growable Create a  vector from a mutable vector.        !-data-vector-growable-0-GRzXIDW4D8K4S8P16iyWS1Data.Vector.GrowableGrowableStorableIOVectorGrowableUnboxedIOVectorGrowableIOVectorGrowableStorableVectorGrowableUnboxedVectorGrowableVectorGrowable withCapacitynew replicate replicateMpushpoplengthnullreadwritemodifythawfreeze unsafeFreeze fromGrowable toGrowablebase GHC.MaybeNothingghc-prim GHC.TypesTrueGHC.IO.ExceptionIndexOutOfBounds