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

QIO.Qdata

Documentation

class Qdata a qa | a -> qa, qa -> a whereSource

Methods

mkQ :: a -> QIO qaSource

measQ :: qa -> QIO aSource

letU :: a -> (qa -> U) -> USource

condQ :: qa -> (a -> U) -> USource

Instances

Qdata Bool Qbit 
Qdata Int QInt 
Qdata a qa => Qdata [a] [qa] 
(Qdata a qa, Qdata b qb) => Qdata (a, b) (qa, qb) 

condQRec :: Qdata a qa => [qa] -> [a -> U] -> USource

qIntSize :: IntSource

newtype QInt Source

Constructors

QInt [Qbit] 

Instances

int2bits :: Int -> [Bool]Source

bits2int :: [Bool] -> IntSource