hydra.dsl.paths module

DSL functions for hydra.paths.

hydra.dsl.paths.subterm_attribute(path: TypedTerm[SubtermPath], target: TypedTerm[TermAttribute]) → TypedTerm[SubtermAttribute]

DSL constructor for hydra.paths.SubtermAttribute.

hydra.dsl.paths.subterm_attribute_path(x: TypedTerm[SubtermAttribute]) → TypedTerm[SubtermPath]

DSL accessor for the path field of hydra.paths.SubtermAttribute.

hydra.dsl.paths.subterm_attribute_target(x: TypedTerm[SubtermAttribute]) → TypedTerm[TermAttribute]

DSL accessor for the target field of hydra.paths.SubtermAttribute.

hydra.dsl.paths.subterm_attribute_with_path(original: TypedTerm[SubtermAttribute], new_val: TypedTerm[SubtermPath]) → TypedTerm[SubtermAttribute]

DSL updater for the path field of hydra.paths.SubtermAttribute.

hydra.dsl.paths.subterm_attribute_with_target(original: TypedTerm[SubtermAttribute], new_val: TypedTerm[TermAttribute]) → TypedTerm[SubtermAttribute]

DSL updater for the target field of hydra.paths.SubtermAttribute.

hydra.dsl.paths.subterm_edge(path: TypedTerm[SubtermPath], target: TypedTerm[Name]) → TypedTerm[SubtermEdge]

DSL constructor for hydra.paths.SubtermEdge.

hydra.dsl.paths.subterm_edge_path(x: TypedTerm[SubtermEdge]) → TypedTerm[SubtermPath]

DSL accessor for the path field of hydra.paths.SubtermEdge.

hydra.dsl.paths.subterm_edge_target(x: TypedTerm[SubtermEdge]) → TypedTerm[Name]

DSL accessor for the target field of hydra.paths.SubtermEdge.

hydra.dsl.paths.subterm_edge_with_path(original: TypedTerm[SubtermEdge], new_val: TypedTerm[SubtermPath]) → TypedTerm[SubtermEdge]

DSL updater for the path field of hydra.paths.SubtermEdge.

hydra.dsl.paths.subterm_edge_with_target(original: TypedTerm[SubtermEdge], new_val: TypedTerm[Name]) → TypedTerm[SubtermEdge]

DSL updater for the target field of hydra.paths.SubtermEdge.

hydra.dsl.paths.subterm_graph(nodes: TypedTerm[Sequence[SubtermNode]]) → TypedTerm[SubtermGraph]

DSL constructor for hydra.paths.SubtermGraph.

hydra.dsl.paths.subterm_graph_nodes(x: TypedTerm[SubtermGraph]) → TypedTerm[Sequence[SubtermNode]]

DSL accessor for the nodes field of hydra.paths.SubtermGraph.

hydra.dsl.paths.subterm_graph_with_nodes(original: TypedTerm[SubtermGraph], new_val: TypedTerm[Sequence[SubtermNode]]) → TypedTerm[SubtermGraph]

DSL updater for the nodes field of hydra.paths.SubtermGraph.

DSL injection for the attribute variant of hydra.paths.SubtermLink.

DSL injection for the edge variant of hydra.paths.SubtermLink.

DSL injection for the property variant of hydra.paths.SubtermLink.

hydra.dsl.paths.subterm_node(name: TypedTerm[Name], type: TypedTerm[TypeScheme], links: TypedTerm[Sequence[SubtermLink]]) → TypedTerm[SubtermNode]

DSL constructor for hydra.paths.SubtermNode.

DSL accessor for the links field of hydra.paths.SubtermNode.

hydra.dsl.paths.subterm_node_name(x: TypedTerm[SubtermNode]) → TypedTerm[Name]

DSL accessor for the name field of hydra.paths.SubtermNode.

hydra.dsl.paths.subterm_node_type(x: TypedTerm[SubtermNode]) → TypedTerm[TypeScheme]

DSL accessor for the type field of hydra.paths.SubtermNode.

DSL updater for the links field of hydra.paths.SubtermNode.

