Safe Haskell	Safe-Inferred
Language	GHC2021

Binrep.Util.ByteOrder

Contents

Orphan instances

Synopsis

data ByteOrder
- = BigEndian
- | LittleEndian
newtype ByteOrdered (end :: ByteOrder) a = ByteOrdered {
- unByteOrdered :: a
}
type LE = 'LittleEndian
type BE = 'BigEndian
type Endian = ByteOrdered

Documentation

data ByteOrder #

Byte ordering.

Constructors

BigEndian	most-significant-byte occurs in lowest address.
LittleEndian	least-significant-byte occurs in lowest address.

Instances

Instances details

Bounded ByteOrder	Since: base-4.11.0.0
Instance details Defined in GHC.ByteOrder Methods minBound :: ByteOrder # maxBound :: ByteOrder #
Enum ByteOrder	Since: base-4.11.0.0
Instance details Defined in GHC.ByteOrder Methods succ :: ByteOrder -> ByteOrder # pred :: ByteOrder -> ByteOrder # toEnum :: Int -> ByteOrder # fromEnum :: ByteOrder -> Int # enumFrom :: ByteOrder -> [ByteOrder] # enumFromThen :: ByteOrder -> ByteOrder -> [ByteOrder] # enumFromTo :: ByteOrder -> ByteOrder -> [ByteOrder] # enumFromThenTo :: ByteOrder -> ByteOrder -> ByteOrder -> [ByteOrder] #
Generic ByteOrder
Instance details Defined in GHC.ByteOrder Associated Types type Rep ByteOrder :: Type -> Type # Methods from :: ByteOrder -> Rep ByteOrder x # to :: Rep ByteOrder x -> ByteOrder #
Read ByteOrder	Since: base-4.11.0.0
Instance details Defined in GHC.ByteOrder Methods readsPrec :: Int -> ReadS ByteOrder # readList :: ReadS [ByteOrder] # readPrec :: ReadPrec ByteOrder # readListPrec :: ReadPrec [ByteOrder] #
Show ByteOrder	Since: base-4.11.0.0
Instance details Defined in GHC.ByteOrder Methods showsPrec :: Int -> ByteOrder -> ShowS # show :: ByteOrder -> String # showList :: [ByteOrder] -> ShowS #
Eq ByteOrder	Since: base-4.11.0.0
Instance details Defined in GHC.ByteOrder Methods (==) :: ByteOrder -> ByteOrder -> Bool # (/=) :: ByteOrder -> ByteOrder -> Bool #
Ord ByteOrder	Since: base-4.11.0.0
Instance details Defined in GHC.ByteOrder Methods compare :: ByteOrder -> ByteOrder -> Ordering # (<) :: ByteOrder -> ByteOrder -> Bool # (<=) :: ByteOrder -> ByteOrder -> Bool # (>) :: ByteOrder -> ByteOrder -> Bool # (>=) :: ByteOrder -> ByteOrder -> Bool # max :: ByteOrder -> ByteOrder -> ByteOrder # min :: ByteOrder -> ByteOrder -> ByteOrder #
type Rep ByteOrder	Since: base-4.15.0.0
Instance details Defined in GHC.ByteOrder type Rep ByteOrder = D1 ('MetaData "ByteOrder" "GHC.ByteOrder" "base" 'False) (C1 ('MetaCons "BigEndian" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LittleEndian" 'PrefixI 'False) (U1 :: Type -> Type))

newtype ByteOrdered (end :: ByteOrder) a #

Constructors

ByteOrdered
Fields unByteOrdered :: a

Instances

Instances details

IsCBLen a => IsCBLen (ByteOrdered end a :: Type) Source #
Instance details Defined in Binrep.CBLen Associated Types type CBLen (ByteOrdered end a) :: Natural Source #
Enum a => Enum (ByteOrdered end a)
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)
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)
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)
Instance details Defined in Raehik.Compat.Data.Primitive.Types.Endian Methods toRational :: ByteOrdered end a -> Rational #
Show a => Show (ByteOrdered end a)
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 #
KnownNat (CBLen a) => BLen (ByteOrdered end a) Source #
Instance details Defined in Binrep.BLen Methods blen :: ByteOrdered end a -> Int Source #
(Prim' a, ByteSwap a) => Get (ByteOrdered 'BigEndian a) Source #
Instance details Defined in Binrep.Get Methods get :: Getter (ByteOrdered 'BigEndian a) Source #
(Prim' a, ByteSwap a) => Get (ByteOrdered 'LittleEndian a) Source #
Instance details Defined in Binrep.Get Methods get :: Getter (ByteOrdered 'LittleEndian a) Source #
Get (ByteOrdered end Int8) Source #	Byte order is irrelevant for 8-bit (1-byte) words.
Instance details Defined in Binrep.Get Methods get :: Getter (ByteOrdered end Int8) Source #
Get (ByteOrdered end Word8) Source #	Byte order is irrelevant for 8-bit (1-byte) words.
Instance details Defined in Binrep.Get Methods get :: Getter (ByteOrdered end Word8) Source #
(Prim' a, ByteSwap a) => GetC (ByteOrdered 'BigEndian a) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (ByteOrdered 'BigEndian a) Source #
(Prim' a, ByteSwap a) => GetC (ByteOrdered 'LittleEndian a) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (ByteOrdered 'LittleEndian a) Source #
GetC (ByteOrdered end Int8) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (ByteOrdered end Int8) Source #
GetC (ByteOrdered end Word8) Source #
Instance details Defined in Binrep.Get.Struct Methods getC :: GetterC (ByteOrdered end Word8) Source #
(Prim' a, ByteSwap a) => Put (ByteOrdered 'BigEndian a) Source #
Instance details Defined in Binrep.Put Methods put :: ByteOrdered 'BigEndian a -> Putter Source #
(Prim' a, ByteSwap a) => Put (ByteOrdered 'LittleEndian a) Source #
Instance details Defined in Binrep.Put Methods put :: ByteOrdered 'LittleEndian a -> Putter Source #
Put (ByteOrdered end Int8) Source #	Byte order is irrelevant for 8-bit (1-byte) words.
Instance details Defined in Binrep.Put Methods put :: ByteOrdered end Int8 -> Putter Source #
Put (ByteOrdered end Word8) Source #	Byte order is irrelevant for 8-bit (1-byte) words.
Instance details Defined in Binrep.Put Methods put :: ByteOrdered end Word8 -> Putter Source #
(Prim' a, ByteSwap a) => PutC (ByteOrdered 'BigEndian a) Source #
Instance details Defined in Binrep.Put.Struct Methods putC :: ByteOrdered 'BigEndian a -> PutterC Source #
(Prim' a, ByteSwap a) => PutC (ByteOrdered 'LittleEndian a) Source #
Instance details Defined in Binrep.Put.Struct Methods putC :: ByteOrdered 'LittleEndian a -> PutterC Source #
PutC (ByteOrdered end Int8) Source #	Byte order is irrelevant for 8-bit (1-byte) words.
Instance details Defined in Binrep.Put.Struct Methods putC :: ByteOrdered end Int8 -> PutterC Source #
PutC (ByteOrdered end Word8) Source #	Byte order is irrelevant for 8-bit (1-byte) words.
Instance details Defined in Binrep.Put.Struct Methods putC :: ByteOrdered end Word8 -> PutterC Source #
Prefix a => Prefix (ByteOrdered end a) Source #
Instance details Defined in Binrep.Util.Prefix Associated Types type Max (ByteOrdered end a) :: Natural Source # Methods lenToPfx :: Int -> ByteOrdered end a Source # pfxToLen :: ByteOrdered end a -> Int Source #
(Prim' a, ByteSwap a) => Prim' (ByteOrdered 'BigEndian a)
Instance details Defined in Raehik.Compat.Data.Primitive.Types.Endian Associated Types type SizeOf (ByteOrdered 'BigEndian a) :: Natural # Methods indexWord8ByteArrayAs# :: ByteArray# -> Int# -> ByteOrdered 'BigEndian a # readWord8ByteArrayAs# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, ByteOrdered 'BigEndian a #) # writeWord8ByteArrayAs# :: MutableByteArray# s -> Int# -> ByteOrdered 'BigEndian a -> State# s -> State# s # indexWord8OffAddrAs# :: Addr# -> Int# -> ByteOrdered 'BigEndian a # readWord8OffAddrAs# :: Addr# -> Int# -> State# s -> (# State# s, ByteOrdered 'BigEndian a #) # writeWord8OffAddrAs# :: Addr# -> Int# -> ByteOrdered 'BigEndian a -> State# s -> State# s #
Prim' a => Prim' (ByteOrdered 'LittleEndian a)
Instance details Defined in Raehik.Compat.Data.Primitive.Types.Endian Associated Types type SizeOf (ByteOrdered 'LittleEndian a) :: Natural # Methods indexWord8ByteArrayAs# :: ByteArray# -> Int# -> ByteOrdered 'LittleEndian a # readWord8ByteArrayAs# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, ByteOrdered 'LittleEndian a #) # writeWord8ByteArrayAs# :: MutableByteArray# s -> Int# -> ByteOrdered 'LittleEndian a -> State# s -> State# s # indexWord8OffAddrAs# :: Addr# -> Int# -> ByteOrdered 'LittleEndian a # readWord8OffAddrAs# :: Addr# -> Int# -> State# s -> (# State# s, ByteOrdered 'LittleEndian a #) # writeWord8OffAddrAs# :: Addr# -> Int# -> ByteOrdered 'LittleEndian a -> State# s -> State# s #
Eq a => Eq (ByteOrdered end a)
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)
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)
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)
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 #
Strengthen a => Strengthen (ByteOrdered end a) Source #
Instance details Defined in Binrep.Util.ByteOrder Methods strengthen :: Weak (ByteOrdered end a) -> Result (ByteOrdered end a) #
Weaken a => Weaken (ByteOrdered end a) Source #
Instance details Defined in Binrep.Util.ByteOrder Associated Types type Weak (ByteOrdered end a) # Methods weaken :: ByteOrdered end a -> Weak (ByteOrdered end a) #
type CBLen (ByteOrdered end a :: Type) Source #
Instance details Defined in Binrep.CBLen type CBLen (ByteOrdered end a :: Type) = CBLen a
type Max (ByteOrdered end a) Source #	Byte ordering doesn't change how prefixes work.
Instance details Defined in Binrep.Util.Prefix type Max (ByteOrdered end a) = Max a
type SizeOf (ByteOrdered 'BigEndian a)
Instance details Defined in Raehik.Compat.Data.Primitive.Types.Endian type SizeOf (ByteOrdered 'BigEndian a) = SizeOf (PrimByteSwapped a)
type SizeOf (ByteOrdered 'LittleEndian a)
Instance details Defined in Raehik.Compat.Data.Primitive.Types.Endian type SizeOf (ByteOrdered 'LittleEndian a) = SizeOf a
type Weak (ByteOrdered end a) Source #
Instance details Defined in Binrep.Util.ByteOrder type Weak (ByteOrdered end a) = Weak a

type LE = 'LittleEndian Source #

type BE = 'BigEndian Source #

type Endian = ByteOrdered Source #

Orphan instances

Strengthen a => Strengthen (ByteOrdered end a) Source #
Instance details Methods strengthen :: Weak (ByteOrdered end a) -> Result (ByteOrdered end a) #
Weaken a => Weaken (ByteOrdered end a) Source #
Instance details Associated Types type Weak (ByteOrdered end a) # Methods weaken :: ByteOrdered end a -> Weak (ByteOrdered end a) #