QIO-1.0: The Quantum IO Monad is a library for defining quantum computations in Haskell
Source code
Contents
Index
QIO.QioSyn
Documentation
type
CC
=
Complex
RR
Source
amp
::
CC
->
RR
Source
type
RR
=
Float
Source
newtype
Qbit
Source
Constructors
Qbit
Int
type
Rotation
= (
Bool
,
Bool
) ->
CC
Source
data
U
Source
Constructors
UReturn
Rot
Qbit
Rotation
U
Swap
Qbit
Qbit
U
Cond
Qbit
(
Bool
->
U
)
U
Ulet
Bool
(
Qbit
->
U
)
U
data
QIO
a
Source
Constructors
QReturn
a
MkQbit
Bool
(
Qbit
->
QIO
a)
ApplyU
U
(
QIO
a)
Meas
Qbit
(
Bool
->
QIO
a)
rot
::
Qbit
->
Rotation
->
U
Source
swap
::
Qbit
->
Qbit
->
U
Source
cond
::
Qbit
-> (
Bool
->
U
) ->
U
Source
ulet
::
Bool
-> (
Qbit
->
U
) ->
U
Source
urev
::
U
->
U
Source
unot
::
Qbit
->
U
Source
uhad
::
Qbit
->
U
Source
uphase
::
Qbit
->
RR
->
U
Source
mkQbit
::
Bool
->
QIO
Qbit
Source
applyU
::
U
->
QIO
()
Source
measQbit
::
Qbit
->
QIO
Bool
Source
rid
::
Rotation
Source
rnot
::
Rotation
Source
rhad
::
Rotation
Source
rphase
::
RR
->
Rotation
Source
rrev
::
Rotation
->
Rotation
Source
show'
::
U
->
Int
->
Int
->
String
Source
spaces
::
Int
->
String
Source
Produced by
Haddock
version 2.6.0