Quantum.Gates

• Module : Gates
• Description : Basic Quantum Gates
• Copyright : (c) Mihai Sebastian Ardelean, 2018
• License : BSD3
• Maintainer : [e-mail]
• Portability : POSIX

Documentation

xGate :: Gate

• xGate function represent a Pauli X-Gate

>>> xGate
(2><2)
[ 0.0 :+ 0.0, 1.0 :+ 0.0
, 1.0 :+ 0.0, 0.0 :+ 0.0 ]

yGate :: Gate

• yGate function represent a Pauli Y-Gate

>>> yGate
(2><2)
[ 0.0 :+ 0.0, 0.0 :+ (-1.0)
, 0.0 :+ 1.0,    0.0 :+ 0.0 ]

zGate :: Gate

• zGate function represent a Pauli Z-Gate

>>> zGate
(2><2)
[ 1.0 :+ 0.0,       0.0 :+ 0.0
, 0.0 :+ 0.0, (-1.0) :+ (-0.0) ]

hGate :: Gate

• hGate function represent a Hadamard Gate

>>> hGate
 (2><2)
 [ 0.7071067811865475 :+ 0.0,    0.7071067811865475 :+ 0.0
 , 0.7071067811865475 :+ 0.0, (-0.7071067811865475) :+ 0.0 ]

iGate :: Gate

• iGate function represent an Identity Matrix

>>> iGate
(2><2)
[ 1.0 :+ 0.0, 0.0 :+ 0.0
, 0.0 :+ 0.0, 1.0 :+ 0.0 ]

cPhaseShifGate :: Gate

• cPhaseShifGate function represent a Controlled Phase-Shift Gate

>>> cPhaseShifGate
(4><4)
[ 1.0 :+ 0.0, 0.0 :+ 0.0, 0.0 :+ 0.0,       0.0 :+ 0.0
, 0.0 :+ 0.0, 1.0 :+ 0.0, 0.0 :+ 0.0,       0.0 :+ 0.0
, 0.0 :+ 0.0, 0.0 :+ 0.0, 1.0 :+ 0.0,       0.0 :+ 0.0
, 0.0 :+ 0.0, 0.0 :+ 0.0, 0.0 :+ 0.0, (-1.0) :+ (-0.0) ]

cNotGate :: Gate

• cNotGate function represent a Controlled-Not Gate

>>> cNotGate
(4><4)
[ 1.0 :+ 0.0, 0.0 :+ 0.0, 0.0 :+ 0.0, 0.0 :+ 0.0
, 0.0 :+ 0.0, 1.0 :+ 0.0, 0.0 :+ 0.0, 0.0 :+ 0.0
, 0.0 :+ 0.0, 0.0 :+ 0.0, 0.0 :+ 0.0, 1.0 :+ 0.0
, 0.0 :+ 0.0, 0.0 :+ 0.0, 1.0 :+ 0.0, 0.0 :+ 0.0 ]

swapGate :: Gate

• swapGate function represent a Swap Gate

>>> swapGate
(4><4)
[ 1.0 :+ 0.0, 0.0 :+ 0.0, 0.0 :+ 0.0, 0.0 :+ 0.0
, 0.0 :+ 0.0, 0.0 :+ 0.0, 1.0 :+ 0.0, 0.0 :+ 0.0
, 0.0 :+ 0.0, 1.0 :+ 0.0, 0.0 :+ 0.0, 0.0 :+ 0.0
, 0.0 :+ 0.0, 0.0 :+ 0.0, 0.0 :+ 0.0, 1.0 :+ 0.0 ]

newtype Gate

Constructors

Gate

Fields

• gateMatrix :: Matrix C

  Gate constructor accepts a parameter of type Matrix C

Instances

Eq Gate

Defined in Quantum.Gates

Methods

(==) :: Gate -> Gate -> Bool

(/=) :: Gate -> Gate -> Bool

Show Gate

Defined in Quantum.Gates

Methods

showsPrec :: Int -> Gate -> ShowS

show :: Gate -> String

showList :: [Gate] -> ShowS

GateOperations Gate

GateOperations instance for Gate

Defined in Operations.QuantumOperations

Methods

(<*>) :: Gate -> Gate -> Gate