hydra.dsl.paths.subterm_node_with_name(original: TypedTerm[SubtermNode], new_val: TypedTerm[Name]) → TypedTerm[SubtermNode]

DSL updater for the name field of hydra.paths.SubtermNode.

hydra.dsl.paths.subterm_node_with_type(original: TypedTerm[SubtermNode], new_val: TypedTerm[TypeScheme]) → TypedTerm[SubtermNode]

DSL updater for the type field of hydra.paths.SubtermNode.

hydra.dsl.paths.subterm_path(x: TypedTerm[Sequence[SubtermStep]]) → TypedTerm[SubtermPath]

DSL constructor for the hydra.paths.SubtermPath wrapper.

hydra.dsl.paths.subterm_property(path: TypedTerm[SubtermPath], target: TypedTerm[Term]) → TypedTerm[SubtermProperty]

DSL constructor for hydra.paths.SubtermProperty.

hydra.dsl.paths.subterm_property_path(x: TypedTerm[SubtermProperty]) → TypedTerm[SubtermPath]

DSL accessor for the path field of hydra.paths.SubtermProperty.

hydra.dsl.paths.subterm_property_target(x: TypedTerm[SubtermProperty]) → TypedTerm[Term]

DSL accessor for the target field of hydra.paths.SubtermProperty.

hydra.dsl.paths.subterm_property_with_path(original: TypedTerm[SubtermProperty], new_val: TypedTerm[SubtermPath]) → TypedTerm[SubtermProperty]

DSL updater for the path field of hydra.paths.SubtermProperty.

hydra.dsl.paths.subterm_property_with_target(original: TypedTerm[SubtermProperty], new_val: TypedTerm[Term]) → TypedTerm[SubtermProperty]

DSL updater for the target field of hydra.paths.SubtermProperty.

hydra.dsl.paths.subterm_step_cases_case(x: TypedTerm[Name]) → TypedTerm[SubtermStep]

DSL injection for the casesCase variant of hydra.paths.SubtermStep.

hydra.dsl.paths.subterm_step_inject_field(x: TypedTerm[Name]) → TypedTerm[SubtermStep]

DSL injection for the injectField variant of hydra.paths.SubtermStep.

hydra.dsl.paths.subterm_step_let_binding(x: TypedTerm[Name]) → TypedTerm[SubtermStep]

DSL injection for the letBinding variant of hydra.paths.SubtermStep.

hydra.dsl.paths.subterm_step_list_element(x: TypedTerm[int]) → TypedTerm[SubtermStep]

DSL injection for the listElement variant of hydra.paths.SubtermStep.

hydra.dsl.paths.subterm_step_map_key(x: TypedTerm[int]) → TypedTerm[SubtermStep]

DSL injection for the mapKey variant of hydra.paths.SubtermStep.

hydra.dsl.paths.subterm_step_map_value(x: TypedTerm[int]) → TypedTerm[SubtermStep]

DSL injection for the mapValue variant of hydra.paths.SubtermStep.

hydra.dsl.paths.subterm_step_record_field(x: TypedTerm[Name]) → TypedTerm[SubtermStep]

DSL injection for the recordField variant of hydra.paths.SubtermStep.

hydra.dsl.paths.subterm_step_set_element(x: TypedTerm[int]) → TypedTerm[SubtermStep]

DSL injection for the setElement variant of hydra.paths.SubtermStep.

hydra.dsl.paths.subtype_attribute(path: TypedTerm[SubtypePath], target: TypedTerm[TypeAttribute]) → TypedTerm[SubtypeAttribute]

DSL constructor for hydra.paths.SubtypeAttribute.

hydra.dsl.paths.subtype_attribute_path(x: TypedTerm[SubtypeAttribute]) → TypedTerm[SubtypePath]

DSL accessor for the path field of hydra.paths.SubtypeAttribute.

hydra.dsl.paths.subtype_attribute_target(x: TypedTerm[SubtypeAttribute]) → TypedTerm[TypeAttribute]

DSL accessor for the target field of hydra.paths.SubtypeAttribute.

hydra.dsl.paths.subtype_attribute_with_path(original: TypedTerm[SubtypeAttribute], new_val: TypedTerm[SubtypePath]) → TypedTerm[SubtypeAttribute]

