Aleksey Khudyakov
Aleksey Khudyakov
API based on `Applicative` has been requested multiple times: - #69 `traverse` - #132 weaken constraint on `mapM` (again `traverse`) - #144 `generateA` This is quite natural request. `Applicative` is...
It turn out `move` is not implemented correctly for unboxed vector which use structure of arrays (SoA) representation. Here is `move`'s specification: > If the vectors do not overlap, then...
We have an impressive battery of tests which are generic in vector type. I propose splitting them into separate package to benefit anyone who defines instances for vector type classes...
Currently we have following size hints in bundle: ```haskell data Size = Exact Int -- ^ Exact size | Max Int -- ^ Upper bound on the size | Unknown...
This allows to define instances using language facilities instead of relying on CPP. Last time I tried to do this GHC8.0 chocked and died during deriving. I still create PR...
Consider following program: ```haskell import qualified Data.Vector.Unboxed as U main :: IO () main = do print $ U.take 4 $ U.generate (maxBound - 4) id U.++ U.generate (maxBound -...
There were quite a few proposal to enrich API of mutable vectors: #326, #203, #64, #175. Tris issue tries to collect all proposals from them in one nice list (and...
So it should be either renamed as unsafeFill and/or bound checks added. It's possible this is not only one function with unsafe access. ``` haskell module Fill where import qualified...
Vector export a lot of functions which allows user to violate memory safety. I think it should be very straightforward to distinguish between memory-safe and memory-unsafe functions. Currently this is...
This is one way to resolve #146. All examples here will use `mean` but readily generalizes to all fold based estimators and with some problems to quantiles and like which...