Crypto.Classical.Util

Character Conversion

letter :: (ℤ / 26) -> Char

int :: Char -> ℤ / 26

Modular Arithmetic

inverse :: (ℤ / 26) -> ℤ / 26

Must be passed a number coprime with 26.

Random Numbers

prng :: IO SystemRNG

rseq :: CPRG g => g -> Integer -> [Integer]

The sequence (r1,...r[n-1]) of numbers such that r[i] is an independent sample from a uniform random distribution [0..n-i]

Map function

mapInverse :: (Ord k, Ord v) => Map k v -> Map v k

Invert a Map. Keys become values, values become keys. Note that this operation may result in a smaller Map than the original.

compose :: (Ord k, Ord v) => Map k v -> Map v v' -> Map k v'

Compose two Maps. If some key v isn't present in the second Map, then k will be left out of the result.

2015 April 16 @ 13:56 Would it be possible to make a Category for Map like this?

(|.|) :: (Ord k, Ord v) => Map k v -> Map v v' -> Map k v'

An alias for compose. Works left-to-right.

Miscellaneous

uniZip :: [a] -> [(a, a)]

Zip a list on itself. Takes pairs of values and forms a tuple. Example:

>>> uniZip [1,2,3,4,5,6]
[(1,2),(3,4),(5,6)]

stretch :: [a] -> [a]

Stretch the contents of a list. List becomes twice a long. List must be finite. Example:

>>> stretch [1,2,3,4]
[1,1,2,2,3,3,4,4]

both :: (a -> b) -> (a, a) -> (b, b)