typelevel dependency #29

Activity

1. jamesdbrock commented on Jun 19, 2021

   

   jamesdbrock

   on Jun 19, 2021

   Last edited by jamesdbrock

   MemberAuthor

   More actions

   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.

   👍React with 👍1Reacted by jacereda
2. jamesdbrock commented on Jul 16, 2021

   

   jamesdbrock

   on Jul 16, 2021

   MemberAuthor

   More actions

   Resolved in v11.0.0 .
3. jamesdbrock

   closed this as completedon Jul 16, 2021