QIO.Qio

Documentation

type Pure = VecEqL CC HeapMap

updateP :: Pure -> Qbit -> Bool -> Pure

newtype Unitary

Constructors

U

Fields

unU :: Int -> HeapMap -> Pure

Instances

Monoid Unitary

uRot :: Qbit -> Rotation -> Unitary

unitaryRot :: Rotation -> Bool

uMatrix :: Qbit -> (CC, CC, CC, CC) -> Unitary

uSwap :: Qbit -> Qbit -> Unitary

uCond :: Qbit -> (Bool -> Unitary) -> Unitary

uLet :: Bool -> (Qbit -> Unitary) -> Unitary

runU :: U -> Unitary

data StateQ

Constructors

StateQ

Fields

free :: Int

pure :: Pure

initialStateQ :: StateQ

pa :: Pure -> RR

data Split

Constructors

Split

Fields

p :: RR

ifTrue :: Pure

ifFalse :: Pure

split :: Pure -> Qbit -> Split

class Monad m => PMonad m where

Methods

merge :: RR -> m a -> m a -> m a

Instances

PMonad IO

PMonad Prob

data Prob a

Constructors

Prob

Fields

unProb :: Vec RR a

Instances

Monad Prob

PMonad Prob

Show a => Show (Prob a)

evalWith :: PMonad m => QIO a -> State StateQ (m a)

eval :: PMonad m => QIO a -> m a

run :: QIO a -> IO a

sim :: QIO a -> Prob a