Add Data.Bytes.Indexed for functions on ByteArrayN

Author: andrewthad

byteslice.cabal

@@ -1,6 +1,6 @@
 cabal-version:   2.4
 name:            byteslice
-version:         0.2.14.0
+version:         0.2.15.0
 synopsis:        Slicing managed and unmanaged memory
 description:
   This library provides types that allow the user to talk about a slice of
@@ -35,6 +35,7 @@ library
   exposed-modules:
     Data.Bytes
     Data.Bytes.Chunks
+    Data.Bytes.Indexed
     Data.Bytes.Encode.BigEndian
     Data.Bytes.Encode.LittleEndian
     Data.Bytes.Internal

src/Data/Bytes/Indexed.hs

@@ -0,0 +1,14 @@
+{-# language DataKinds #-}
+{-# language TypeOperators #-}
+
+module Data.Bytes.Indexed
+  ( ByteArrayN
+  , append
+  ) where
+
+import Data.Bytes.Types (ByteArrayN(ByteArrayN))
+import GHC.TypeNats (type (+))
+
+append :: ByteArrayN m -> ByteArrayN n -> ByteArrayN (m + n)
+{-# inline append #-}
+append (ByteArrayN x) (ByteArrayN y) = ByteArrayN (x <> y)