quipper-algorithms-0.9.0.0: A set of algorithms implemented in Quipper.

Safe HaskellNone
LanguageHaskell98

Quipper.Algorithms.QLS.QSignedIntAux

Description

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

Synopsis

Documentation

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

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

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

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

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

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.

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

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.

boollist_is_zero :: [Bool] -> Bool Source #

Test whether all elements of a list are False.

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

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