Contents
Index
QIO-1.2: The Quantum IO Monad is a library for defining quantum computations in Haskell
Index
<**>
QIO.Vec
<*>
QIO.VecEq
<++>
QIO.Vec
<+>
QIO.VecEq
<@>
QIO.VecEq
<@@>
QIO.Vec
?
QIO.Heap
add
QIO.VecEq
addBit
QIO.QArith
addBits
QIO.QArith
addBits'
QIO.QArith
adder
QIO.QArith
adderMod
QIO.QArith
alice
QIO.QExamples
amp
QIO.QioSyn
ApplyU
QIO.QioSyn
applyU
QIO.QioSyn
AsMonad
QIO.VecEq
bell
QIO.QExamples
Bind
QIO.VecEq
bits2int
QIO.Qdata
bob
QIO.QExamples
bobsU
QIO.QExamples
carry
QIO.QArith
CC
QIO.QioSyn
cnot
QIO.QArith
Cond
QIO.QioSyn
cond
QIO.QioSyn
condMultMod
QIO.QArith
condQ
QIO.Qdata
condQRec
QIO.Qdata
deutsch
QIO.QExamples
dice
QIO.QIORandom
dice_rolls
QIO.QIORandom
Embed
QIO.VecEq
empty
QIO.Vec
eqBind
QIO.VecEq
EqMonad
QIO.VecEq
eqReturn
QIO.VecEq
eval
QIO.Qio
evalWith
QIO.Qio
factor
QIO.Shor
factorV
QIO.Shor
factorV'
QIO.Shor
forget
QIO.Heap
free
QIO.Qio
fromList
QIO.VecEq
fv
QIO.QioClass
hadamards
QIO.QIORandom
hadamardsI
QIO.Shor
hadTwice
QIO.QExamples
hadTwice'
QIO.QExamples
half
QIO.Shor
Heap
QIO.Heap
heap
QIO.QioClass
HeapMap
QIO.Heap
hswap
QIO.Heap
ifElseQ
QIO.QArith
ifFalse
QIO.Qio
ifQ
QIO.QArith
ifTrue
QIO.Qio
initial
QIO.Heap
initialStateC
QIO.QioClass
initialStateQ
QIO.Qio
int2bits
QIO.Qdata
inverseMod
QIO.QArith
letU
QIO.Qdata
Meas
QIO.QioSyn
measQ
QIO.Qdata
measQbit
QIO.QioSyn
merge
QIO.Qio
mkQ
QIO.Qdata
MkQbit
QIO.QioSyn
mkQbit
QIO.QioSyn
modExp
QIO.QArith
modExpStep
QIO.QArith
modExpStept
QIO.QArith
modExpt
QIO.QArith
multMod
QIO.QArith
occs
QIO.QIORandom
p
QIO.Qio
pa
QIO.Qio
period
QIO.Shor
PMonad
QIO.Qio
pow2
QIO.QIORandom
Prob
1 (Type/Class)
QIO.Qio
2 (Data Constructor)
QIO.Qio
problem
QIO.QExamples
probs
QIO.QIORandom
probs'
QIO.QIORandom
Pure
QIO.Qio
pure
QIO.Qio
q0
QIO.QExamples
q1
QIO.QExamples
Qbit
1 (Type/Class)
QIO.QioSyn
2 (Data Constructor)
QIO.QioSyn
Qdata
QIO.Qdata
qft
QIO.Qft
qftAcu
QIO.Qft
qftBase
QIO.Qft
qftI
QIO.Shor
QInt
1 (Type/Class)
QIO.Qdata
2 (Data Constructor)
QIO.Qdata
qIntSize
QIO.Qdata
QIO
QIO.QioSyn
qMinus
QIO.QExamples
qPlus
QIO.QExamples
QReturn
QIO.QioSyn
randBit
QIO.QExamples
random
QIO.QIORandom
randomInt
QIO.QIORandom
randomQInt
QIO.QIORandom
randomQIO
QIO.QIORandom
randomU
QIO.QIORandom
rand_co'
QIO.Shor
rand_coprime
QIO.Shor
reduce
QIO.Shor
Return
QIO.VecEq
rhad
QIO.QioSyn
rid
QIO.QioSyn
rlf
QIO.QIORandom
rlf_l
QIO.QIORandom
rlf_n
QIO.QIORandom
rnot
QIO.QioSyn
Rot
QIO.QioSyn
rot
QIO.QioSyn
Rotation
QIO.QioSyn
rotK
QIO.Qft
rphase
QIO.QioSyn
RR
QIO.QioSyn
rrev
QIO.QioSyn
run
QIO.Qio
runC
QIO.QioClass
runQStateC
QIO.QioClass
runTime
QIO.Shor
runU
QIO.Qio
runUC
QIO.QioClass
rX
QIO.QIORandom
rY
QIO.QIORandom
share
QIO.QExamples
shor
QIO.Shor
shorU
QIO.Shor
show'
QIO.QioSyn
sim
QIO.Qio
spaces
QIO.QioSyn
Split
1 (Type/Class)
QIO.Qio
2 (Data Constructor)
QIO.Qio
split
QIO.Qio
StateC
1 (Type/Class)
QIO.QioClass
2 (Data Constructor)
QIO.QioClass
StateQ
1 (Type/Class)
QIO.Qio
2 (Data Constructor)
QIO.Qio
Swap
QIO.QioSyn
swap
QIO.QioSyn
swapQInt
QIO.QArith
tadder
QIO.QArith
tadderMod
QIO.QArith
tBiAdder
QIO.QArith
teleportation
QIO.QExamples
teleport_random
QIO.QExamples
teleport_random'
QIO.QExamples
teleport_true
QIO.QExamples
teleport_true'
QIO.QExamples
test_bell
QIO.QExamples
test_teleport
QIO.QExamples
tmultMod
QIO.QArith
toList
QIO.VecEq
tRadder
QIO.QArith
trim
QIO.QIORandom
tryQft
QIO.Qft
U
1 (Type/Class)
QIO.QioSyn
2 (Data Constructor)
QIO.QioClass
3 (Data Constructor)
QIO.Qio
u
QIO.QExamples
uCond
QIO.Qio
uCondC
QIO.QioClass
uhad
QIO.QioSyn
Ulet
QIO.QioSyn
uLet
QIO.Qio
ulet
QIO.QioSyn
uLetC
QIO.QioClass
uMatrix
QIO.Qio
unEmbed
QIO.VecEq
Unitary
QIO.Qio
UnitaryC
QIO.QioClass
unitaryRot
QIO.Qio
unot
QIO.QioSyn
unProb
QIO.Qio
unU
1 (Function)
QIO.QioClass
2 (Function)
QIO.Qio
unVec
QIO.Vec
unVecEqL
QIO.VecEq
update
QIO.Heap
updateP
QIO.Qio
uphase
QIO.QioSyn
UReturn
QIO.QioSyn
urev
QIO.QioSyn
uRot
QIO.Qio
uRotC
QIO.QioClass
uSwap
QIO.Qio
uSwapC
QIO.QioClass
uZZ
QIO.QExamples
Vec
1 (Type/Class)
QIO.Vec
2 (Data Constructor)
QIO.Vec
VecEq
QIO.VecEq
VecEqL
1 (Type/Class)
QIO.VecEq
2 (Data Constructor)
QIO.VecEq
vEqAt
QIO.VecEq
vEqPlus
QIO.VecEq
vEqTimes
QIO.VecEq
vEqZero
QIO.VecEq
vzero
QIO.VecEq
weightedBool
QIO.QIORandom
weightedU
QIO.QIORandom