hydra.dsl.analysis module

DSL functions for hydra.analysis.

hydra.dsl.analysis.add_names_to_module_names(arg0: TypedTerm[Callable[[ModuleName], T0]], arg1: TypedTerm[Set[Name]], arg2: TypedTerm[ModuleNames[T0]]) → TypedTerm[ModuleNames[T0]]

DSL reference to hydra.analysis.addNamesToModuleNames.

hydra.dsl.analysis.analyze_function_term(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Callable[[T0], Graph]], arg2: TypedTerm[Callable[[Graph, T0], T0]], arg3: TypedTerm[T0], arg4: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.analysis.analyzeFunctionTerm.

hydra.dsl.analysis.analyze_function_term_with(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Callable[[Graph, Binding], object]], arg2: TypedTerm[Callable[[T0], Graph]], arg3: TypedTerm[Callable[[Graph, T0], T0]], arg4: TypedTerm[T0], arg5: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.analysis.analyzeFunctionTermWith.

hydra.dsl.analysis.analyze_function_term_with_finish(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Callable[[T0], Graph]], arg2: TypedTerm[T0], arg3: TypedTerm[Sequence[Name]], arg4: TypedTerm[Sequence[Name]], arg5: TypedTerm[Sequence[Binding]], arg6: TypedTerm[Sequence[Type]], arg7: TypedTerm[Sequence[Type]], arg8: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.analysis.analyzeFunctionTermWithFinish.

hydra.dsl.analysis.analyze_function_term_with_gather(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Callable[[Graph, Binding], object]], arg2: TypedTerm[Callable[[T0], Graph]], arg3: TypedTerm[Callable[[Graph, T0], T0]], arg4: TypedTerm[bool], arg5: TypedTerm[T0], arg6: TypedTerm[Sequence[Name]], arg7: TypedTerm[Sequence[Name]], arg8: TypedTerm[Sequence[Binding]], arg9: TypedTerm[Sequence[Type]], arg10: TypedTerm[Sequence[Type]], arg11: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.analysis.analyzeFunctionTermWithGather.

hydra.dsl.analysis.definition_dependency_module_names(arg0: TypedTerm[Sequence[Definition]]) → TypedTerm[Set[ModuleName]]

DSL reference to hydra.analysis.definitionDependencyModuleNames.

hydra.dsl.analysis.dependency_module_names(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[bool], arg3: TypedTerm[bool], arg4: TypedTerm[bool], arg5: TypedTerm[bool], arg6: TypedTerm[Sequence[Binding]]) → TypedTerm[object]

DSL reference to hydra.analysis.dependencyModuleNames.

hydra.dsl.analysis.gather_applications(arg0: TypedTerm[Term]) → TypedTerm[tuple[Sequence[Term], Term]]

DSL reference to hydra.analysis.gatherApplications.

hydra.dsl.analysis.gather_args(arg0: TypedTerm[Term], arg1: TypedTerm[Sequence[Term]]) → TypedTerm[tuple[Term, Sequence[Term]]]

DSL reference to hydra.analysis.gatherArgs.

hydra.dsl.analysis.gather_args_with_type_apps(arg0: TypedTerm[Term], arg1: TypedTerm[Sequence[Term]], arg2: TypedTerm[Sequence[Type]]) → TypedTerm[tuple[Term, tuple[Sequence[Term], Sequence[Type]]]]

DSL reference to hydra.analysis.gatherArgsWithTypeApps.

hydra.dsl.analysis.is_self_tail_recursive(arg0: TypedTerm[Name], arg1: TypedTerm[Term]) → TypedTerm[bool]

DSL reference to hydra.analysis.isSelfTailRecursive.

hydra.dsl.analysis.is_simple_assignment(arg0: TypedTerm[Term]) → TypedTerm[bool]

DSL reference to hydra.analysis.isSimpleAssignment.

hydra.dsl.analysis.is_tail_recursive_in_tail_position(arg0: TypedTerm[Name], arg1: TypedTerm[Term]) → TypedTerm[bool]

DSL reference to hydra.analysis.isTailRecursiveInTailPosition.

hydra.dsl.analysis.module_contains_binary_literals(arg0: TypedTerm[Module]) → TypedTerm[bool]

DSL reference to hydra.analysis.moduleContainsBinaryLiterals.

hydra.dsl.analysis.module_contains_decimal_literals(arg0: TypedTerm[Module]) → TypedTerm[bool]

DSL reference to hydra.analysis.moduleContainsDecimalLiterals.

hydra.dsl.analysis.module_dependency_module_names(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[bool], arg3: TypedTerm[bool], arg4: TypedTerm[bool], arg5: TypedTerm[bool], arg6: TypedTerm[Module]) → TypedTerm[object]

DSL reference to hydra.analysis.moduleDependencyModuleNames.

hydra.dsl.analysis.module_names_for_definitions(arg0: TypedTerm[Callable[[ModuleName], T0]], arg1: TypedTerm[ModuleName], arg2: TypedTerm[Sequence[Definition]]) → TypedTerm[ModuleNames[T0]]

DSL reference to hydra.analysis.moduleNamesForDefinitions.