Module prefix 

Cheap HIR proofs that literal candidate order is compatible with regex match order.

The reverse suffix and reverse inner strategies both scan for a required literal before confirming the surrounding regex. These proofs are all conservative. If they cannot establish that the first confirmed candidate is the match the regex engine would report, then the corresponding reverse strategy is not used.

Functions

byte_class_contains 🔒

class_is_disjoint_from_literal 🔒

class_is_disjoint_from_literals 🔒

classes_are_disjoint 🔒

has_disjoint_class_separator 🔒

Return true when an edge of prefix provides a required separator between the start of a match and each literal candidate.

has_disjoint_class_separator_at 🔒

hir_can_consume_byte 🔒

hir_can_contain_literal 🔒

Return true when hir can match some string containing every byte in lit.

hir_has_fixed_length 🔒

Returns true when the given Hir has a fixed length.

hir_is_disjoint_from_class 🔒

hir_matches_empty_only 🔒

required_class 🔒

uncapture 🔒

unicode_class_contains 🔒