Quipper.Generic

Generic gates

Initialization and termination

qinit

qterm

qdiscard

cinit

cterm

cdiscard

qc_init

qc_init_with_shape

qc_term

qc_discard

Measurement and preparation

measure

prepare

qc_measure

qc_prepare

Global phase gate

global_phase_anchored

Mapped gates

map_hadamard

map_hadamard_at

swap

swap_at

controlled_not

controlled_not_at

bool_controlled_not

bool_controlled_not_at

qmultinot

qmultinot_at

Copying and uncopying

qc_copy_fun

qc_uncopy_fun

qc_copy

qc_uncopy

Classical gates

cgate_if

circ_if

Named gates

named_gate

named_gate_at

named_rotation

named_rotation_at

extended_named_gate

extended_named_gate_at

Dynamic lifting

dynamic_lift

Mapping

mapUnary

mapBinary

mapBinary_c

map2Q

qc_mapBinary

Conversion to lists

qubits_of_qdata

qdata_of_qubits

endpoints_of_qcdata

qcdata_of_endpoints

Shape related operations

qc_false

qshape

Bindings

qc_bind

qc_unbind

Generic controls

(.&&.)

(.==.)

(./=.)

Generic encapsulation

encapsulate_generic

encapsulate_generic_in_namespace

unencapsulate_generic

encapsulate_dynamic

unencapsulate_dynamic

Generic reversing

reverse_generic

reverse_generic_curried

reverse_simple

reverse_simple_curried

reverse_generic_endo

reverse_generic_imp

reverse_endo_if

reverse_imp_if

The QCurry type class

class QCurry fun args res

Generic circuit transformations

transform_unary_dynamic_shape

transform_unary_dynamic

transform_unary

transform_generic

transform_unary_shape

transform_generic_shape

Generic block structure

with_ancilla_init

with_ancilla_list

with_computed_fun

with_computed

with_basis_change

with_classical_control

Boxed subcircuits

provide_subroutine_generic

box

nbox

box_loopM

loopM_boxed_if

inline_subroutine