Contents
Index
QIO-1.3: The Quantum IO Monad is a library for defining quantum computations in Haskell
Index
<**>
QIO.Vec
<++>
QIO.Vec
<+>
QIO.VecEq
<.>
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
Algebra
QIO.QioSynAlt
alice
QIO.QExamples
amp
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
and
QIO.QioSynAlt
Apply
QIO.QioSynAlt
ApplyU
1 (Data Constructor)
QIO.QioSynAlt
2 (Data Constructor)
QIO.QioSyn
applyU
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
AsMonad
QIO.VecEq
bell
QIO.QExamples
Bind
QIO.VecEq
bits2int
QIO.Qdata
bob
QIO.QExamples
bobsU
QIO.QExamples
carry
QIO.QArith
cata
QIO.QioSynAlt
CC
1 (Type/Class)
QIO.QioSynAlt
2 (Type/Class)
QIO.QioSyn
cnot
QIO.QArith
Cond
1 (Data Constructor)
QIO.QioSynAlt
2 (Data Constructor)
QIO.QioSyn
cond
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
condMultMod
QIO.QArith
condQ
QIO.Qdata
condQRec
QIO.Qdata
count
QIO.QioSynAlt
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
Fix
QIO.QioSynAlt
forget
QIO.Heap
free
QIO.Qio
fromList
QIO.VecEq
fv
QIO.QioClass
Fx
QIO.QioSynAlt
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
1 (Data Constructor)
QIO.QioSynAlt
2 (Data Constructor)
QIO.QioSyn
measQ
QIO.Qdata
measQbit
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
merge
QIO.Qio
mkQ
QIO.Qdata
MkQbit
1 (Data Constructor)
QIO.QioSynAlt
2 (Data Constructor)
QIO.QioSyn
mkQbit
1 (Function)
QIO.QioSynAlt
2 (Function)
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
primQIO
QIO.QioSynAlt
Prob
1 (Type/Class)
QIO.Qio
2 (Data Constructor)
QIO.Qio
problem
QIO.QExamples
probs
QIO.QIORandom
probs'
QIO.QIORandom
Pure
QIO.Qio
pureState
QIO.Qio
q0
QIO.QExamples
q1
QIO.QExamples
Qbit
1 (Type/Class)
QIO.QioSynAlt
2 (Data Constructor)
QIO.QioSynAlt
3 (Type/Class)
QIO.QioSyn
4 (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
1 (Type/Class)
QIO.QioSynAlt
2 (Type/Class)
QIO.QioSyn
QIOFunctor
QIO.QioSynAlt
QIOInitialAlgebra
QIO.QioSynAlt
qioInitialAlgebra
QIO.QioSynAlt
QIOprim
QIO.QioSynAlt
qMinus
QIO.QExamples
qPlus
QIO.QExamples
QReturn
1 (Data Constructor)
QIO.QioSynAlt
2 (Data Constructor)
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
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
rid
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
rlf
QIO.QIORandom
rlf_l
QIO.QIORandom
rlf_n
QIO.QIORandom
rnot
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
Rot
1 (Data Constructor)
QIO.QioSynAlt
2 (Data Constructor)
QIO.QioSyn
rot
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
Rotation
1 (Type/Class)
QIO.QioSynAlt
2 (Type/Class)
QIO.QioSyn
rotK
QIO.Qft
rphase
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
RR
1 (Type/Class)
QIO.QioSynAlt
2 (Type/Class)
QIO.QioSyn
rrev
1 (Function)
QIO.QioSynAlt
2 (Function)
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
1 (Data Constructor)
QIO.QioSynAlt
2 (Data Constructor)
QIO.QioSyn
swap
1 (Function)
QIO.QioSynAlt
2 (Function)
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
toffoli
QIO.QioSynAlt
toList
QIO.VecEq
tRadder
QIO.QArith
trim
QIO.QIORandom
tryQft
QIO.Qft
U
1 (Type/Class)
QIO.QioSynAlt
2 (Type/Class)
QIO.QioSyn
3 (Data Constructor)
QIO.QioClass
4 (Data Constructor)
QIO.Qio
u
QIO.QExamples
uCond
QIO.Qio
uCondC
QIO.QioClass
UFunctor
QIO.QioSynAlt
uhad
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
UInitialAlgebra
QIO.QioSynAlt
uInitialAlgebra
QIO.QioSynAlt
Ulet
1 (Data Constructor)
QIO.QioSynAlt
2 (Data Constructor)
QIO.QioSyn
uLet
QIO.Qio
ulet
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
uLetC
QIO.QioClass
uMatrix
QIO.Qio
unEmbed
QIO.VecEq
unFix
QIO.QioSynAlt
Unitary
QIO.Qio
UnitaryC
QIO.QioClass
unitaryRot
QIO.Qio
unot
1 (Function)
QIO.QioSynAlt
2 (Function)
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
1 (Function)
QIO.QioSynAlt
2 (Function)
QIO.QioSyn
UReturn
1 (Data Constructor)
QIO.QioSynAlt
2 (Data Constructor)
QIO.QioSyn
urev
1 (Function)
QIO.QioSynAlt
2 (Function)
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