Data.Bytes.Signed

When one wants to think of an Int as a dumb bitstring, converting it to a Word avoids pesky complications with respect to sign extension.

Documentation

type family Unsigned i :: *

Instances

type Unsigned Int

type Unsigned Int = Word

type Unsigned Int8

type Unsigned Int8 = Word8

type Unsigned Int16

type Unsigned Int16 = Word16

type Unsigned Int32

type Unsigned Int32 = Word32

type Unsigned Int64

type Unsigned Int64 = Word64

type Unsigned Integer

type Unsigned Integer = Integer

type Unsigned Word

type Unsigned Word = Word

type Unsigned Word8

type Unsigned Word8 = Word8

type Unsigned Word16

type Unsigned Word16 = Word16

type Unsigned Word32

type Unsigned Word32 = Word32

type Unsigned Word64

type Unsigned Word64 = Word64

type Unsigned (VarInt n)

type Unsigned (VarInt n) = VarInt (Unsigned n)

unsigned :: (Integral i, Num (Unsigned i)) => i -> Unsigned i

type family Signed i :: *

Instances

type Signed Int

type Signed Int = Int

type Signed Int8

type Signed Int8 = Int8

type Signed Int16

type Signed Int16 = Int16

type Signed Int32

type Signed Int32 = Int32

type Signed Int64

type Signed Int64 = Int64

type Signed Integer

type Signed Integer = Integer

type Signed Word

type Signed Word = Int

type Signed Word8

type Signed Word8 = Int8

type Signed Word16

type Signed Word16 = Int16

type Signed Word32

type Signed Word32 = Int32

type Signed Word64

type Signed Word64 = Int64

type Signed (VarInt n)

type Signed (VarInt n) = VarInt (Signed n)

signed :: (Integral i, Num (Signed i)) => i -> Signed i