Raaz.Core.Types

Timing safe equality checking.

class Equality a

(===)

The result of comparion.

data Result

Comparing vectors.

oftenCorrectEqVector

eqVector

Endianess aware types.

class EndianStore w

Endian explicit word types.

data LE w

data BE w

littleEndian

bigEndian

Helper functions for endian aware storing and loading.

storeAt

storeAtIndex

loadFrom

loadFromIndex

The pointer type and Length offsets.

The pointer type.

type Pointer

Type safe length units.

class LengthUnit u

movePtr

data BYTES a

data BITS a

data ALIGN

data Align

inBits

Some length arithmetic

bitsQuotRem

bytesQuotRem

bitsQuot

bytesQuot

atLeast

atMost

Helper function that uses generalised length units.

allocaBuffer

allocaSecure

mallocBuffer

hFillBuf

byteSize

memset

memmove

memcpy

Tuples with length encoded in their types.

Length encoded tuples

data Tuple dim a

dimension

initial

Unsafe operations

unsafeFromList

class Describable d