hydra.dsl.variables module

DSL functions for hydra.variables.

hydra.dsl.variables.free_type_variables_in_term(arg0: TypedTerm[Term]) → TypedTerm[Set[Name]]

DSL reference to hydra.variables.freeTypeVariablesInTerm.

hydra.dsl.variables.free_variables_in_term(arg0: TypedTerm[Term]) → TypedTerm[Set[Name]]

DSL reference to hydra.variables.freeVariablesInTerm.

hydra.dsl.variables.free_variables_in_type(arg0: TypedTerm[Type]) → TypedTerm[Set[Name]]

DSL reference to hydra.variables.freeVariablesInType.

hydra.dsl.variables.free_variables_in_type_ordered(arg0: TypedTerm[Type]) → TypedTerm[Sequence[Name]]

DSL reference to hydra.variables.freeVariablesInTypeOrdered.

hydra.dsl.variables.free_variables_in_type_scheme(arg0: TypedTerm[TypeScheme]) → TypedTerm[Set[Name]]

DSL reference to hydra.variables.freeVariablesInTypeScheme.

hydra.dsl.variables.free_variables_in_type_scheme_simple(arg0: TypedTerm[TypeScheme]) → TypedTerm[Set[Name]]

DSL reference to hydra.variables.freeVariablesInTypeSchemeSimple.

hydra.dsl.variables.free_variables_in_type_simple(arg0: TypedTerm[Type]) → TypedTerm[Set[Name]]

DSL reference to hydra.variables.freeVariablesInTypeSimple.

hydra.dsl.variables.is_free_variable_in_term(arg0: TypedTerm[Name], arg1: TypedTerm[Term]) → TypedTerm[bool]

DSL reference to hydra.variables.isFreeVariableInTerm.

hydra.dsl.variables.normalize_type_variables_in_term(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.variables.normalizeTypeVariablesInTerm.

hydra.dsl.variables.replace_free_term_variable(arg0: TypedTerm[Name], arg1: TypedTerm[Term], arg2: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.variables.replaceFreeTermVariable.

hydra.dsl.variables.replace_free_type_variable(arg0: TypedTerm[Name], arg1: TypedTerm[Type], arg2: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.variables.replaceFreeTypeVariable.

hydra.dsl.variables.substitute_type_variables(arg0: TypedTerm[Mapping[Name, Name]], arg1: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.variables.substituteTypeVariables.

hydra.dsl.variables.substitute_variable(arg0: TypedTerm[Name], arg1: TypedTerm[Name], arg2: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.variables.substituteVariable.

hydra.dsl.variables.substitute_variables(arg0: TypedTerm[Mapping[Name, Name]], arg1: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.variables.substituteVariables.

hydra.dsl.variables.unshadow_variables(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.variables.unshadowVariables.