hydra.dsl.dependencies module

DSL functions for hydra.dependencies.

hydra.dsl.dependencies.definitions_with_dependencies(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Binding]]) → TypedTerm[object]

DSL reference to hydra.dependencies.definitionsWithDependencies.

hydra.dsl.dependencies.flatten_let_terms(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.dependencies.flattenLetTerms.

hydra.dsl.dependencies.inline_type(arg0: TypedTerm[Mapping[Name, Type]], arg1: TypedTerm[Type]) → TypedTerm[object]

DSL reference to hydra.dependencies.inlineType.

hydra.dsl.dependencies.is_lambda(arg0: TypedTerm[Term]) → TypedTerm[bool]

DSL reference to hydra.dependencies.isLambda.

hydra.dsl.dependencies.lift_lambda_above_let(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.dependencies.liftLambdaAboveLet.

hydra.dsl.dependencies.prune_let(arg0: TypedTerm[Let]) → TypedTerm[Let]

DSL reference to hydra.dependencies.pruneLet.

hydra.dsl.dependencies.replace_typedefs(arg0: TypedTerm[Mapping[Name, TypeScheme]], arg1: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.dependencies.replaceTypedefs.

hydra.dsl.dependencies.simplify_term(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.dependencies.simplifyTerm.

hydra.dsl.dependencies.term_dependency_names(arg0: TypedTerm[bool], arg1: TypedTerm[bool], arg2: TypedTerm[bool], arg3: TypedTerm[Term]) → TypedTerm[Set[Name]]

DSL reference to hydra.dependencies.termDependencyNames.

hydra.dsl.dependencies.to_short_names(arg0: TypedTerm[Sequence[Name]]) → TypedTerm[Mapping[Name, Name]]

DSL reference to hydra.dependencies.toShortNames.

hydra.dsl.dependencies.topological_sort_binding_map(arg0: TypedTerm[Mapping[Name, Term]]) → TypedTerm[Sequence[Sequence[tuple[Name, Term]]]]

DSL reference to hydra.dependencies.topologicalSortBindingMap.

hydra.dsl.dependencies.topological_sort_bindings(arg0: TypedTerm[Sequence[Binding]]) → TypedTerm[object]

DSL reference to hydra.dependencies.topologicalSortBindings.

hydra.dsl.dependencies.topological_sort_type_definitions(arg0: TypedTerm[Sequence[TypeDefinition]]) → TypedTerm[Sequence[Sequence[TypeDefinition]]]

DSL reference to hydra.dependencies.topologicalSortTypeDefinitions.

hydra.dsl.dependencies.type_dependency_names(arg0: TypedTerm[bool], arg1: TypedTerm[Type]) → TypedTerm[Set[Name]]

DSL reference to hydra.dependencies.typeDependencyNames.

hydra.dsl.dependencies.type_names_in_type(arg0: TypedTerm[Type]) → TypedTerm[Set[T0]]

DSL reference to hydra.dependencies.typeNamesInType.