bloqade.stim.passes.repeat_eligible.get_repeat_range

← Module overview

functionget_repeat_range¶source

bloqade.stim.passes.repeat_eligible.get_repeat_range

def get_repeat_range(node: For) -> range | None

Public import paths

• from bloqade.stim.passes.flatten import get_repeat_range
• from bloqade.stim.rewrite.scf_for_to_repeat import get_repeat_range
• from bloqade.stim.passes.hint_const_in_loops import get_repeat_range

Extract the range from a REPEAT-eligible scf.For, or None if not eligible.

Eligible means:

• iterable has a const.Value hint containing a range (possibly wrapped in IList)
• loop variable (first block arg) has no uses

Parameters

Name	Type	Description
node	For

Returns

range | None

source