DSL updater for the path field of hydra.paths.SubtypeAttribute.

hydra.dsl.paths.subtype_attribute_with_target(original: TypedTerm[SubtypeAttribute], new_val: TypedTerm[TypeAttribute]) → TypedTerm[SubtypeAttribute]

DSL updater for the target field of hydra.paths.SubtypeAttribute.

hydra.dsl.paths.subtype_edge(path: TypedTerm[SubtypePath], target: TypedTerm[Name]) → TypedTerm[SubtypeEdge]

DSL constructor for hydra.paths.SubtypeEdge.

hydra.dsl.paths.subtype_edge_path(x: TypedTerm[SubtypeEdge]) → TypedTerm[SubtypePath]

DSL accessor for the path field of hydra.paths.SubtypeEdge.

hydra.dsl.paths.subtype_edge_target(x: TypedTerm[SubtypeEdge]) → TypedTerm[Name]

DSL accessor for the target field of hydra.paths.SubtypeEdge.

hydra.dsl.paths.subtype_edge_with_path(original: TypedTerm[SubtypeEdge], new_val: TypedTerm[SubtypePath]) → TypedTerm[SubtypeEdge]

DSL updater for the path field of hydra.paths.SubtypeEdge.

hydra.dsl.paths.subtype_edge_with_target(original: TypedTerm[SubtypeEdge], new_val: TypedTerm[Name]) → TypedTerm[SubtypeEdge]

DSL updater for the target field of hydra.paths.SubtypeEdge.

hydra.dsl.paths.subtype_graph(nodes: TypedTerm[Sequence[SubtypeNode]]) → TypedTerm[SubtypeGraph]

DSL constructor for hydra.paths.SubtypeGraph.

hydra.dsl.paths.subtype_graph_nodes(x: TypedTerm[SubtypeGraph]) → TypedTerm[Sequence[SubtypeNode]]

DSL accessor for the nodes field of hydra.paths.SubtypeGraph.

hydra.dsl.paths.subtype_graph_with_nodes(original: TypedTerm[SubtypeGraph], new_val: TypedTerm[Sequence[SubtypeNode]]) → TypedTerm[SubtypeGraph]

DSL updater for the nodes field of hydra.paths.SubtypeGraph.

DSL injection for the attribute variant of hydra.paths.SubtypeLink.

DSL injection for the edge variant of hydra.paths.SubtypeLink.

DSL injection for the property variant of hydra.paths.SubtypeLink.

hydra.dsl.paths.subtype_node(name: TypedTerm[Name], links: TypedTerm[Sequence[SubtypeLink]]) → TypedTerm[SubtypeNode]

DSL constructor for hydra.paths.SubtypeNode.

DSL accessor for the links field of hydra.paths.SubtypeNode.

hydra.dsl.paths.subtype_node_name(x: TypedTerm[SubtypeNode]) → TypedTerm[Name]

DSL accessor for the name field of hydra.paths.SubtypeNode.

DSL updater for the links field of hydra.paths.SubtypeNode.

hydra.dsl.paths.subtype_node_with_name(original: TypedTerm[SubtypeNode], new_val: TypedTerm[Name]) → TypedTerm[SubtypeNode]

DSL updater for the name field of hydra.paths.SubtypeNode.

hydra.dsl.paths.subtype_path(x: TypedTerm[Sequence[SubtypeStep]]) → TypedTerm[SubtypePath]

DSL constructor for the hydra.paths.SubtypePath wrapper.

hydra.dsl.paths.subtype_property(path: TypedTerm[SubtypePath], target: TypedTerm[Type]) → TypedTerm[SubtypeProperty]

DSL constructor for hydra.paths.SubtypeProperty.

hydra.dsl.paths.subtype_property_path(x: TypedTerm[SubtypeProperty]) → TypedTerm[SubtypePath]

DSL accessor for the path field of hydra.paths.SubtypeProperty.

hydra.dsl.paths.subtype_property_target(x: TypedTerm[SubtypeProperty]) → TypedTerm[Type]

DSL accessor for the target field of hydra.paths.SubtypeProperty.

