QIO-1.0: The Quantum IO Monad is a library for defining quantum computations in Haskell

QIO.QArith

Documentation

swapQInt :: QInt -> QInt -> USource

ifElseQ :: Qbit -> U -> U -> USource

ifQ :: Qbit -> U -> USource

cnot :: Qbit -> Qbit -> USource

addBit :: Qbit -> Qbit -> Qbit -> USource

carry :: Qbit -> Qbit -> Qbit -> Qbit -> USource

addBits :: [Qbit] -> [Qbit] -> Qbit -> USource

addBits' :: [Qbit] -> [Qbit] -> [Qbit] -> Qbit -> USource

adder :: QInt -> QInt -> Qbit -> USource

tadder :: (Int, (Int, Bool)) -> QIO (Int, (Int, Bool))Source

tRadder :: (Int, (Int, Bool)) -> QIO (Int, (Int, Bool))Source

tBiAdder :: (Int, (Int, Bool)) -> QIO (Int, (Int, Bool))Source

adderMod :: Int -> QInt -> QInt -> USource

tadderMod :: Int -> (Int, Int) -> QIO (Int, Int)Source

multMod :: Int -> Int -> QInt -> QInt -> USource

tmultMod :: Int -> Int -> Int -> QIO (Int, Int)Source

condMultMod :: Qbit -> Int -> Int -> QInt -> QInt -> USource

inverseMod :: Int -> Int -> IntSource

inverseMod' :: Int -> Int -> [Int]Source

inverseMod'' :: Int -> Int -> [Int] -> IntSource

modExpStep :: Qbit -> Int -> Int -> QInt -> Int -> USource

modExpStept :: Int -> Int -> Int -> Int -> QIO IntSource

modExp :: Int -> Int -> QInt -> QInt -> USource

modExpt :: Int -> (Int, Int) -> QIO IntSource