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

Dahdit.Internal

Documentation

newtype ViaFromIntegral x y Source #

Constructors

ViaFromIntegral 

Fields

Instances

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

Defined in Dahdit.Internal

Methods

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

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

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

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

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

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

fromInteger :: Integer -> ViaFromIntegral x y #

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

Defined in Dahdit.Internal

Methods

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

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

NOTE: Relies on same byte width of both types!

Instance details

Defined in Dahdit.LiftedPrim

Methods

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

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

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

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

StaticByteSized x => ByteSized (ViaFromIntegral x y) Source # 
Instance details

Defined in Dahdit.Sizes

Methods

byteSize :: ViaFromIntegral x y -> ByteCount Source #

StaticByteSized x => StaticByteSized (ViaFromIntegral x y) Source # 
Instance details

Defined in Dahdit.Sizes

Methods

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

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 x y) Source # 
Instance details

Defined in Dahdit.Internal

Methods

swapEndian :: ViaFromIntegral x y -> ViaFromIntegral 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 le be | le -> be, be -> le where Source #

Methods

toLittleEndian :: be -> le Source #

toBigEndian :: le -> be Source #

Instances

Instances details
EndianPair Int8 Int8 Source # 
Instance details

Defined in Dahdit.Internal

Methods

toLittleEndian :: Int8 -> Int8 Source #

toBigEndian :: Int8 -> Int8 Source #

EndianPair Word8 Word8 Source # 
Instance details

Defined in Dahdit.Internal

Methods

toLittleEndian :: Word8 -> Word8 Source #

toBigEndian :: Word8 -> Word8 Source #

EndianPair DoubleLE DoubleBE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: DoubleBE -> DoubleLE Source #

toBigEndian :: DoubleLE -> DoubleBE Source #

EndianPair FloatLE FloatBE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: FloatBE -> FloatLE Source #

toBigEndian :: FloatLE -> FloatBE Source #

EndianPair Int16LE Int16BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Int16BE -> Int16LE Source #

toBigEndian :: Int16LE -> Int16BE Source #

EndianPair Int24LE Int24BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Int24BE -> Int24LE Source #

toBigEndian :: Int24LE -> Int24BE Source #

EndianPair Int32LE Int32BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Int32BE -> Int32LE Source #

toBigEndian :: Int32LE -> Int32BE Source #

EndianPair Int64LE Int64BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Int64BE -> Int64LE Source #

toBigEndian :: Int64LE -> Int64BE Source #

EndianPair Word16LE Word16BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Word16BE -> Word16LE Source #

toBigEndian :: Word16LE -> Word16BE Source #

EndianPair Word24LE Word24BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Word24BE -> Word24LE Source #

toBigEndian :: Word24LE -> Word24BE Source #

EndianPair Word32LE Word32BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Word32BE -> Word32LE Source #

toBigEndian :: Word32LE -> Word32BE Source #

EndianPair Word64LE Word64BE Source # 
Instance details

Defined in Dahdit.Nums

Methods

toLittleEndian :: Word64BE -> Word64LE Source #

toBigEndian :: Word64LE -> Word64BE Source #

newtype ViaEndianPair le be Source #

Constructors

ViaEndianPair 

Fields

Instances

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

Defined in Dahdit.LiftedPrim

Methods

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

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

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

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

StaticByteSized le => ByteSized (ViaEndianPair le be) Source # 
Instance details

Defined in Dahdit.Sizes

Methods

byteSize :: ViaEndianPair le be -> ByteCount Source #

StaticByteSized le => StaticByteSized (ViaEndianPair le be) Source # 
Instance details

Defined in Dahdit.Sizes

Methods

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