Binrep.Util.ByteOrder

Documentation

data ByteOrder

Byte ordering.

Constructors

BigEndian

most-significant-byte occurs in lowest address.

LittleEndian

least-significant-byte occurs in lowest address.

Instances

Bounded ByteOrder

Since: base-4.11.0.0

Defined in GHC.ByteOrder

Methods

minBound :: ByteOrder

maxBound :: ByteOrder

Enum ByteOrder

Since: base-4.11.0.0

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

Defined in GHC.ByteOrder

Associated Types

type Rep ByteOrder

Since: base-4.15.0.0

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))

Methods

from :: ByteOrder -> Rep ByteOrder x

to :: Rep ByteOrder x -> ByteOrder

Read ByteOrder

Since: base-4.11.0.0

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

Defined in GHC.ByteOrder

Methods

showsPrec :: Int -> ByteOrder -> ShowS

show :: ByteOrder -> String

showList :: [ByteOrder] -> ShowS

Eq ByteOrder

Since: base-4.11.0.0

Defined in GHC.ByteOrder

Methods

(==) :: ByteOrder -> ByteOrder -> Bool

(/=) :: ByteOrder -> ByteOrder -> Bool

Ord ByteOrder

Since: base-4.11.0.0

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

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

IsCBLen a => IsCBLen (ByteOrdered end a :: Type)

Defined in Binrep.CBLen

Associated Types

type CBLen (ByteOrdered end a :: Type)

Endianness does not alter constant length.

Defined in Binrep.CBLen

type CBLen (ByteOrdered end a :: Type) = CBLen a

Enum a => Enum (ByteOrdered end a)

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)

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)

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)

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

Methods

toRational :: ByteOrdered end a -> Rational

Show a => Show (ByteOrdered end a)

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)

Explicitness does not alter length.

Defined in Binrep.BLen

Methods

blen :: ByteOrdered end a -> Int

(Prim' a, ByteSwap a, Typeable a) => Get (ByteOrdered 'BigEndian a)

Defined in Binrep.Get

Methods

get :: Getter (ByteOrdered 'BigEndian a)

(Prim' a, ByteSwap a, Typeable a) => Get (ByteOrdered 'LittleEndian a)

Defined in Binrep.Get

Methods

get :: Getter (ByteOrdered 'LittleEndian a)

Get (ByteOrdered end Int8)

Byte order is irrelevant for 8-bit (1-byte) words.

Defined in Binrep.Get

Methods

get :: Getter (ByteOrdered end Int8)

Get (ByteOrdered end Word8)

Byte order is irrelevant for 8-bit (1-byte) words.

Defined in Binrep.Get

Methods

get :: Getter (ByteOrdered end Word8)

(Prim' a, ByteSwap a) => GetC (ByteOrdered 'BigEndian a)

Defined in Binrep.Get.Struct

Methods

getC :: GetterC (ByteOrdered 'BigEndian a)

(Prim' a, ByteSwap a) => GetC (ByteOrdered 'LittleEndian a)

Defined in Binrep.Get.Struct

Methods

getC :: GetterC (ByteOrdered 'LittleEndian a)

GetC (ByteOrdered end Int8)

Defined in Binrep.Get.Struct

Methods

getC :: GetterC (ByteOrdered end Int8)

GetC (ByteOrdered end Word8)

Defined in Binrep.Get.Struct

Methods

getC :: GetterC (ByteOrdered end Word8)

(Prim' a, ByteSwap a) => Put (ByteOrdered 'BigEndian a)

Defined in Binrep.Put

Methods

put :: ByteOrdered 'BigEndian a -> Putter

(Prim' a, ByteSwap a) => Put (ByteOrdered 'LittleEndian a)

Defined in Binrep.Put

Methods

put :: ByteOrdered 'LittleEndian a -> Putter

Put (ByteOrdered end Int8)

Byte order is irrelevant for 8-bit (1-byte) words.

Defined in Binrep.Put

Methods

put :: ByteOrdered end Int8 -> Putter

Put (ByteOrdered end Word8)

Byte order is irrelevant for 8-bit (1-byte) words.

Defined in Binrep.Put

Methods

put :: ByteOrdered end Word8 -> Putter

(Prim' a, ByteSwap a) => PutC (ByteOrdered 'BigEndian a)

Defined in Binrep.Put.Struct

Methods

putC :: ByteOrdered 'BigEndian a -> PutterC

(Prim' a, ByteSwap a) => PutC (ByteOrdered 'LittleEndian a)

Defined in Binrep.Put.Struct

Methods

putC :: ByteOrdered 'LittleEndian a -> PutterC

PutC (ByteOrdered end Int8)

Byte order is irrelevant for 8-bit (1-byte) words.

Defined in Binrep.Put.Struct

Methods

putC :: ByteOrdered end Int8 -> PutterC

PutC (ByteOrdered end Word8)

Byte order is irrelevant for 8-bit (1-byte) words.

Defined in Binrep.Put.Struct

Methods

putC :: ByteOrdered end Word8 -> PutterC

LenNat a => LenNat (ByteOrdered end a)

Defined in Binrep.Type.Prefix.Internal

Associated Types

type LenNatMax (ByteOrdered end a)

Byte ordering doesn't change how prefixes work.

Defined in Binrep.Type.Prefix.Internal

type LenNatMax (ByteOrdered end a) = LenNatMax a

type LenNatName (ByteOrdered end a)

Defined in Binrep.Type.Prefix.Internal

type LenNatName (ByteOrdered end a) = LenNatName a

Methods

lenToNat :: Int -> ByteOrdered end a

natToLen :: ByteOrdered end a -> Int

(Prim' a, ByteSwap a) => Prim' (ByteOrdered 'BigEndian a)

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

Associated Types

type SizeOf (ByteOrdered 'BigEndian a)

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

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

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)

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

Associated Types

type SizeOf (ByteOrdered 'LittleEndian a)

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

type SizeOf (ByteOrdered 'LittleEndian a) = SizeOf a

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)

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)

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)

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)

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 CBLen (ByteOrdered end a :: Type)

Endianness does not alter constant length.

Defined in Binrep.CBLen

type CBLen (ByteOrdered end a :: Type) = CBLen a

type LenNatMax (ByteOrdered end a)

Byte ordering doesn't change how prefixes work.

Defined in Binrep.Type.Prefix.Internal

type LenNatMax (ByteOrdered end a) = LenNatMax a

type LenNatName (ByteOrdered end a)

Defined in Binrep.Type.Prefix.Internal

type LenNatName (ByteOrdered end a) = LenNatName a

type SizeOf (ByteOrdered 'BigEndian a)

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

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

type SizeOf (ByteOrdered 'LittleEndian a)

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

type SizeOf (ByteOrdered 'LittleEndian a) = SizeOf a

type family EndianSuffix (end :: ByteOrder) :: Symbol where ...

Equations

EndianSuffix 'LittleEndian = "LE"

EndianSuffix 'BigEndian = "BE"

type LE = 'LittleEndian

type BE = 'BigEndian

type Endian = ByteOrdered