bodil purescript-sized-vectors issues

bodil / purescript-sized-vectors

Idris style sized vectors in PureScript

18 stars 12 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

`sized-vectors` vs `fast-vect`

#34 m-bock opened 1 year ago
0
Type-safe indexed maps

#33 mikesol opened 3 years ago
1
Derive Ord instance

#32 milesfrain closed 3 years ago
1
Update argonaut dependency

#31 thomashoneyman closed 4 years ago
1
Add installation instructions to readme

#30 m-bock closed 4 years ago
2
Add changelog

#29 m-bock closed 4 years ago
0
Swap all uses of `toInt (undefined :: s)` to `toInt' (Proxy :: Proxy s)`

#28 athanclark closed 4 years ago
2
change internals

#27 artemisSystem closed 4 years ago
9
withIndex instances

#26 m-bock closed 4 years ago
1
Code formatting

#25 m-bock closed 4 years ago
2
Add `DecodeJson` and `EncodeJson` instance

#24 m-bock closed 4 years ago
1
Add `FunctorWithIndex` instance

#23 m-bock closed 4 years ago
3
Reconsider `range` and `range'`

#22 m-bock closed 4 years ago
5
Release new version

#21 m-bock closed 4 years ago
9
Add Semigroup and Monoid instances

#20 artemisSystem closed 4 years ago
4
Minor fixes here and there

#19 artemisSystem closed 4 years ago
0
Add Bind and Monad instances for Vec

#18 artemisSystem closed 4 years ago
3
fix Apply instance

#17 artemisSystem closed 4 years ago
1
upgraded deps, fixed warning

#16 athanclark closed 5 years ago
5
Add semiring and ring instances

#15 m-bock closed 5 years ago
2
Apply instance is wrong?

#14 chrismshelton closed 4 years ago
3
FIX: build for 0.12

#13 eric-corumdigital closed 6 years ago
0
Additional functions

#12 csicar closed 6 years ago
1
value-level indexation

#11 matthewleon closed 6 years ago
0
Distributive instance

#10 matthewleon closed 6 years ago
1
fromArray

#9 matthewleon closed 7 years ago
1
fromArray

#8 matthewleon closed 7 years ago
1
prime' fns without redundant args

#7 matthewleon closed 7 years ago
1
eliminate redundant function arguments

#6 matthewleon closed 7 years ago
2
drop redundant constraints

#5 matthewleon closed 7 years ago
2
fix unused import warning in tests

#4 matthewleon closed 7 years ago
0
Generalize pure to any size of vector

#3 LiamGoodacre closed 7 years ago
1
Implement Traversable.

#2 dikmax closed 7 years ago
2
Implement instance Traversable

#1 dikmax closed 7 years ago
1