reloto-2.1.0.20180829: Equiprobable draw from publicly verifiable random data.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Reloto.Bits

Description

Manipulation de bits.

Synopsis

Documentation

bitSize :: Integer -> Int Source #

bitSize n retourne le nombre de bits servant à encoder n.

integerOfBits :: [Bool] -> Integer Source #

integerOfBits bs retourne le nombre encodé par les bits bs.

bitsOfInteger :: Int -> Integer -> [Bool] Source #

bitsOfInteger m n retourne les m premiers bits de poids faible encodant le nombre n.

interleaveBits :: [[Bool]] -> [Bool] Source #

interleaveBits bs retourne les bits de bs en consommant un bit de chaque liste à chaque passe.

randomIntegerOfBits :: Integer -> [Bool] -> Integer Source #

randomIntOfBits n bs retourne le premier entier i formé par les bits bs qui a le potentiel d’atteindre un entier dans [0..n-1], ou recommence en ignorant le premier bit si n <= i.