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

QIO.QioSyn

Documentation

newtype Qbit Source

Constructors

Qbit Int 

type Rotation = (Bool, Bool) -> CCSource

data U Source

Constructors

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

Instances

data QIO a Source

Constructors

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

Instances

cond :: Qbit -> (Bool -> U) -> USource

ulet :: Bool -> (Qbit -> U) -> USource

urev :: U -> USource

show' :: U -> Int -> Int -> StringSource