QuipperLib.DynamicLiftings

Random Dynamic Liftings and Liftings from a List

type RandomCirc a

type ListCirc a

evalRandomCirc

evalListCirc

evalRandomCirc_unary

evalListCirc_unary

randomRRandomCirc

print_unary_random

print_unary_list

lifted_identity_transformer

random_dynamic_lift

list_dynamic_lift

random_dynamic_lift_transformer

list_dynamic_lift_transformer

print_unary_with_random_liftings

print_unary_with_list_liftings

Simulating the Dynamic Liftings

data SimulationState

empty_simulation_state

type SimulatedCirc a

evalSimulatedCirc

evalSimulatedCirc_unary

randomRSimulatedCirc

putQS

putCS

s_classical_control

s_classical_controls

s_qc_control

s_qc_controls

s_if_controls

simulated_lift_transformer

simulated_dynamic_lift

simulated_dynamic_lift_transformer

print_simulated

print_unary_with_simulated_liftings

simulate_liftings_unary