Andrew Martin
Andrew Martin
I just noticed this is missing
I'd like to move this from `primitive-unlifted` into this `primitive`: ``` class PrimUnlifted a where type Unlifted a :: UnliftedType toUnlifted# :: a -> Unlifted a fromUnlifted# :: Unlifted a...
Not urgent. Just wanted to document that the test suite currently cannot build with GHC 9.8.
Add a `checked` flag to add bounds checking to element access operations. Still working on this. It does add some amount of conceptual overhead to the code (no performance overhead...
In Data.List, there is a function that maps over a collection while building an accumulator: mapAccumL :: Traversable t => (a -> b -> (a, c)) -> a -> t...
The `Array` and `MutableArray` types have `array#` and `marray#` as record labels. These are occassionally useful for unwrapping. Many of the other types in this library are missing record labels....
The `Prim` typeclass has laws that we intuitively understand. We should state these more formally in the docs.
WIP. I still need to handle `SmallArray`. I also need to make this work with `Either`, but the backwards-compatibility story there is more annoying because of the historical absence of...
Concerning the implementation of `byteArrayFromList`, @treeowl [writes](https://github.com/haskell/primitive/pull/118#pullrequestreview-108383810): > We have shrinking here, so we should probably benchmark an array doubling (or similar) option. Array doubling would let this be a...
The type signatures of all of the monadic mapping functions (mapM, imapM, etc) have a `Monad` constraint on `m`. However, this can be weakened to `Applicative`. I do not know...