Quantum.Synthesis.StepComp

A monad for step computations

data StepComp a

Basic operations

tick

untick

forward

is_done

get_result

subtask

speedup

parallel

with_counter

Run functions

run

run_with_steps

run_bounded

Other operations

diverge

parallel_first

parallel_maybe

parallel_list_maybe