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
addQIO.VecEq
addBitQIO.QArith
addBitsQIO.QArith
addBits'QIO.QArith
adderQIO.QArith
adderModQIO.QArith
AlgebraQIO.QioSynAlt
aliceQIO.QExamples
amp 
1 (Function)QIO.QioSynAlt
2 (Function)QIO.QioSyn
andQIO.QioSynAlt
ApplyQIO.QioSynAlt
ApplyU 
1 (Data Constructor)QIO.QioSynAlt
2 (Data Constructor)QIO.QioSyn
applyU 
1 (Function)QIO.QioSynAlt
2 (Function)QIO.QioSyn
AsMonadQIO.VecEq
bellQIO.QExamples
BindQIO.VecEq
bits2intQIO.Qdata
bobQIO.QExamples
bobsUQIO.QExamples
carryQIO.QArith
cataQIO.QioSynAlt
CC 
1 (Type/Class)QIO.QioSynAlt
2 (Type/Class)QIO.QioSyn
cnotQIO.QArith
Cond 
1 (Data Constructor)QIO.QioSynAlt
2 (Data Constructor)QIO.QioSyn
cond 
1 (Function)QIO.QioSynAlt
2 (Function)QIO.QioSyn
condMultModQIO.QArith
condQQIO.Qdata
condQRecQIO.Qdata
countQIO.QioSynAlt
deutschQIO.QExamples
diceQIO.QIORandom
dice_rollsQIO.QIORandom
EmbedQIO.VecEq
emptyQIO.Vec
eqBindQIO.VecEq
EqMonadQIO.VecEq
eqReturnQIO.VecEq
evalQIO.Qio
evalWithQIO.Qio
factorQIO.Shor
factorVQIO.Shor
factorV'QIO.Shor
FixQIO.QioSynAlt
forgetQIO.Heap
freeQIO.Qio
fromListQIO.VecEq
fvQIO.QioClass
FxQIO.QioSynAlt
hadamardsQIO.QIORandom
hadamardsIQIO.Shor
hadTwiceQIO.QExamples
hadTwice'QIO.QExamples
halfQIO.Shor
HeapQIO.Heap
heapQIO.QioClass
HeapMapQIO.Heap
hswapQIO.Heap
ifElseQQIO.QArith
ifFalseQIO.Qio
ifQQIO.QArith
ifTrueQIO.Qio
initialQIO.Heap
initialStateCQIO.QioClass
initialStateQQIO.Qio
int2bitsQIO.Qdata
inverseModQIO.QArith
letUQIO.Qdata
Meas 
1 (Data Constructor)QIO.QioSynAlt
2 (Data Constructor)QIO.QioSyn
measQQIO.Qdata
measQbit 
1 (Function)QIO.QioSynAlt
2 (Function)QIO.QioSyn
mergeQIO.Qio
mkQQIO.Qdata
MkQbit 
1 (Data Constructor)QIO.QioSynAlt
2 (Data Constructor)QIO.QioSyn
mkQbit 
1 (Function)QIO.QioSynAlt
2 (Function)QIO.QioSyn
modExpQIO.QArith
modExpStepQIO.QArith
modExpSteptQIO.QArith
modExptQIO.QArith
multModQIO.QArith
occsQIO.QIORandom
pQIO.Qio
paQIO.Qio
periodQIO.Shor
PMonadQIO.Qio
pow2QIO.QIORandom
primQIOQIO.QioSynAlt
Prob 
1 (Type/Class)QIO.Qio
2 (Data Constructor)QIO.Qio
problemQIO.QExamples
probsQIO.QIORandom
probs'QIO.QIORandom
PureQIO.Qio
pureStateQIO.Qio
q0QIO.QExamples
q1QIO.QExamples
Qbit 
1 (Type/Class)QIO.QioSynAlt
2 (Data Constructor)QIO.QioSynAlt
3 (Type/Class)QIO.QioSyn
4 (Data Constructor)QIO.QioSyn
QdataQIO.Qdata
qftQIO.Qft
qftAcuQIO.Qft
qftBaseQIO.Qft
qftIQIO.Shor
QInt 
1 (Type/Class)QIO.Qdata
2 (Data Constructor)QIO.Qdata
qIntSizeQIO.Qdata
QIO 
1 (Type/Class)QIO.QioSynAlt
2 (Type/Class)QIO.QioSyn
QIOFunctorQIO.QioSynAlt
QIOInitialAlgebraQIO.QioSynAlt
qioInitialAlgebraQIO.QioSynAlt
QIOprimQIO.QioSynAlt
qMinusQIO.QExamples
qPlusQIO.QExamples
QReturn 
1 (Data Constructor)QIO.QioSynAlt
2 (Data Constructor)QIO.QioSyn
randBitQIO.QExamples
randomQIO.QIORandom
randomIntQIO.QIORandom
randomQIntQIO.QIORandom
randomQIOQIO.QIORandom
randomUQIO.QIORandom
rand_co'QIO.Shor
rand_coprimeQIO.Shor
reduceQIO.Shor
ReturnQIO.VecEq
rhad 
1 (Function)QIO.QioSynAlt
2 (Function)QIO.QioSyn
rid 
1 (Function)QIO.QioSynAlt
2 (Function)QIO.QioSyn
rlfQIO.QIORandom
rlf_lQIO.QIORandom
rlf_nQIO.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
rotKQIO.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
runQIO.Qio
runCQIO.QioClass
runQStateCQIO.QioClass
runTimeQIO.Shor
runUQIO.Qio
runUCQIO.QioClass
rXQIO.QIORandom
rYQIO.QIORandom
shareQIO.QExamples
shorQIO.Shor
shorUQIO.Shor
show'QIO.QioSyn
simQIO.Qio
spacesQIO.QioSyn
Split 
1 (Type/Class)QIO.Qio
2 (Data Constructor)QIO.Qio
splitQIO.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
swapQIntQIO.QArith
tadderQIO.QArith
tadderModQIO.QArith
tBiAdderQIO.QArith
teleportationQIO.QExamples
teleport_randomQIO.QExamples
teleport_random'QIO.QExamples
teleport_trueQIO.QExamples
teleport_true'QIO.QExamples
test_bellQIO.QExamples
test_teleportQIO.QExamples
tmultModQIO.QArith
toffoliQIO.QioSynAlt
toListQIO.VecEq
tRadderQIO.QArith
trimQIO.QIORandom
tryQftQIO.Qft
U 
1 (Type/Class)QIO.QioSynAlt
2 (Type/Class)QIO.QioSyn
3 (Data Constructor)QIO.QioClass
4 (Data Constructor)QIO.Qio
uQIO.QExamples
uCondQIO.Qio
uCondCQIO.QioClass
UFunctorQIO.QioSynAlt
uhad 
1 (Function)QIO.QioSynAlt
2 (Function)QIO.QioSyn
UInitialAlgebraQIO.QioSynAlt
uInitialAlgebraQIO.QioSynAlt
Ulet 
1 (Data Constructor)QIO.QioSynAlt
2 (Data Constructor)QIO.QioSyn
uLetQIO.Qio
ulet 
1 (Function)QIO.QioSynAlt
2 (Function)QIO.QioSyn
uLetCQIO.QioClass
uMatrixQIO.Qio
unEmbedQIO.VecEq
unFixQIO.QioSynAlt
UnitaryQIO.Qio
UnitaryCQIO.QioClass
unitaryRotQIO.Qio
unot 
1 (Function)QIO.QioSynAlt
2 (Function)QIO.QioSyn
unProbQIO.Qio
unU 
1 (Function)QIO.QioClass
2 (Function)QIO.Qio
unVecQIO.Vec
unVecEqLQIO.VecEq
updateQIO.Heap
updatePQIO.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
uRotQIO.Qio
uRotCQIO.QioClass
uSwapQIO.Qio
uSwapCQIO.QioClass
uZZQIO.QExamples
Vec 
1 (Type/Class)QIO.Vec
2 (Data Constructor)QIO.Vec
VecEqQIO.VecEq
VecEqL 
1 (Type/Class)QIO.VecEq
2 (Data Constructor)QIO.VecEq
vEqAtQIO.VecEq
vEqPlusQIO.VecEq
vEqTimesQIO.VecEq
vEqZeroQIO.VecEq
vzeroQIO.VecEq
weightedBoolQIO.QIORandom
weightedUQIO.QIORandom