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