Codec.LEB128.Constraints

SLEB128 is a synonym for the required constraints to encode values in the signed version of LEB128.

LEB128 is a typeclass which by default limits encoding in unsigned LEB128 format to GHC-Provided untyped valued.

UnsafeAnyLEB128 is a newtype providing an explicit way to avoid this restriction for cases where the type is signed, but values are not.

Documentation

class (Bits a, Integral a) => LEB128 a

Indicates that a type can safely be encoded as (unsigned) LEB128.

Instances

LEB128 Natural

Defined in Codec.LEB128.Constraints

LEB128 Word

Defined in Codec.LEB128.Constraints

LEB128 Word8

Defined in Codec.LEB128.Constraints

LEB128 Word16

Defined in Codec.LEB128.Constraints

LEB128 Word32

Defined in Codec.LEB128.Constraints

LEB128 Word64

Defined in Codec.LEB128.Constraints

(Bits a, Integral a) => LEB128 (UnsafeAnyLEB128 a)

Unsafe escape hatch to force a particular encoding.

Defined in Codec.LEB128.Constraints

class (Bits a, Integral a) => SLEB128 a

Indicates that a type can safely be encoded as (signed) SLEB128.

Instances

SLEB128 Int

Defined in Codec.LEB128.Constraints

SLEB128 Int8

Defined in Codec.LEB128.Constraints

SLEB128 Int16

Defined in Codec.LEB128.Constraints

SLEB128 Int32

Defined in Codec.LEB128.Constraints

SLEB128 Int64

Defined in Codec.LEB128.Constraints

SLEB128 Integer

Defined in Codec.LEB128.Constraints

(Bits a, Integral a) => SLEB128 (UnsafeAnyLEB128 a)

Unsafe escape hatch to force a particular encoding.

Defined in Codec.LEB128.Constraints

newtype UnsafeAnyLEB128 a

Constructors

UnsafeAnyLEB128 a

Instances

Enum a => Enum (UnsafeAnyLEB128 a)

Defined in Codec.LEB128.Constraints

Methods

succ :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

pred :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

toEnum :: Int -> UnsafeAnyLEB128 a

fromEnum :: UnsafeAnyLEB128 a -> Int

enumFrom :: UnsafeAnyLEB128 a -> [UnsafeAnyLEB128 a]

enumFromThen :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> [UnsafeAnyLEB128 a]

enumFromTo :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> [UnsafeAnyLEB128 a]

enumFromThenTo :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> [UnsafeAnyLEB128 a]

Eq a => Eq (UnsafeAnyLEB128 a)

Defined in Codec.LEB128.Constraints

Methods

(==) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> Bool

(/=) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> Bool

Integral a => Integral (UnsafeAnyLEB128 a)

Defined in Codec.LEB128.Constraints

Methods

quot :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

rem :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

div :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

mod :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

quotRem :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> (UnsafeAnyLEB128 a, UnsafeAnyLEB128 a)

divMod :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> (UnsafeAnyLEB128 a, UnsafeAnyLEB128 a)

toInteger :: UnsafeAnyLEB128 a -> Integer

Num a => Num (UnsafeAnyLEB128 a)

Defined in Codec.LEB128.Constraints

Methods

(+) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

(-) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

(*) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

negate :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

abs :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

signum :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

fromInteger :: Integer -> UnsafeAnyLEB128 a

Ord a => Ord (UnsafeAnyLEB128 a)

Defined in Codec.LEB128.Constraints

Methods

compare :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> Ordering

(<) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> Bool

(<=) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> Bool

(>) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> Bool

(>=) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> Bool

max :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

min :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

Real a => Real (UnsafeAnyLEB128 a)

Defined in Codec.LEB128.Constraints

Methods

toRational :: UnsafeAnyLEB128 a -> Rational

Bits a => Bits (UnsafeAnyLEB128 a)

Defined in Codec.LEB128.Constraints

Methods

(.&.) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

(.|.) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

xor :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

complement :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a

shift :: UnsafeAnyLEB128 a -> Int -> UnsafeAnyLEB128 a

rotate :: UnsafeAnyLEB128 a -> Int -> UnsafeAnyLEB128 a

zeroBits :: UnsafeAnyLEB128 a

bit :: Int -> UnsafeAnyLEB128 a

setBit :: UnsafeAnyLEB128 a -> Int -> UnsafeAnyLEB128 a

clearBit :: UnsafeAnyLEB128 a -> Int -> UnsafeAnyLEB128 a

complementBit :: UnsafeAnyLEB128 a -> Int -> UnsafeAnyLEB128 a

testBit :: UnsafeAnyLEB128 a -> Int -> Bool

bitSizeMaybe :: UnsafeAnyLEB128 a -> Maybe Int

bitSize :: UnsafeAnyLEB128 a -> Int

isSigned :: UnsafeAnyLEB128 a -> Bool

shiftL :: UnsafeAnyLEB128 a -> Int -> UnsafeAnyLEB128 a

unsafeShiftL :: UnsafeAnyLEB128 a -> Int -> UnsafeAnyLEB128 a

shiftR :: UnsafeAnyLEB128 a -> Int -> UnsafeAnyLEB128 a

unsafeShiftR :: UnsafeAnyLEB128 a -> Int -> UnsafeAnyLEB128 a

rotateL :: UnsafeAnyLEB128 a -> Int -> UnsafeAnyLEB128 a

rotateR :: UnsafeAnyLEB128 a -> Int -> UnsafeAnyLEB128 a

popCount :: UnsafeAnyLEB128 a -> Int

(Bits a, Integral a) => SLEB128 (UnsafeAnyLEB128 a)

Unsafe escape hatch to force a particular encoding.

Defined in Codec.LEB128.Constraints

(Bits a, Integral a) => LEB128 (UnsafeAnyLEB128 a)

Unsafe escape hatch to force a particular encoding.

Defined in Codec.LEB128.Constraints