hydra.dsl.names module

DSL functions for hydra.names.

hydra.dsl.names.choose_unique_label(arg0: TypedTerm[Set[str]], arg1: TypedTerm[str]) → TypedTerm[str]

DSL reference to hydra.names.chooseUniqueLabel.

hydra.dsl.names.compact_name(arg0: TypedTerm[Mapping[ModuleName, str]], arg1: TypedTerm[Name]) → TypedTerm[str]

DSL reference to hydra.names.compactName.

hydra.dsl.names.derived_binding_name(arg0: TypedTerm[Sequence[str]], arg1: TypedTerm[bool], arg2: TypedTerm[Name]) → TypedTerm[Name]

DSL reference to hydra.names.derivedBindingName.

hydra.dsl.names.derived_definition_name(arg0: TypedTerm[Sequence[str]], arg1: TypedTerm[bool], arg2: TypedTerm[bool], arg3: TypedTerm[Name], arg4: TypedTerm[str]) → TypedTerm[Name]

DSL reference to hydra.names.derivedDefinitionName.

hydra.dsl.names.derived_module_name(arg0: TypedTerm[Sequence[str]], arg1: TypedTerm[bool], arg2: TypedTerm[ModuleName]) → TypedTerm[ModuleName]

DSL reference to hydra.names.derivedModuleName.

hydra.dsl.names.fresh_name(arg0: TypedTerm[InferenceContext]) → TypedTerm[tuple[Name, InferenceContext]]

DSL reference to hydra.names.freshName.

hydra.dsl.names.fresh_names(arg0: TypedTerm[int], arg1: TypedTerm[InferenceContext]) → TypedTerm[tuple[Sequence[Name], InferenceContext]]

DSL reference to hydra.names.freshNames.

hydra.dsl.names.local_name_of(arg0: TypedTerm[Name]) → TypedTerm[str]

DSL reference to hydra.names.localNameOf.

hydra.dsl.names.module_name_of(arg0: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.names.moduleNameOf.

hydra.dsl.names.module_name_to_file_path(arg0: TypedTerm[CaseConvention], arg1: TypedTerm[FileExtension], arg2: TypedTerm[ModuleName]) → TypedTerm[str]

DSL reference to hydra.names.moduleNameToFilePath.

hydra.dsl.names.name_to_file_path(arg0: TypedTerm[CaseConvention], arg1: TypedTerm[CaseConvention], arg2: TypedTerm[FileExtension], arg3: TypedTerm[Name]) → TypedTerm[str]

DSL reference to hydra.names.nameToFilePath.

hydra.dsl.names.normal_type_variable(arg0: TypedTerm[int]) → TypedTerm[Name]

DSL reference to hydra.names.normalTypeVariable.

hydra.dsl.names.push_subterm_step(arg0: TypedTerm[SubtermStep], arg1: TypedTerm[InferenceContext]) → TypedTerm[InferenceContext]

DSL reference to hydra.names.pushSubtermStep.

hydra.dsl.names.qname(arg0: TypedTerm[ModuleName], arg1: TypedTerm[str]) → TypedTerm[Name]

DSL reference to hydra.names.qname.

hydra.dsl.names.qualify_name(arg0: TypedTerm[Name]) → TypedTerm[QualifiedName]

DSL reference to hydra.names.qualifyName.

hydra.dsl.names.restore_trace(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[InferenceContext]) → TypedTerm[InferenceContext]

DSL reference to hydra.names.restoreTrace.

hydra.dsl.names.unqualify_name(arg0: TypedTerm[QualifiedName]) → TypedTerm[Name]

DSL reference to hydra.names.unqualifyName.