hydra.dsl.reduction module

DSL functions for hydra.reduction.

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

DSL reference to hydra.reduction.alphaConvert.

hydra.dsl.reduction.beta_reduce_type(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[Type]) → TypedTerm[object]

DSL reference to hydra.reduction.betaReduceType.

hydra.dsl.reduction.contract_term(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.reduction.contractTerm.

hydra.dsl.reduction.eta_expand_term(arg0: TypedTerm[Graph], arg1: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.reduction.etaExpandTerm.

hydra.dsl.reduction.eta_expand_typed_term(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.reduction.etaExpandTypedTerm.

hydra.dsl.reduction.eta_expansion_arity(arg0: TypedTerm[Graph], arg1: TypedTerm[Term]) → TypedTerm[int]

DSL reference to hydra.reduction.etaExpansionArity.

hydra.dsl.reduction.eta_reduce_term(arg0: TypedTerm[Term]) → TypedTerm[Term]

DSL reference to hydra.reduction.etaReduceTerm.

hydra.dsl.reduction.reduce_term(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[bool], arg3: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.reduction.reduceTerm.

hydra.dsl.reduction.term_is_closed(arg0: TypedTerm[Term]) → TypedTerm[bool]

DSL reference to hydra.reduction.termIsClosed.

hydra.dsl.reduction.term_is_value(arg0: TypedTerm[Term]) → TypedTerm[bool]

DSL reference to hydra.reduction.termIsValue.