purescript-fast-vect

purescript-fast-vect copied to clipboard

Proposal: Swap `Proxy (a :: Int)` to dedicated `Index (bound :: Int)`

2

The gist of this proposal is to swap the `Proxy idx` type out in this library for a new type (1): ```purescript -- | An int between 0 (inclusive) and...

YourFin

Switch to visible type applications

2

sigma-andex

sigma-andex

`Vect` to nested tuple conversion

2

Hi, thanks a lot for building this lib! :-) I find it useful to be able to deconstruct a `Vect i a` value into a tuple. I mean: ``` a...

paluh

The little documentation there is right now is largely still from my very first version (using symbol arithmetic instead of typelevel ints). Some sentences are outdated and wrong. Also the...

sigma-andex

sigma-andex