Algorithms.TF.Definitions

Qram abstraction

data Qram

Types for the Triangle Finding Algorithm

type CNode

type QNode

type QWTFP_spec

TF integers

Types

data XIntTF x

type QIntTF

type CIntTF

type IntTF

Operations for IntTF

integer_of_inttf

inttf_of_integer

inttf

inttf_length

inttf_set_length

inttf_promote

show_inttf

Operations for QIntTF

qulist_of_qinttf_lh

qinttf_of_qulist_lh

qinttf_shape

Auxiliary functions

xinttf_of_xint

xint_of_xinttf

xint_with_promote

Miscellaneous circuit-building functions

phaseFlipIf

phaseFlipUnless

qor

Arithmetic functions

increment

decrement

increment_big

decrement_big

increment_little

decrement_little

choose

IntMaps as QData

addKeys

mapWithKeyM

mapWithKeyM_

intMap_replicate

(!)