Data.Cuckoo.Internal

Internal Utilities. No guarantee is made about the stability of these functions. Changes to these function won't be announced in the CHANGELOG and are not reflected in the package version.

Documentation

w :: forall (n :: Nat). KnownNat n => Int

Reify type level Nat into Int value.

int :: Integral a => Num b => a -> b

An shorter alias for fromIntegral.

fit :: Real a => Real b => Integral c => a -> b -> c

fit a b computes how many bs are needed to fit a, i.e. \(\left\lceil\frac{a}{b}\right\rceil\).

For instance,

>>> fit 7 3
3

>>> fit 6 3
2

intFit :: Integral a => Integral b => a -> b -> a

fit a b computes how many bs are needed to fit a, i.e. \(\left\lceil\frac{a}{b}\right\rceil\).

For instance,

>>> intFit 7 3
3

>>> intFit 6 3
2

nextPowerOfTwo :: Real a => Integral b => a -> b

nextPowerOfTwo a computes the smallest power of two that is larger or equal than a.

intNextPowerOfTwo :: Int -> Int

nextPowerOfTwo a computes the smallest power of two that is larger or equal than a.

set

Arguments

:: PrimMonad m

=> MutableByteArray (PrimState m)

-> Int

index in terms of Word32

-> Word64

Word64 value that is written

-> m ()

Write a Word64 value into a Word32 aligned MutableByteArray

get

Arguments

:: PrimMonad m

=> MutableByteArray (PrimState m)

byte array

-> Int

index in terms of Word32

-> m Word64

Word64 value that contains the result bits

Get a Word64 from a Word32 aligned MutableByteArray.