Copyright	(c) Andreas Klebinger 2020
License	BSD3
Maintainer	Andreas Klebinger
Portability	GHC >= 7.10
Safe Haskell	None
Language	Haskell2010

Codec.LEB128.Constraints

Description

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.

Synopsis

class (Bits a, Integral a) => LEB128 a
class (Bits a, Integral a) => SLEB128 a
newtype UnsafeAnyLEB128 a = UnsafeAnyLEB128 a

Documentation

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

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

Instances

LEB128 Natural Source #
Instance details Defined in Codec.LEB128.Constraints
LEB128 Word Source #
Instance details Defined in Codec.LEB128.Constraints
LEB128 Word8 Source #
Instance details Defined in Codec.LEB128.Constraints
LEB128 Word16 Source #
Instance details Defined in Codec.LEB128.Constraints
LEB128 Word32 Source #
Instance details Defined in Codec.LEB128.Constraints
LEB128 Word64 Source #
Instance details Defined in Codec.LEB128.Constraints
(Bits a, Integral a) => LEB128 (UnsafeAnyLEB128 a) Source #	Unsafe escape hatch to force a particular encoding.
Instance details Defined in Codec.LEB128.Constraints

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

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

Instances

SLEB128 Int Source #
Instance details Defined in Codec.LEB128.Constraints
SLEB128 Int8 Source #
Instance details Defined in Codec.LEB128.Constraints
SLEB128 Int16 Source #
Instance details Defined in Codec.LEB128.Constraints
SLEB128 Int32 Source #
Instance details Defined in Codec.LEB128.Constraints
SLEB128 Int64 Source #
Instance details Defined in Codec.LEB128.Constraints
SLEB128 Integer Source #
Instance details Defined in Codec.LEB128.Constraints
(Bits a, Integral a) => SLEB128 (UnsafeAnyLEB128 a) Source #	Unsafe escape hatch to force a particular encoding.
Instance details Defined in Codec.LEB128.Constraints

newtype UnsafeAnyLEB128 a Source #

Constructors

UnsafeAnyLEB128 a

Instances

Enum a => Enum (UnsafeAnyLEB128 a) Source #
Instance details 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) Source #
Instance details Defined in Codec.LEB128.Constraints Methods (==) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> Bool # (/=) :: UnsafeAnyLEB128 a -> UnsafeAnyLEB128 a -> Bool #
Integral a => Integral (UnsafeAnyLEB128 a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Codec.LEB128.Constraints Methods toRational :: UnsafeAnyLEB128 a -> Rational #
Bits a => Bits (UnsafeAnyLEB128 a) Source #
Instance details 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) Source #	Unsafe escape hatch to force a particular encoding.
Instance details Defined in Codec.LEB128.Constraints
(Bits a, Integral a) => LEB128 (UnsafeAnyLEB128 a) Source #	Unsafe escape hatch to force a particular encoding.
Instance details Defined in Codec.LEB128.Constraints