hydra.dsl.rewriting module

DSL functions for hydra.rewriting.

hydra.dsl.rewriting.apply_inside_type_lambdas_and_annotations(arg0: TypedTerm[Callable[[Term], Term]], arg1: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.rewriting.applyInsideTypeLambdasAndAnnotations.

hydra.dsl.rewriting.fold_over_term(arg0: TypedTerm[TraversalOrder], arg1: TypedTerm[Callable[[T0, Term], T0]], arg2: TypedTerm[T0], arg3: TypedTerm[Term]) → TypedTerm[T0]

DSL reference to hydra.rewriting.foldOverTerm.

hydra.dsl.rewriting.fold_over_type(arg0: TypedTerm[TraversalOrder], arg1: TypedTerm[Callable[[T0, Type], T0]], arg2: TypedTerm[T0], arg3: TypedTerm[Type]) → TypedTerm[T0]

DSL reference to hydra.rewriting.foldOverType.

hydra.dsl.rewriting.fold_term_with_graph_and_path(arg0: TypedTerm[Callable[[Callable[[T0, Term], T0], Sequence[SubtermStep], Graph, T0, Term], T0]], arg1: TypedTerm[Graph], arg2: TypedTerm[T0], arg3: TypedTerm[Term]) → TypedTerm[T0]

DSL reference to hydra.rewriting.foldTermWithGraphAndPath.

hydra.dsl.rewriting.map_beneath_type_annotations(arg0: TypedTerm[Callable[[Type], Type]], arg1: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.rewriting.mapBeneathTypeAnnotations.

hydra.dsl.rewriting.rewrite_and_fold_term(arg0: TypedTerm[Callable[[Callable[[T0, Term], tuple[T0, Term]], T0, Term], tuple[T0, Term]]], arg1: TypedTerm[T0], arg2: TypedTerm[Term]) → TypedTerm[tuple[T0, Term]]

DSL reference to hydra.rewriting.rewriteAndFoldTerm.

hydra.dsl.rewriting.rewrite_and_fold_term_with_graph(arg0: TypedTerm[Callable[[Callable[[T0, Term], tuple[T0, Term]], Graph, T0, Term], tuple[T0, Term]]], arg1: TypedTerm[Graph], arg2: TypedTerm[T0], arg3: TypedTerm[Term]) → TypedTerm[tuple[T0, Term]]

DSL reference to hydra.rewriting.rewriteAndFoldTermWithGraph.

hydra.dsl.rewriting.rewrite_and_fold_term_with_graph_and_path(arg0: TypedTerm[Callable[[Callable[[T0, Term], tuple[T0, Term]], Sequence[SubtermStep], Graph, T0, Term], tuple[T0, Term]]], arg1: TypedTerm[Graph], arg2: TypedTerm[T0], arg3: TypedTerm[Term]) → TypedTerm[tuple[T0, Term]]

DSL reference to hydra.rewriting.rewriteAndFoldTermWithGraphAndPath.

hydra.dsl.rewriting.rewrite_and_fold_term_with_path(arg0: TypedTerm[Callable[[Callable[[Sequence[SubtermStep], T0, Term], tuple[T0, Term]], Sequence[SubtermStep], T0, Term], tuple[T0, Term]]], arg1: TypedTerm[T0], arg2: TypedTerm[Term]) → TypedTerm[tuple[T0, Term]]

DSL reference to hydra.rewriting.rewriteAndFoldTermWithPath.

hydra.dsl.rewriting.rewrite_term(arg0: TypedTerm[Callable[[Callable[[Term], Term], Term], Term]], arg1: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.rewriting.rewriteTerm.

hydra.dsl.rewriting.rewrite_term_m(arg0: TypedTerm[Callable[[Callable[[Term], object], Term], object]], arg1: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.rewriting.rewriteTermM.

hydra.dsl.rewriting.rewrite_term_with_context(arg0: TypedTerm[Callable[[Callable[[T0, Term], Term], T0, Term], Term]], arg1: TypedTerm[T0], arg2: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.rewriting.rewriteTermWithContext.

hydra.dsl.rewriting.rewrite_term_with_context_m(arg0: TypedTerm[Callable[[Callable[[T0, Term], object], T0, Term], object]], arg1: TypedTerm[T0], arg2: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.rewriting.rewriteTermWithContextM.

hydra.dsl.rewriting.rewrite_term_with_graph(arg0: TypedTerm[Callable[[Callable[[Term], T0], Graph, Term], T0]], arg1: TypedTerm[Graph], arg2: TypedTerm[Term]) → TypedTerm[T0]

DSL reference to hydra.rewriting.rewriteTermWithGraph.

hydra.dsl.rewriting.rewrite_type(arg0: TypedTerm[Callable[[Callable[[Type], Type], Type], Type]], arg1: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.rewriting.rewriteType.

hydra.dsl.rewriting.rewrite_type_m(arg0: TypedTerm[Callable[[Callable[[Type], object], Type], object]], arg1: TypedTerm[Type]) → TypedTerm[object]

DSL reference to hydra.rewriting.rewriteTypeM.

hydra.dsl.rewriting.subterms(arg0: TypedTerm[Term]) → TypedTerm[Sequence[Term]]

DSL reference to hydra.rewriting.subterms.

hydra.dsl.rewriting.subterms_with_steps(arg0: TypedTerm[Term]) → TypedTerm[Sequence[tuple[SubtermStep, Term]]]

DSL reference to hydra.rewriting.subtermsWithSteps.

hydra.dsl.rewriting.subtypes(arg0: TypedTerm[Type]) → TypedTerm[Sequence[Type]]

DSL reference to hydra.rewriting.subtypes.

hydra.dsl.rewriting.subtypes_with_steps(arg0: TypedTerm[Type]) → TypedTerm[Sequence[tuple[SubtypeStep, Type]]]

DSL reference to hydra.rewriting.subtypesWithSteps.

hydra.dsl.rewriting.wrap_term_to_record(arg0: TypedTerm[Name], arg1: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.rewriting.wrapTermToRecord.

hydra.dsl.rewriting.wrap_type_to_record(arg0: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.rewriting.wrapTypeToRecord.