hydra.print.paths module

Serialization (printing and parsing) of subterm and subtype steps and paths.

hydra.print.paths.parse_subterm_path(s: str) → object

Parse a printed subterm path (steps joined by ‘/’) back into a SubtermPath.

hydra.print.paths.parse_subterm_step(tok: str) → object

Parse a printed subterm step token back into a SubtermStep.

hydra.print.paths.parse_subtype_path(s: str) → object

Parse a printed subtype path (steps joined by ‘/’) back into a SubtypePath.

hydra.print.paths.parse_subtype_step(tok: str) → object

Parse a printed subtype step token back into a SubtypeStep.

hydra.print.paths.subterm_path(path: SubtermPath) → str

Print a subterm path as its steps joined by ‘/’.

hydra.print.paths.subterm_step(step: SubtermStep) → str

Print a subterm step in its round-trippable notation.

hydra.print.paths.subtype_path(path: SubtypePath) → str

Print a subtype path as its steps joined by ‘/’.

hydra.print.paths.subtype_step(step: SubtypeStep) → str

Print a subtype step in its round-trippable notation.