Quipper.Circuit

Quantum circuit data type

type Wire

data Wiretype

type Arity

data Signed a

from_signed

get_sign

type Controls

type Timestep

type InverseFlag

type NoControlFlag

data ControllableFlag

data BoxId

data RepeatFlag

data Gate

Basic information about gates

gate_arity

gate_controls

gate_ncflag

gate_with_ncflag

gate_reverse

Auxiliary functions on gates and wires

wires_of_controls

wires_of_gate

wirelist_of_gate

Dynamic arities

type ExtArity

arity_append_safe

arity_append_unsafe

arity_append

arity_empty

arity_unused_wire

arity_unused_wires

arity_alloc

arity_of_extarity

n_of_extarity

Circuit abstraction

type Circuit

wirelist_of_circuit

Reversing low-level circuits

reverse_gatelist

reverse_circuit

NoControlFlag on low-level circuits

circuit_to_nocontrol

Ordered circuits

data OCircuit

reverse_ocircuit

Annotated circuits

data CircuitTypeStructure a

id_CircuitTypeStructure

destructure_with

structure_with

Boxed circuits

data TypedSubroutine

circuit_of_typedsubroutine

type Namespace

namespace_empty

showNames

type BCircuit

Ordered circuits

type OBCircuit

ob_circuit

Basic functions lifted to boxed circuits

reverse_bcircuit

The ReadWrite monad

data ReadWrite a

readwrite_wrap

readwrite_unwind_static

gatelist_of_readwrite

Dynamic boxed circuits

type DBCircuit a

bcircuit_of_static_dbcircuit

dbcircuit_of_bcircuit