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

QIO.QioClass

Documentation

newtype UnitaryC Source

Constructors

U 

Fields

unU :: Int -> HeapMap -> HeapMap
 

Instances

uRotC :: Qbit -> Rotation -> UnitaryCSource

uSwapC :: Qbit -> Qbit -> UnitaryCSource

uCondC :: Qbit -> (Bool -> UnitaryC) -> UnitaryCSource

uLetC :: Bool -> (Qbit -> UnitaryC) -> UnitaryCSource

runUC :: U -> UnitaryCSource

data StateC Source

Constructors

StateC 

Fields

fv :: Int
 
heap :: HeapMap
 

initialStateC :: StateCSource

runQStateC :: QIO a -> State StateC aSource

runC :: QIO a -> aSource