hydra.dsl.util module

DSL functions for hydra.util.

hydra.dsl.util.decode_module_names(n: TypedTerm[Callable[[Graph, Term], object]]) → TypedTerm[Callable[[Graph, Term], object]]

DSL composition builder for the decoder of hydra.util.ModuleNames.

hydra.dsl.util.encode_module_names(n: TypedTerm[Callable[[N], Term]]) → TypedTerm[Callable[[ModuleNames[N]], Term]]

DSL composition builder for the encoder of hydra.util.ModuleNames.

hydra.dsl.util.module_names(focus: TypedTerm[tuple[ModuleName, N]], mapping: TypedTerm[Mapping[ModuleName, N]]) → TypedTerm[ModuleNames[N]]

DSL constructor for hydra.util.ModuleNames.

hydra.dsl.util.module_names_focus(x: TypedTerm[ModuleNames[N]]) → TypedTerm[tuple[ModuleName, N]]

DSL accessor for the focus field of hydra.util.ModuleNames.

hydra.dsl.util.module_names_mapping(x: TypedTerm[ModuleNames[N]]) → TypedTerm[Mapping[ModuleName, N]]

DSL accessor for the mapping field of hydra.util.ModuleNames.

hydra.dsl.util.module_names_with_focus(original: TypedTerm[ModuleNames[N]], new_val: TypedTerm[tuple[ModuleName, N]]) → TypedTerm[ModuleNames[N]]

DSL updater for the focus field of hydra.util.ModuleNames.

hydra.dsl.util.module_names_with_mapping(original: TypedTerm[ModuleNames[N]], new_val: TypedTerm[Mapping[ModuleName, N]]) → TypedTerm[ModuleNames[N]]

DSL updater for the mapping field of hydra.util.ModuleNames.

hydra.dsl.util.precision_bits(x: TypedTerm[int]) → TypedTerm[Precision]

DSL injection for the bits variant of hydra.util.Precision.

hydra.dsl.util.qualified_name(module_name: TypedTerm[object], local: TypedTerm[str]) → TypedTerm[QualifiedName]

DSL constructor for hydra.util.QualifiedName.

hydra.dsl.util.qualified_name_local(x: TypedTerm[QualifiedName]) → TypedTerm[str]

DSL accessor for the local field of hydra.util.QualifiedName.

hydra.dsl.util.qualified_name_module_name(x: TypedTerm[QualifiedName]) → TypedTerm[object]

DSL accessor for the moduleName field of hydra.util.QualifiedName.

hydra.dsl.util.qualified_name_with_local(original: TypedTerm[QualifiedName], new_val: TypedTerm[str]) → TypedTerm[QualifiedName]

DSL updater for the local field of hydra.util.QualifiedName.

hydra.dsl.util.qualified_name_with_module_name(original: TypedTerm[QualifiedName], new_val: TypedTerm[object]) → TypedTerm[QualifiedName]

DSL updater for the moduleName field of hydra.util.QualifiedName.