QIO.QioSynAlt

type RR

type CC

amp

data Qbit

type Rotation

rid

rnot

rhad

rphase

rrev

data UFunctor u

data Fix f

unFix

type U

type Algebra f a

type UInitialAlgebra

uInitialAlgebra

cata

rot

swap

cond

ulet

unot

uhad

uphase

urev

data QIOFunctor a q

type QIOprim a

type QIOInitialAlgebra a

qioInitialAlgebra

data QIO a

primQIO

mkQbit

applyU

measQbit

count

toffoli

and