hydra.dsl.paths.subtype_property_with_path(original: TypedTerm[SubtypeProperty], new_val: TypedTerm[SubtypePath]) → TypedTerm[SubtypeProperty]

DSL updater for the path field of hydra.paths.SubtypeProperty.

hydra.dsl.paths.subtype_property_with_target(original: TypedTerm[SubtypeProperty], new_val: TypedTerm[Type]) → TypedTerm[SubtypeProperty]

DSL updater for the target field of hydra.paths.SubtypeProperty.

hydra.dsl.paths.subtype_step_record_field(x: TypedTerm[Name]) → TypedTerm[SubtypeStep]

DSL injection for the recordField variant of hydra.paths.SubtypeStep.

hydra.dsl.paths.subtype_step_union_field(x: TypedTerm[Name]) → TypedTerm[SubtypeStep]

DSL injection for the unionField variant of hydra.paths.SubtypeStep.

hydra.dsl.paths.term_attribute_cases_type_name(x: TypedTerm[Name]) → TypedTerm[TermAttribute]

DSL injection for the casesTypeName variant of hydra.paths.TermAttribute.

hydra.dsl.paths.term_attribute_inject_type_name(x: TypedTerm[Name]) → TypedTerm[TermAttribute]

DSL injection for the injectTypeName variant of hydra.paths.TermAttribute.

hydra.dsl.paths.term_attribute_lambda_domain_given(x: TypedTerm[Type]) → TypedTerm[TermAttribute]

DSL injection for the lambdaDomainGiven variant of hydra.paths.TermAttribute.

hydra.dsl.paths.term_attribute_lambda_parameter(x: TypedTerm[Name]) → TypedTerm[TermAttribute]

DSL injection for the lambdaParameter variant of hydra.paths.TermAttribute.

hydra.dsl.paths.term_attribute_let_binding_type_scheme_given(x: TypedTerm[tuple[Name, TypeScheme]]) → TypedTerm[TermAttribute]

DSL injection for the letBindingTypeSchemeGiven variant of hydra.paths.TermAttribute.

hydra.dsl.paths.term_attribute_project_field_name(x: TypedTerm[Name]) → TypedTerm[TermAttribute]

DSL injection for the projectFieldName variant of hydra.paths.TermAttribute.

hydra.dsl.paths.term_attribute_project_type_name(x: TypedTerm[Name]) → TypedTerm[TermAttribute]

DSL injection for the projectTypeName variant of hydra.paths.TermAttribute.

hydra.dsl.paths.term_attribute_record_type_name(x: TypedTerm[Name]) → TypedTerm[TermAttribute]

DSL injection for the recordTypeName variant of hydra.paths.TermAttribute.

hydra.dsl.paths.term_attribute_type_application_type(x: TypedTerm[Type]) → TypedTerm[TermAttribute]

DSL injection for the typeApplicationType variant of hydra.paths.TermAttribute.

hydra.dsl.paths.term_attribute_type_lambda_parameter(x: TypedTerm[Name]) → TypedTerm[TermAttribute]

DSL injection for the typeLambdaParameter variant of hydra.paths.TermAttribute.

hydra.dsl.paths.term_attribute_wrap_type_name(x: TypedTerm[Name]) → TypedTerm[TermAttribute]

DSL injection for the wrapTypeName variant of hydra.paths.TermAttribute.

hydra.dsl.paths.type_attribute_annotated_annotation(x: TypedTerm[Term]) → TypedTerm[TypeAttribute]

DSL injection for the annotatedAnnotation variant of hydra.paths.TypeAttribute.

hydra.dsl.paths.type_attribute_forall_parameter(x: TypedTerm[Name]) → TypedTerm[TypeAttribute]

DSL injection for the forallParameter variant of hydra.paths.TypeAttribute.

hydra.dsl.paths.un_subterm_path(x: TypedTerm[SubtermPath]) → TypedTerm[Sequence[SubtermStep]]

DSL accessor for the body of hydra.paths.SubtermPath.

hydra.dsl.paths.un_subtype_path(x: TypedTerm[SubtypePath]) → TypedTerm[Sequence[SubtypeStep]]

DSL accessor for the body of hydra.paths.SubtypePath.