hydra.overlay.python.dsl.meta.core module
Meta-DSL for constructing Hydra core terms and types as first-class values.
Mirrors the Haskell module Hydra.Dsl.Meta.Core, providing phantom-typed constructors, accessors, and modifiers for all core Hydra types.
Most functions are re-exported from the generated module hydra.dsl.core. This module adds custom helpers (equality, lifting, convenience constructors) and provides function wrappers for generated unit-enum constants so they can be called with ().
- hydra.overlay.python.dsl.meta.core.equal_name(left: TypedTerm, right: TypedTerm) TypedTerm
Check equality of two Names by comparing their string values.
- hydra.overlay.python.dsl.meta.core.equal_name_list(lefts: TypedTerm, rights: TypedTerm) TypedTerm
Check equality of two Name lists.
- hydra.overlay.python.dsl.meta.core.false_term() TypedTerm
Create an encoded boolean false Term value.
- hydra.overlay.python.dsl.meta.core.field_type_with_type_value(ft: TypedTerm, t: TypedTerm) TypedTerm
Return a FieldType with a replacement type (same name).
- hydra.overlay.python.dsl.meta.core.field_with_term_value(ft: TypedTerm, t: TypedTerm) TypedTerm
Return a Field with a replacement term (same name).
- hydra.overlay.python.dsl.meta.core.int32_term(v: int) TypedTerm
Create an encoded int32 Term value.
- hydra.overlay.python.dsl.meta.core.let_(bindings: TypedTerm, body: TypedTerm) TypedTerm
Construct a Let (alias for generated let which shadows the Python keyword).
- hydra.overlay.python.dsl.meta.core.literal_type_boolean() TypedTerm
The boolean LiteralType variant.
- hydra.overlay.python.dsl.meta.core.name_lift(n: Name) TypedTerm
Lift a Python Name value into a TypedTerm Name.