Commits

Show all
Author Commit Message Labels Comments Date
"Pav...@gmail.com>"
Added tag v0.3.0.1 for changeset 57bd76c39b4b
convert-repo
update tags
Tags
v0.3.0.1
Jake McArthur
Add unmaintainance notice and correct a .cabal format error.
Jake McArthur
Correct dependency versions and bump package version
Jake McArthur
remove findIndices and elemIndices because they were incorrect
Tags
v0.3.0
Jake McArthur
removed remaining Nat parameters from Data.Fin
Jake McArthur
Remove Nat parameters from functions in Data.Vector.Generic.Mutable.Static
Jake McArthur
change Data.Fin.raise to use witnessNat, avoiding the Nat parameter
Jake McArthur
version bump
Jake McArthur
Use witnessNat rather than explicitly passing a Nat parameter where possible.
Jake McArthur
add indexM, headM, lastM, and slice
Jake McArthur
version bump
Tags
v0.2.0
Jake McArthur
add instances to U.Vec where applicable
Jake McArthur
add a bunch of lifted instances for Vec n using Applicative, like Num
Jake McArthur
add Ord instance for G.Vec and Eq, Ord, and Show constraints for Vec
Jake McArthur
add Monoid instance for Vec n
Jake McArthur
add INLINE pragmas to instances for Vec n
Jake McArthur
add Foldable instance for Vec n
Jake McArthur
add -Odph to GHC-Options field in cabal file
Jake McArthur
add references to repository in cabal file
Tags
v0.1.2
Jake McArthur
change home page
Tags
v0.1.1
Jake McArthur
version bump and maintainer change
Jake McArthur
rewrite Unbox for Vec n a to be not stupid, faster
Jake McArthur
add Unboxed instances for Vec Z a and Vec n a => Vec (S n) a
Andrea Vezzosi
NatView
Andrea Vezzosi
Reifiable
Andrea Vezzosi
transform the Nat typeclass into a parametrized type
pumpkin
Added show instances, fixed dumb linking bug
pumpkin
Got rid of a useless witnessNat in the monad instance
pumpkin
Epic inlining
  1. Prev
  2. Next