Safe Haskell	Safe-Inferred
Language	GHC2021

Raehik.Compat.Data.Primitive.Types.Endian

Description

I think this should be in primitive.

Synopsis

class ByteSwap a where
- byteSwap :: a -> a
newtype ByteOrdered (end :: ByteOrder) a = ByteOrdered {
- unByteOrdered :: a
}
newtype PrimByteSwapped a = PrimByteSwapped {
- unPrimByteSwapped :: a
}

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 unByteOrdered :: a

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) :: Natural Source # 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) :: Natural Source # 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 unPrimByteSwapped :: a

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) :: Natural Source # 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