QuantumVector
class DiracVector a
type Scalar
data Ket a
(*>)
(|>)
(+>)
reduceKet
ketBasis
toBra
data Bra a
(<*)
(<|)
(<+)
reduceBra
braBasis
toKet
(<>)
d
closure
(><)
label
rot
label'
rot'
showsScalar
data Tuple a b