dahdit-0.5.1: Binary parsing and serialization with integrated size
Safe HaskellSafe-Inferred
LanguageHaskell2010

Dahdit.Internal

Documentation

newtype ViaFromIntegral (n :: Nat) x y Source #

Constructors

ViaFromIntegral 

Fields

Instances

Instances details
Num y => Num (ViaFromIntegral n x y) Source # 
Instance details

Defined in Dahdit.Internal

Methods

(+) :: ViaFromIntegral n x y -> ViaFromIntegral n x y -> ViaFromIntegral n x y #

(-) :: ViaFromIntegral n x y -> ViaFromIntegral n x y -> ViaFromIntegral n x y #

(*) :: ViaFromIntegral n x y -> ViaFromIntegral n x y -> ViaFromIntegral n x y #

negate :: ViaFromIntegral n x y -> ViaFromIntegral n x y #

abs :: ViaFromIntegral n x y -> ViaFromIntegral n x y #

signum :: ViaFromIntegral n x y -> ViaFromIntegral n x y #

fromInteger :: Integer -> ViaFromIntegral n x y #

(SwapEndian x, Integral x, Integral y) => SwapEndian (ViaFromIntegral n x y) Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: ViaFromIntegral n x y -> ViaFromIntegral n x y Source #

(Integral x, LiftedPrim x, Integral y, n ~ StaticSize x) => LiftedPrim (ViaFromIntegral n x y) Source #

NOTE: Relies on same byte width of both types!

Instance details

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> ViaFromIntegral n x y Source #

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> ViaFromIntegral n x y -> m () Source #

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> ViaFromIntegral n x y Source #

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> ViaFromIntegral n x y -> m () Source #

(StaticByteSized x, n ~ StaticSize x) => StaticByteSized (ViaFromIntegral n x y) Source # 
Instance details

Defined in Dahdit.Sizes

Associated Types

type StaticSize (ViaFromIntegral n x y) :: Nat Source #

Methods

staticByteSize :: Proxy (ViaFromIntegral n x y) -> ByteCount Source #

type StaticSize (ViaFromIntegral n x y) Source # 
Instance details

Defined in Dahdit.Sizes

type StaticSize (ViaFromIntegral n x y) = n

class Num w => SwapEndian w where Source #

Methods

swapEndian :: w -> w Source #

Instances

Instances details
SwapEndian Int16 Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Int16 -> Int16 Source #

SwapEndian Int32 Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Int32 -> Int32 Source #

SwapEndian Int64 Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Int64 -> Int64 Source #

SwapEndian Int8 Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Int8 -> Int8 Source #

SwapEndian Word16 Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Word16 -> Word16 Source #

SwapEndian Word32 Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Word32 -> Word32 Source #

SwapEndian Word64 Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Word64 -> Word64 Source #

SwapEndian Word8 Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Word8 -> Word8 Source #

SwapEndian Int24 Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Int24 -> Int24 Source #

SwapEndian Word24 Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Word24 -> Word24 Source #

SwapEndian Double Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Double -> Double Source #

SwapEndian Float Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: Float -> Float Source #

(SwapEndian x, Integral x, Integral y) => SwapEndian (ViaFromIntegral n x y) Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: ViaFromIntegral n x y -> ViaFromIntegral n x y Source #

mkWord16LE :: Word8 -> Word8 -> Word16 Source #

unMkWord16LE :: Word16 -> (Word8, Word8) Source #

mkWord24LE :: Word8 -> Word8 -> Word8 -> Word24 Source #

unMkWord24LE :: Word24 -> (Word8, Word8, Word8) Source #

mkWord32LE :: Word8 -> Word8 -> Word8 -> Word8 -> Word32 Source #

unMkWord32LE :: Word32 -> (Word8, Word8, Word8, Word8) Source #

mkWord64LE :: Word8 -> Word8 -> Word8 -> Word8 -> Word8 -> Word8 -> Word8 -> Word8 -> Word64 Source #

unMkWord64LE :: Word64 -> (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) Source #

