QuipperLib.DynamicLiftings
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
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