hydra.dsl.regex module

DSL functions for hydra.regex.

hydra.dsl.regex.atom_class(x: TypedTerm[CharacterClass]) → TypedTerm[Atom]

DSL injection for the class variant of hydra.regex.Atom.

hydra.dsl.regex.atom_group(x: hydra.typed.TypedTerm[hydra.regex.Alternation]) → hydra.typed.TypedTerm[hydra.regex.Atom]

DSL injection for the group variant of hydra.regex.Atom.

hydra.dsl.regex.atom_literal(x: TypedTerm[int]) → TypedTerm[Atom]

DSL injection for the literal variant of hydra.regex.Atom.

hydra.dsl.regex.character_class(negated: TypedTerm[bool], items: TypedTerm[Sequence[ClassItem]]) → TypedTerm[CharacterClass]

DSL constructor for hydra.regex.CharacterClass.

hydra.dsl.regex.character_class_items(x: TypedTerm[CharacterClass]) → TypedTerm[Sequence[ClassItem]]

DSL accessor for the items field of hydra.regex.CharacterClass.

hydra.dsl.regex.character_class_negated(x: TypedTerm[CharacterClass]) → TypedTerm[bool]

DSL accessor for the negated field of hydra.regex.CharacterClass.

hydra.dsl.regex.character_class_with_items(original: TypedTerm[CharacterClass], new_val: TypedTerm[Sequence[ClassItem]]) → TypedTerm[CharacterClass]

DSL updater for the items field of hydra.regex.CharacterClass.

hydra.dsl.regex.character_class_with_negated(original: TypedTerm[CharacterClass], new_val: TypedTerm[bool]) → TypedTerm[CharacterClass]

DSL updater for the negated field of hydra.regex.CharacterClass.

hydra.dsl.regex.character_range(from_: TypedTerm[int], to: TypedTerm[int]) → TypedTerm[CharacterRange]

DSL constructor for hydra.regex.CharacterRange.

hydra.dsl.regex.character_range_from(x: TypedTerm[CharacterRange]) → TypedTerm[int]

DSL accessor for the from field of hydra.regex.CharacterRange.

hydra.dsl.regex.character_range_to(x: TypedTerm[CharacterRange]) → TypedTerm[int]

DSL accessor for the to field of hydra.regex.CharacterRange.

hydra.dsl.regex.character_range_with_from(original: TypedTerm[CharacterRange], new_val: TypedTerm[int]) → TypedTerm[CharacterRange]

DSL updater for the from field of hydra.regex.CharacterRange.

hydra.dsl.regex.character_range_with_to(original: TypedTerm[CharacterRange], new_val: TypedTerm[int]) → TypedTerm[CharacterRange]

DSL updater for the to field of hydra.regex.CharacterRange.

hydra.dsl.regex.class_item_character(x: TypedTerm[int]) → TypedTerm[ClassItem]

DSL injection for the character variant of hydra.regex.ClassItem.

hydra.dsl.regex.class_item_range(x: TypedTerm[CharacterRange]) → TypedTerm[ClassItem]

DSL injection for the range variant of hydra.regex.ClassItem.

hydra.dsl.regex.quantified(atom: TypedTerm[Atom], quantifier: TypedTerm[Quantifier]) → TypedTerm[Quantified]

DSL constructor for hydra.regex.Quantified.

hydra.dsl.regex.quantified_atom(x: TypedTerm[Quantified]) → TypedTerm[Atom]

DSL accessor for the atom field of hydra.regex.Quantified.

hydra.dsl.regex.quantified_quantifier(x: TypedTerm[Quantified]) → TypedTerm[Quantifier]

DSL accessor for the quantifier field of hydra.regex.Quantified.

hydra.dsl.regex.quantified_with_atom(original: TypedTerm[Quantified], new_val: TypedTerm[Atom]) → TypedTerm[Quantified]

DSL updater for the atom field of hydra.regex.Quantified.

hydra.dsl.regex.quantified_with_quantifier(original: TypedTerm[Quantified], new_val: TypedTerm[Quantifier]) → TypedTerm[Quantified]

DSL updater for the quantifier field of hydra.regex.Quantified.

hydra.dsl.regex.quantifier_at_least(x: TypedTerm[int]) → TypedTerm[Quantifier]

DSL injection for the atLeast variant of hydra.regex.Quantifier.

hydra.dsl.regex.quantifier_exactly(x: TypedTerm[int]) → TypedTerm[Quantifier]

DSL injection for the exactly variant of hydra.regex.Quantifier.

hydra.dsl.regex.quantifier_range(x: TypedTerm[QuantifierRange]) → TypedTerm[Quantifier]

DSL injection for the range variant of hydra.regex.Quantifier.

hydra.dsl.regex.quantifier_range2(min: TypedTerm[int], max: TypedTerm[int]) → TypedTerm[QuantifierRange]

DSL constructor for hydra.regex.QuantifierRange.

hydra.dsl.regex.quantifier_range_max(x: TypedTerm[QuantifierRange]) → TypedTerm[int]

DSL accessor for the max field of hydra.regex.QuantifierRange.

hydra.dsl.regex.quantifier_range_min(x: TypedTerm[QuantifierRange]) → TypedTerm[int]

DSL accessor for the min field of hydra.regex.QuantifierRange.

hydra.dsl.regex.quantifier_range_with_max(original: TypedTerm[QuantifierRange], new_val: TypedTerm[int]) → TypedTerm[QuantifierRange]

DSL updater for the max field of hydra.regex.QuantifierRange.

hydra.dsl.regex.quantifier_range_with_min(original: TypedTerm[QuantifierRange], new_val: TypedTerm[int]) → TypedTerm[QuantifierRange]

DSL updater for the min field of hydra.regex.QuantifierRange.