h$      !"#$%&'()*+,-./0123456789:;<=>?@A(c) 2020 Gushcha AntonMITncrashed@protonmail.comunstable non-portableNone 8> k grow-vector Synonim for  in B monad grow-vectorGrow vector that is wrap around mutable vector. We allocate partially filled vector and grow it when there is no more space for new element. grow-vectorReturn current capacity of the vector (amount of elements that it can fit without realloc) grow-vector/Return current amount of elements in the vector grow-vectorReturn C* if there is no elements inside the vector grow-vector6Allocation of new growable vector with given capacity.  grow-vectorAllocation of new growable vector with given filled size and capacity. Elements is not initialized. Capacity must be greater than filled size.  grow-vectorYield a part of mutable vector without copying it. The vector must contain at least i+n elements.  grow-vectorConvert immutable vector to grow mutable version. Doesn't allocate additonal memory for appending, use   to add capacity to the vector.  grow-vectorFreezing growable vector. It will contain only actual elements of the vector not including capacity space, but you should call D on resulting vector to not hold the allocated capacity of original vector in memory.  grow-vectorEnsure that grow vector has at least given capacity possibly with reallocation. grow-vectorEnsure that grow vector has enough space for additonal n elements. We grow vector by 1.5 factor or by required elements count * 1.5. grow-vector(Read element from vector at given index. grow-vector(Read element from vector at given index. grow-vector0Write down element in the vector at given index. grow-vector0Write down element in the vector at given index. grow-vector"O(1) amortized appending to vector grow-vectorO(1) amortized appending to vector. Doesn't reallocate vector, so there must by capacity - length >= 1.  grow-vectori starting index grow-vectorn number of elements grow-vectorAdditional n elements grow-vector0Index of element. Must be in [0 .. length) range grow-vector0Index of element. Must be in [0 .. length) range grow-vector0Index of element. Must be in [0 .. length) range grow-vector0Index of element. Must be in [0 .. length) range  (c) 2020 Gushcha AntonMITncrashed@protonmail.comunstable non-portableNone 8> grow-vector Synonim for  in B monad grow-vectorGrow vector that is wrap around mutable vector. We allocate partially filled vector and grow it when there is no more space for new element. grow-vectorReturn current capacity of the vector (amount of elements that it can fit without realloc) grow-vector/Return current amount of elements in the vector grow-vectorReturn C* if there is no elements inside the vector grow-vector6Allocation of new growable vector with given capacity. grow-vectorAllocation of new growable vector with given filled size and capacity. Elements is not initialized. Capacity must be greater than filled size.  grow-vectorYield a part of mutable vector without copying it. The vector must contain at least i+n elements.! grow-vectorConvert immutable vector to grow mutable version. Doesn't allocate additonal memory for appending, use # to add capacity to the vector." grow-vectorFreezing growable vector. It will contain only actual elements of the vector not including capacity space, but you should call E on resulting vector to not hold the allocated capacity of original vector in memory.# grow-vectorEnsure that grow vector has at least given capacity possibly with reallocation.$ grow-vectorEnsure that grow vector has enough space for additonal n elements. We grow vector by 1.5 factor or by required elements count * 1.5.% grow-vector(Read element from vector at given index.& grow-vector(Read element from vector at given index.' grow-vector0Write down element in the vector at given index.( grow-vector0Write down element in the vector at given index.) grow-vector"O(1) amortized appending to vector* grow-vectorO(1) amortized appending to vector. Doesn't reallocate vector, so there must by capacity - length >= 1.  grow-vectori starting index grow-vectorn number of elements$ grow-vectorAdditional n elements% grow-vector0Index of element. Must be in [0 .. length) range& grow-vector0Index of element. Must be in [0 .. length) range' grow-vector0Index of element. Must be in [0 .. length) range( grow-vector0Index of element. Must be in [0 .. length) range !"#$%&'()* !"#$%'&()*(c) 2020 Gushcha AntonMITncrashed@protonmail.comunstable non-portableNone 8>m, grow-vector Synonim for - in B monad- grow-vectorGrow vector that is wrap around mutable vector. We allocate partially filled vector and grow it when there is no more space for new element.1 grow-vectorReturn current capacity of the vector (amount of elements that it can fit without realloc)2 grow-vector/Return current amount of elements in the vector3 grow-vectorReturn C* if there is no elements inside the vector4 grow-vector6Allocation of new growable vector with given capacity.5 grow-vectorAllocation of new growable vector with given filled size and capacity. Elements is not initialized. Capacity must be greater than filled size.6 grow-vectorYield a part of mutable vector without copying it. The vector must contain at least i+n elements.7 grow-vectorConvert immutable vector to grow mutable version. Doesn't allocate additonal memory for appending, use 9 to add capacity to the vector.8 grow-vectorFreezing growable vector. It will contain only actual elements of the vector not including capacity space, but you should call F on resulting vector to not hold the allocated capacity of original vector in memory.9 grow-vectorEnsure that grow vector has at least given capacity possibly with reallocation.: grow-vectorEnsure that grow vector has enough space for additonal n elements. We grow vector by 1.5 factor or by required elements count * 1.5.; grow-vector(Read element from vector at given index.< grow-vector(Read element from vector at given index.= grow-vector0Write down element in the vector at given index.> grow-vector0Write down element in the vector at given index.? grow-vector"O(1) amortized appending to vector@ grow-vectorO(1) amortized appending to vector. Doesn't reallocate vector, so there must by capacity - length >= 1.6 grow-vectori starting index grow-vectorn number of elements: grow-vectorAdditional n elements; grow-vector0Index of element. Must be in [0 .. length) range< grow-vector0Index of element. Must be in [0 .. length) range= grow-vector0Index of element. Must be in [0 .. length) range> grow-vector0Index of element. Must be in [0 .. length) range,-./0123456789:;<=>?@-./0,231456789:;=<>?@                !"grow-vector-0.1.3.0-inplaceData.Vector.GrowData.Vector.Grow.StorableData.Vector.Grow.Unboxed IOGrowVector GrowVector growVectorgrowVectorLengthcapacitylengthnullnewnewSizedslicethawfreezeensure ensureAppendread unsafeReadwrite unsafeWritepushBackunsafePushBack$fGenericGrowVectorghc-prim GHC.TypesIOTrue%vector-0.12.1.2-WH4mgR5hxNGoVQ5RnEINX Data.VectorforceData.Vector.StorableData.Vector.Unboxed