Safe Haskell | Safe-Infered |
---|

This module provides an implementation of the Quantum Fourier Transform in QIO.

# Documentation

Defines the unitary the represents appliying a Quantum Fourier Transform to the given quantum register.

qftAcu :: [Qbit] -> [Bool] -> [Bool] -> USource

The definition of the QFT unitary makes use of an accumulator, to repeatedly apply smaller QFTs to the tail of the given quantum register.

qftBase :: [Bool] -> Qbit -> USource

The "base" step involved in a QFT is a series of controlled rotations.