module Data.Primitive.ByteArray.LittleEndian
(
writeByteArray
, readByteArray
, indexByteArray
, writeUnalignedByteArray
, readUnalignedByteArray
, indexUnalignedByteArray
) where
import Data.Primitive (Prim,MutableByteArray,ByteArray)
import Control.Monad.Primitive (PrimState,PrimMonad)
import System.ByteOrder (Bytes,toLittleEndian,fromLittleEndian)
import Data.Primitive.ByteArray.Unaligned (PrimUnaligned)
import qualified Data.Primitive as PM
import qualified Data.Primitive.ByteArray.Unaligned as PMU
writeByteArray :: (PrimMonad m, Prim a, Bytes a)
=> MutableByteArray (PrimState m) -> Int -> a -> m ()
writeByteArray :: MutableByteArray (PrimState m) -> Int -> a -> m ()
writeByteArray MutableByteArray (PrimState m)
arr Int
ix a
v = MutableByteArray (PrimState m) -> Int -> a -> m ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutableByteArray (PrimState m) -> Int -> a -> m ()
PM.writeByteArray MutableByteArray (PrimState m)
arr Int
ix (a -> a
forall a. Bytes a => a -> a
toLittleEndian a
v)
readByteArray :: (PrimMonad m, Prim a, Bytes a)
=> MutableByteArray (PrimState m) -> Int -> m a
readByteArray :: MutableByteArray (PrimState m) -> Int -> m a
readByteArray MutableByteArray (PrimState m)
arr Int
ix = a -> a
forall a. Bytes a => a -> a
fromLittleEndian (a -> a) -> m a -> m a
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> MutableByteArray (PrimState m) -> Int -> m a
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutableByteArray (PrimState m) -> Int -> m a
PM.readByteArray MutableByteArray (PrimState m)
arr Int
ix
indexByteArray :: (Prim a, Bytes a) => ByteArray -> Int -> a
indexByteArray :: ByteArray -> Int -> a
indexByteArray ByteArray
arr Int
ix = a -> a
forall a. Bytes a => a -> a
fromLittleEndian (ByteArray -> Int -> a
forall a. Prim a => ByteArray -> Int -> a
PM.indexByteArray ByteArray
arr Int
ix)
writeUnalignedByteArray :: (PrimMonad m, PrimUnaligned a, Bytes a)
=> MutableByteArray (PrimState m) -> Int -> a -> m ()
writeUnalignedByteArray :: MutableByteArray (PrimState m) -> Int -> a -> m ()
writeUnalignedByteArray MutableByteArray (PrimState m)
arr Int
ix a
v = MutableByteArray (PrimState m) -> Int -> a -> m ()
forall (m :: * -> *) a.
(PrimMonad m, PrimUnaligned a) =>
MutableByteArray (PrimState m) -> Int -> a -> m ()
PMU.writeUnalignedByteArray MutableByteArray (PrimState m)
arr Int
ix (a -> a
forall a. Bytes a => a -> a
toLittleEndian a
v)
readUnalignedByteArray :: (PrimMonad m, PrimUnaligned a, Bytes a)
=> MutableByteArray (PrimState m) -> Int -> m a
readUnalignedByteArray :: MutableByteArray (PrimState m) -> Int -> m a
readUnalignedByteArray MutableByteArray (PrimState m)
arr Int
ix = a -> a
forall a. Bytes a => a -> a
fromLittleEndian (a -> a) -> m a -> m a
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> MutableByteArray (PrimState m) -> Int -> m a
forall (m :: * -> *) a.
(PrimMonad m, PrimUnaligned a) =>
MutableByteArray (PrimState m) -> Int -> m a
PMU.readUnalignedByteArray MutableByteArray (PrimState m)
arr Int
ix
indexUnalignedByteArray :: (PrimUnaligned a, Bytes a)
=> ByteArray -> Int -> a
indexUnalignedByteArray :: ByteArray -> Int -> a
indexUnalignedByteArray ByteArray
arr Int
ix = a -> a
forall a. Bytes a => a -> a
fromLittleEndian (ByteArray -> Int -> a
forall a. PrimUnaligned a => ByteArray -> Int -> a
PMU.indexUnalignedByteArray ByteArray
arr Int
ix)