hydra.dsl.environment module

DSL functions for hydra.environment.

hydra.dsl.environment.definition_as_type_application_term(arg0: TypedTerm[Binding]) → TypedTerm[object]

DSL reference to hydra.environment.definitionAsTypeApplicationTerm.

hydra.dsl.environment.graph_as_let(arg0: TypedTerm[Sequence[Binding]], arg1: TypedTerm[Term]) → TypedTerm[Let]

DSL reference to hydra.environment.graphAsLet.

hydra.dsl.environment.graph_as_term(arg0: TypedTerm[Sequence[Binding]], arg1: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.environment.graphAsTerm.

hydra.dsl.environment.graph_as_types(arg0: TypedTerm[Graph], arg1: TypedTerm[Sequence[Binding]]) → TypedTerm[object]

DSL reference to hydra.environment.graphAsTypes.

hydra.dsl.environment.partition_definitions(arg0: TypedTerm[Sequence[Definition]]) → TypedTerm[tuple[Sequence[TypeDefinition], Sequence[TermDefinition]]]

DSL reference to hydra.environment.partitionDefinitions.

hydra.dsl.environment.reorder_defs(arg0: TypedTerm[Sequence[Definition]]) → TypedTerm[Sequence[Definition]]

DSL reference to hydra.environment.reorderDefs.

hydra.dsl.environment.schema_graph_to_typing_environment(arg0: TypedTerm[Graph]) → TypedTerm[object]

DSL reference to hydra.environment.schemaGraphToTypingEnvironment.

hydra.dsl.environment.term_as_bindings(arg0: TypedTerm[Term]) → TypedTerm[Sequence[Binding]]

DSL reference to hydra.environment.termAsBindings.

hydra.dsl.environment.types_to_definitions(arg0: TypedTerm[Mapping[Name, Type]]) → TypedTerm[Sequence[Binding]]

DSL reference to hydra.environment.typesToDefinitions.

hydra.dsl.environment.with_lambda_context(arg0: TypedTerm[Callable[[T0], Graph]], arg1: TypedTerm[Callable[[Graph, T0], T1]], arg2: TypedTerm[T0], arg3: TypedTerm[Lambda], arg4: TypedTerm[Callable[[T1], T2]]) → TypedTerm[T2]

DSL reference to hydra.environment.withLambdaContext.

hydra.dsl.environment.with_let_context(arg0: TypedTerm[Callable[[T0], Graph]], arg1: TypedTerm[Callable[[Graph, T0], T1]], arg2: TypedTerm[Callable[[Graph, Binding], object]], arg3: TypedTerm[T0], arg4: TypedTerm[Let], arg5: TypedTerm[Callable[[T1], T2]]) → TypedTerm[T2]

DSL reference to hydra.environment.withLetContext.

hydra.dsl.environment.with_type_lambda_context(arg0: TypedTerm[Callable[[T0], Graph]], arg1: TypedTerm[Callable[[Graph, T0], T1]], arg2: TypedTerm[T0], arg3: TypedTerm[TypeLambda], arg4: TypedTerm[Callable[[T1], T2]]) → TypedTerm[T2]

DSL reference to hydra.environment.withTypeLambdaContext.