bytezap-1.6.0: Bytestring builder with zero intermediate allocation
Safe HaskellNone
LanguageGHC2021

Raehik.Compat.Data.Primitive.Types.Endian

Description

I think this should be in primitive.

Synopsis

Documentation

class ByteSwap a where Source #

Boxed types which permit reversing byte order ("byte swapping").

Methods

byteSwap :: a -> a Source #

Instances

Instances details
ByteSwap Int16 Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

byteSwap :: Int16 -> Int16 Source #

ByteSwap Int32 Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

byteSwap :: Int32 -> Int32 Source #

ByteSwap Int64 Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

byteSwap :: Int64 -> Int64 Source #

ByteSwap Word16 Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

byteSwap :: Word16 -> Word16 Source #

ByteSwap Word32 Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

byteSwap :: Word32 -> Word32 Source #

ByteSwap Word64 Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

byteSwap :: Word64 -> Word64 Source #

ByteSwap Double Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

byteSwap :: Double -> Double Source #

ByteSwap Float Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

byteSwap :: Float -> Float Source #

ByteSwap Int Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

byteSwap :: Int -> Int Source #

ByteSwap Word Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

byteSwap :: Word -> Word Source #

newtype ByteOrdered (end :: ByteOrder) a Source #

Constructors

ByteOrdered 

Fields

Instances

