Safe Haskell | None |
---|
Algorithms.QLS.QSignedIntAux
Description
Helper module for Algorithms.QLS.QSignedInt: some functions defined with Template Haskell.
- be_boollist_sub :: [Bool] -> [Bool] -> [Bool]
- be_boollist_add :: [Bool] -> [Bool] -> [Bool]
- be_boollist_less :: [Bool] -> [Bool] -> Bool
- be_signed_boollist_less :: (Bool, [Bool]) -> (Bool, [Bool]) -> Bool
- boollist_is_zero :: [Bool] -> Bool
- be_signed_boollist_add :: (Bool, [Bool]) -> (Bool, [Bool]) -> (Bool, [Bool])
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] -> BoolSource
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.
boollist_is_zero :: [Bool] -> BoolSource
Test whether all elements of a list are False
.