typelevel dependency about purescript-arraybuffer

[jamesdbrock]

From purescript-typelevel we only use the toInt' method of the Nat class on types D1, D2, D4, and D8.

Here's one thing which I think we could do which I think would completely eliminate the need for purescript-typelevel.

We could replace the BytesPerValue typeclass with something like this:

class BytesPerType (a :: ArrayViewType) where
  byteSize :: (Proxy a) -> Int

instance bytesPerTypeInt8 :: BytesPerType Int8 where byteSize _ = 1
instance bytesPerTypeInt16 :: BytesPerType Int16 where byteSize _ = 2
…

Then we would also be able to remove the Nat type constraint on a lot of public API functions, which would be a win in my opinion.

[jamesdbrock]

Resolved in v11.0.0 .