Quipper.Algorithms.QLS.QSignedIntAux

Helper module for Quipper.Algorithms.QLS.QSignedInt: some functions defined with Template Haskell.

Documentation

be_boollist_sub :: [Bool] -> [Bool] -> [Bool]

Subtraction on lists of booleans, understood as big-headian, unsigned integers.

template_be_boollist_sub :: Circ ([Qubit] -> Circ ([Qubit] -> Circ [Qubit]))

be_boollist_add :: [Bool] -> [Bool] -> [Bool]

Addition on lists of booleans, understood as big-headian, unsigned integers.

template_be_boollist_add :: Circ ([Qubit] -> Circ ([Qubit] -> Circ [Qubit]))

be_boollist_less :: [Bool] -> [Bool] -> Bool

Strict ordering on lists of booleans, understood as big-headian unsigned integers. If the lists are not of equal length, the shorter list is treated as if its tail were padded with zeros.

template_be_boollist_less :: Circ ([Qubit] -> Circ ([Qubit] -> Circ Qubit))

be_signed_boollist_less :: (Bool, [Bool]) -> (Bool, [Bool]) -> Bool

Strict ordering on lists of booleans, understood as big-headian signed integers: the Bool in the pair stands for the sign: False is positive, True is negative.

template_be_signed_boollist_less :: Circ ((Qubit, [Qubit]) -> Circ ((Qubit, [Qubit]) -> Circ Qubit))

boollist_is_zero :: [Bool] -> Bool

Test whether all elements of a list are False.

template_boollist_is_zero :: Circ ([Qubit] -> Circ Qubit)

be_signed_boollist_add :: (Bool, [Bool]) -> (Bool, [Bool]) -> (Bool, [Bool])

Addition on signed integers, encoded as big-headian lists of booleans.

template_be_signed_boollist_add :: Circ ((Qubit, [Qubit]) -> Circ ((Qubit, [Qubit]) -> Circ (Qubit, [Qubit])))