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

QIO.QExamples

Documentation

q0 :: QIO Qbit Source

q1 :: QIO Qbit Source

qPlus :: QIO Qbit Source

qMinus :: QIO Qbit Source

randBit :: QIO Bool Source

share :: Qbit -> QIO Qbit Source

bell :: QIO (Qbit, Qbit)Source

test_bell :: QIO (Bool, Bool)Source

hadTwice :: Bool -> QIO Bool Source

hadTwice' :: Bool -> QIO Bool Source

alice :: Qbit -> Qbit -> QIO (Bool, Bool)Source

uZZ :: Qbit -> U Source

bobsU :: (Bool, Bool) -> Qbit -> U Source

bob :: Qbit -> (Bool, Bool) -> QIO Qbit Source

teleportation :: Qbit -> QIO Qbit Source

test_teleport :: QIO (Bool, Bool)Source

teleport_true' :: QIO Qbit Source

teleport_true :: QIO Bool Source

teleport_random' :: QIO Qbit Source

teleport_random :: QIO Bool Source

u :: (Bool -> Bool) -> Qbit -> Qbit -> U Source

deutsch :: (Bool -> Bool) -> QIO Bool Source

problem :: QIO Bool Source