hydra.encode.regex module

Term encoders for hydra.regex.

hydra.encode.regex.alternation(xs: Sequence[hydra.regex.RegexSequence]) → hydra.core.Term

Encoder for hydra.regex.Alternation.

hydra.encode.regex.atom(v1: Atom) → Term

Encoder for hydra.regex.Atom.

hydra.encode.regex.character_class(x: CharacterClass) → Term

Encoder for hydra.regex.CharacterClass.

hydra.encode.regex.character_range(x: CharacterRange) → Term

Encoder for hydra.regex.CharacterRange.

hydra.encode.regex.class_item(v1: ClassItem) → Term

Encoder for hydra.regex.ClassItem.

hydra.encode.regex.quantified(x: Quantified) → Term

Encoder for hydra.regex.Quantified.

hydra.encode.regex.quantifier(v1: Quantifier) → Term

Encoder for hydra.regex.Quantifier.

hydra.encode.regex.quantifier_range(x: QuantifierRange) → Term

Encoder for hydra.regex.QuantifierRange.

hydra.encode.regex.regex() → Term

Encoder for hydra.regex.Regex.

hydra.encode.regex.regex_sequence(xs: Sequence[Quantified]) → Term

Encoder for hydra.regex.RegexSequence.