hydra.dsl.scoping module

DSL functions for hydra.scoping.

hydra.dsl.scoping.extend_graph_for_lambda(arg0: TypedTerm[Graph], arg1: TypedTerm[Lambda]) → TypedTerm[Graph]

DSL reference to hydra.scoping.extendGraphForLambda.

hydra.dsl.scoping.extend_graph_for_let(arg0: TypedTerm[Callable[[Graph, Binding], object]], arg1: TypedTerm[Graph], arg2: TypedTerm[Let]) → TypedTerm[Graph]

DSL reference to hydra.scoping.extendGraphForLet.

hydra.dsl.scoping.extend_graph_for_type_lambda(arg0: TypedTerm[Graph], arg1: TypedTerm[TypeLambda]) → TypedTerm[Graph]

DSL reference to hydra.scoping.extendGraphForTypeLambda.

hydra.dsl.scoping.extend_graph_with_bindings(arg0: TypedTerm[Sequence[Binding]], arg1: TypedTerm[Graph]) → TypedTerm[Graph]

DSL reference to hydra.scoping.extendGraphWithBindings.

hydra.dsl.scoping.f_type_to_type_scheme(arg0: TypedTerm[Type]) → TypedTerm[TypeScheme]

DSL reference to hydra.scoping.fTypeToTypeScheme.

hydra.dsl.scoping.term_signature_to_type_scheme(arg0: TypedTerm[TermSignature]) → TypedTerm[TypeScheme]

DSL reference to hydra.scoping.termSignatureToTypeScheme.

hydra.dsl.scoping.type_scheme_to_f_type(arg0: TypedTerm[TypeScheme]) → TypedTerm[Type]

DSL reference to hydra.scoping.typeSchemeToFType.

hydra.dsl.scoping.type_scheme_to_term_signature(arg0: TypedTerm[TypeScheme]) → TypedTerm[TermSignature]

DSL reference to hydra.scoping.typeSchemeToTermSignature.