Hi all, My goal, eliminate the failure case in 'byte': https://gist.github.com/4128503 I don't want my 'byte' function to fail at runtime or return $ Left "vector not 8 bits". I want it to return a Word8 for an 8-bit bit-vector or not compile. Is there an existing library that offers fixed-length vectors as a thin veneer over the 'vector' package? I see 'vector-static', but it is unmaintained and hasn't been touched in years. Alternatively, there's 'VecN', but having already learned 'vector', I'd like to know if there is an existing solution that uses it. Thanks, Greg
On 22 November 2012 03:22, Greg Fitzgerald
Hi all,
My goal, eliminate the failure case in 'byte':
https://gist.github.com/4128503
I don't want my 'byte' function to fail at runtime or return $ Left "vector not 8 bits". I want it to return a Word8 for an 8-bit bit-vector or not compile.
Is there an existing library that offers fixed-length vectors as a thin veneer over the 'vector' package? I see 'vector-static', but it is unmaintained and hasn't been touched in years. Alternatively, there's 'VecN', but having already learned 'vector', I'd like to know if there is an existing solution that uses it.
I'm not aware about such package. But you may want to take a look at fixed-vector[1]. It's not wrapper over vector but it have similar API. It also quite young and may lack features. [1] http://hackage.haskell.org/package/fixed-vector
participants (2)
-
Aleksey Khudyakov -
Greg Fitzgerald