Instances details
Enum a => Enum (ByteOrdered end a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

succ :: ByteOrdered end a -> ByteOrdered end a #

pred :: ByteOrdered end a -> ByteOrdered end a #

toEnum :: Int -> ByteOrdered end a #

fromEnum :: ByteOrdered end a -> Int #

enumFrom :: ByteOrdered end a -> [ByteOrdered end a] #

enumFromThen :: ByteOrdered end a -> ByteOrdered end a -> [ByteOrdered end a] #

enumFromTo :: ByteOrdered end a -> ByteOrdered end a -> [ByteOrdered end a] #

enumFromThenTo :: ByteOrdered end a -> ByteOrdered end a -> ByteOrdered end a -> [ByteOrdered end a] #

Num a => Num (ByteOrdered end a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

(+) :: ByteOrdered end a -> ByteOrdered end a -> ByteOrdered end a #

(-) :: ByteOrdered end a -> ByteOrdered end a -> ByteOrdered end a #

(*) :: ByteOrdered end a -> ByteOrdered end a -> ByteOrdered end a #

negate :: ByteOrdered end a -> ByteOrdered end a #

abs :: ByteOrdered end a -> ByteOrdered end a #

signum :: ByteOrdered end a -> ByteOrdered end a #

fromInteger :: Integer -> ByteOrdered end a #

Integral a => Integral (ByteOrdered end a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

quot :: ByteOrdered end a -> ByteOrdered end a -> ByteOrdered end a #

rem :: ByteOrdered end a -> ByteOrdered end a -> ByteOrdered end a #

div :: ByteOrdered end a -> ByteOrdered end a -> ByteOrdered end a #

mod :: ByteOrdered end a -> ByteOrdered end a -> ByteOrdered end a #

quotRem :: ByteOrdered end a -> ByteOrdered end a -> (ByteOrdered end a, ByteOrdered end a) #

divMod :: ByteOrdered end a -> ByteOrdered end a -> (ByteOrdered end a, ByteOrdered end a) #

toInteger :: ByteOrdered end a -> Integer #

Real a => Real (ByteOrdered end a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

toRational :: ByteOrdered end a -> Rational #

Show a => Show (ByteOrdered end a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

showsPrec :: Int -> ByteOrdered end a -> ShowS #

show :: ByteOrdered end a -> String #

showList :: [ByteOrdered end a] -> ShowS #

(Prim' a, ByteSwap a) => Prim' (ByteOrdered 'BigEndian a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Associated Types

type SizeOf (ByteOrdered 'BigEndian a) 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

type SizeOf (ByteOrdered 'BigEndian a) = SizeOf (PrimByteSwapped a)

Methods

indexWord8ByteArrayAs# :: ByteArray# -> Int# -> ByteOrdered 'BigEndian a Source #

readWord8ByteArrayAs# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, ByteOrdered 'BigEndian a #) Source #

writeWord8ByteArrayAs# :: MutableByteArray# s -> Int# -> ByteOrdered 'BigEndian a -> State# s -> State# s Source #

indexWord8OffAddrAs# :: Addr# -> Int# -> ByteOrdered 'BigEndian a Source #

readWord8OffAddrAs# :: Addr# -> Int# -> State# s -> (# State# s, ByteOrdered 'BigEndian a #) Source #

writeWord8OffAddrAs# :: Addr# -> Int# -> ByteOrdered 'BigEndian a -> State# s -> State# s Source #

Prim' a => Prim' (ByteOrdered 'LittleEndian a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Associated Types

type SizeOf (ByteOrdered 'LittleEndian a) 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

type SizeOf (ByteOrdered 'LittleEndian a) = SizeOf a

Methods

indexWord8ByteArrayAs# :: ByteArray# -> Int# -> ByteOrdered 'LittleEndian a Source #

readWord8ByteArrayAs# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, ByteOrdered 'LittleEndian a #) Source #

writeWord8ByteArrayAs# :: MutableByteArray# s -> Int# -> ByteOrdered 'LittleEndian a -> State# s -> State# s Source #

indexWord8OffAddrAs# :: Addr# -> Int# -> ByteOrdered 'LittleEndian a Source #

readWord8OffAddrAs# :: Addr# -> Int# -> State# s -> (# State# s, ByteOrdered 'LittleEndian a #) Source #

writeWord8OffAddrAs# :: Addr# -> Int# -> ByteOrdered 'LittleEndian a -> State# s -> State# s Source #

Eq a => Eq (ByteOrdered end a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

(==) :: ByteOrdered end a -> ByteOrdered end a -> Bool #

(/=) :: ByteOrdered end a -> ByteOrdered end a -> Bool #

Ord a => Ord (ByteOrdered end a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

compare :: ByteOrdered end a -> ByteOrdered end a -> Ordering #

(<) :: ByteOrdered end a -> ByteOrdered end a -> Bool #

(<=) :: ByteOrdered end a -> ByteOrdered end a -> Bool #

(>) :: ByteOrdered end a -> ByteOrdered end a -> Bool #

(>=) :: ByteOrdered end a -> ByteOrdered end a -> Bool #

max :: ByteOrdered end a -> ByteOrdered end a -> ByteOrdered end a #

min :: ByteOrdered end a -> ByteOrdered end a -> ByteOrdered end a #

(Prim a, ByteSwap a) => Prim (ByteOrdered 'BigEndian a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

sizeOf# :: ByteOrdered 'BigEndian a -> Int# #

alignment# :: ByteOrdered 'BigEndian a -> Int# #

indexByteArray# :: ByteArray# -> Int# -> ByteOrdered 'BigEndian a #

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, ByteOrdered 'BigEndian a #) #

writeByteArray# :: MutableByteArray# s -> Int# -> ByteOrdered 'BigEndian a -> State# s -> State# s #

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> ByteOrdered 'BigEndian a -> State# s -> State# s #

indexOffAddr# :: Addr# -> Int# -> ByteOrdered 'BigEndian a #

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, ByteOrdered 'BigEndian a #) #

writeOffAddr# :: Addr# -> Int# -> ByteOrdered 'BigEndian a -> State# s -> State# s #

setOffAddr# :: Addr# -> Int# -> Int# -> ByteOrdered 'BigEndian a -> State# s -> State# s #

Prim a => Prim (ByteOrdered 'LittleEndian a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

sizeOf# :: ByteOrdered 'LittleEndian a -> Int# #

alignment# :: ByteOrdered 'LittleEndian a -> Int# #

indexByteArray# :: ByteArray# -> Int# -> ByteOrdered 'LittleEndian a #

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, ByteOrdered 'LittleEndian a #) #

writeByteArray# :: MutableByteArray# s -> Int# -> ByteOrdered 'LittleEndian a -> State# s -> State# s #

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> ByteOrdered 'LittleEndian a -> State# s -> State# s #

indexOffAddr# :: Addr# -> Int# -> ByteOrdered 'LittleEndian a #

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, ByteOrdered 'LittleEndian a #) #

writeOffAddr# :: Addr# -> Int# -> ByteOrdered 'LittleEndian a -> State# s -> State# s #

setOffAddr# :: Addr# -> Int# -> Int# -> ByteOrdered 'LittleEndian a -> State# s -> State# s #

type SizeOf (ByteOrdered 'BigEndian a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

type SizeOf (ByteOrdered 'BigEndian a) = SizeOf (PrimByteSwapped a)
type SizeOf (ByteOrdered 'LittleEndian a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

type SizeOf (ByteOrdered 'LittleEndian a) = SizeOf a

newtype PrimByteSwapped a Source #

Newtype for easier instance derivation.

Constructors

PrimByteSwapped 

Fields

Instances

Instances details
(Prim' a, ByteSwap a) => Prim' (PrimByteSwapped a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Associated Types

type SizeOf (PrimByteSwapped a) 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

type SizeOf (PrimByteSwapped a) = SizeOf a

Methods

indexWord8ByteArrayAs# :: ByteArray# -> Int# -> PrimByteSwapped a Source #

readWord8ByteArrayAs# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, PrimByteSwapped a #) Source #

writeWord8ByteArrayAs# :: MutableByteArray# s -> Int# -> PrimByteSwapped a -> State# s -> State# s Source #

indexWord8OffAddrAs# :: Addr# -> Int# -> PrimByteSwapped a Source #

readWord8OffAddrAs# :: Addr# -> Int# -> State# s -> (# State# s, PrimByteSwapped a #) Source #

writeWord8OffAddrAs# :: Addr# -> Int# -> PrimByteSwapped a -> State# s -> State# s Source #

(Prim a, ByteSwap a) => Prim (PrimByteSwapped a) Source #

Prim instance where we byte swap at accesses.

Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

Methods

sizeOf# :: PrimByteSwapped a -> Int# #

alignment# :: PrimByteSwapped a -> Int# #

indexByteArray# :: ByteArray# -> Int# -> PrimByteSwapped a #

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, PrimByteSwapped a #) #

writeByteArray# :: MutableByteArray# s -> Int# -> PrimByteSwapped a -> State# s -> State# s #

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> PrimByteSwapped a -> State# s -> State# s #

indexOffAddr# :: Addr# -> Int# -> PrimByteSwapped a #

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, PrimByteSwapped a #) #

writeOffAddr# :: Addr# -> Int# -> PrimByteSwapped a -> State# s -> State# s #

setOffAddr# :: Addr# -> Int# -> Int# -> PrimByteSwapped a -> State# s -> State# s #

type SizeOf (PrimByteSwapped a) Source # 
Instance details

Defined in Raehik.Compat.Data.Primitive.Types.Endian

type SizeOf (PrimByteSwapped a) = SizeOf a