search

bodil / purescript-sized-vectors

Idris style sized vectors in PureScript
18 stars 12 forks source link

Add semiring and ring instances #15

Closed m-bock closed 5 years ago

m-bock commented 5 years ago

Vec.zipWithE (+) v1 v2 goes v1 + v2

m-bock commented 5 years ago

Cannot figure out why travis fails. * ERROR: 'purs' executable not found.

m-bock commented 5 years ago

My first idea was to create a library with a module Geometry.Vec which contains a newtype wrapper around Vec from this package. But then I realized that basically every function from Data.Vec would have to be wrapped. So I thought it may be a good idea to put the instances here.