mkFloatLE :: Word8 -> Word8 -> Word8 -> Word8 -> Float Source #

unMkFloatLE :: Float -> (Word8, Word8, Word8, Word8) Source #

mkDoubleLE :: Word8 -> Word8 -> Word8 -> Word8 -> Word8 -> Word8 -> Word8 -> Word8 -> Double Source #

unMkDoubleLE :: Double -> (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) Source #

class (Num le, Num be) => EndianPair (n :: Nat) le be | le -> n, be -> n, le -> be, be -> le where Source #

Methods

toLittleEndian :: be -> le Source #

toBigEndian :: le -> be Source #

Instances

Instances details
EndianPair 1 Int8 Int8 Source # 
Instance details

Defined in Dahdit.Internal

Methods

toLittleEndian :: Int8 -> Int8 Source #

toBigEndian :: Int8 -> Int8 Source #

EndianPair 1 Word8 Word8 Source # 
Instance details

Defined in Dahdit.Internal

Methods

toLittleEndian :: Word8 -> Word8 Source #

toBigEndian :: Word8 -> Word8 Source #

EndianPair 2 Int16LE Int16BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Int16BE -> Int16LE Source #

toBigEndian :: Int16LE -> Int16BE Source #

EndianPair 2 Word16LE Word16BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Word16BE -> Word16LE Source #

toBigEndian :: Word16LE -> Word16BE Source #

EndianPair 3 Int24LE Int24BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Int24BE -> Int24LE Source #

toBigEndian :: Int24LE -> Int24BE Source #

EndianPair 3 Word24LE Word24BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Word24BE -> Word24LE Source #

toBigEndian :: Word24LE -> Word24BE Source #

EndianPair 4 FloatLE FloatBE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: FloatBE -> FloatLE Source #

toBigEndian :: FloatLE -> FloatBE Source #

EndianPair 4 Int32LE Int32BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Int32BE -> Int32LE Source #

toBigEndian :: Int32LE -> Int32BE Source #

EndianPair 4 Word32LE Word32BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Word32BE -> Word32LE Source #

toBigEndian :: Word32LE -> Word32BE Source #

EndianPair 8 DoubleLE DoubleBE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: DoubleBE -> DoubleLE Source #

toBigEndian :: DoubleLE -> DoubleBE Source #

EndianPair 8 Int64LE Int64BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Int64BE -> Int64LE Source #

toBigEndian :: Int64LE -> Int64BE Source #

EndianPair 8 Word64LE Word64BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Word64BE -> Word64LE Source #

toBigEndian :: Word64LE -> Word64BE Source #

newtype ViaEndianPair (n :: Nat) le be Source #

Constructors

ViaEndianPair 

Fields

Instances

Instances details
(LiftedPrim le, EndianPair n le be, n ~ StaticSize le) => LiftedPrim (ViaEndianPair n le be) Source # 
Instance details

Defined in Dahdit.LiftedPrim

Methods

indexArrayLiftedInBytes :: ByteArray -> ByteCount -> ViaEndianPair n le be Source #

writeArrayLiftedInBytes :: PrimMonad m => MutableByteArray (PrimState m) -> ByteCount -> ViaEndianPair n le be -> m () Source #

indexPtrLiftedInBytes :: Ptr Word8 -> ByteCount -> ViaEndianPair n le be Source #

writePtrLiftedInBytes :: PrimMonad m => Ptr Word8 -> ByteCount -> ViaEndianPair n le be -> m () Source #

(StaticByteSized le, n ~ StaticSize le) => StaticByteSized (ViaEndianPair n le be) Source # 
Instance details

Defined in Dahdit.Sizes

Associated Types

type StaticSize (ViaEndianPair n le be) :: Nat Source #

Methods

staticByteSize :: Proxy (ViaEndianPair n le be) -> ByteCount Source #

type StaticSize (ViaEndianPair n le be) Source # 
Instance details

Defined in Dahdit.Sizes

type StaticSize (ViaEndianPair n le be) = n