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

QIO.QioSyn

Documentation

type CC = Complex RR Source

amp :: CC -> RR Source

type RR = Float Source

newtype Qbit Source

Constructors

Instances

Enum Qbit
Eq Qbit
Num Qbit
Ord Qbit
Show Qbit
Qdata Bool Qbit

type Rotation = (Bool, Bool) -> CC Source

Constructors

UReturn
Rot Qbit Rotation U
Swap Qbit Qbit U
Cond Qbit (Bool -> U) U
Ulet Bool (Qbit -> U) U

Instances

Show U
Monoid U

data QIO a Source

Constructors

QReturn a
MkQbit Bool (Qbit -> QIO a)
ApplyU U (QIO a)
Meas Qbit (Bool -> QIO a)

Instances

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