hydra.dsl.checking module

DSL functions for hydra.checking.

hydra.dsl.checking.all_equal(arg0: TypedTerm[Sequence[T0]]) → TypedTerm[bool]

DSL reference to hydra.checking.allEqual.

hydra.dsl.checking.apply_type_arguments_to_type(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Type]) → TypedTerm[object]

DSL reference to hydra.checking.applyTypeArgumentsToType.

hydra.dsl.checking.check_for_unbound_type_variables(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.checking.checkForUnboundTypeVariables.

hydra.dsl.checking.check_same_type(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[str], arg3: TypedTerm[Sequence[Type]]) → TypedTerm[object]

DSL reference to hydra.checking.checkSameType.

hydra.dsl.checking.check_type_subst(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[TypeSubst]) → TypedTerm[object]

DSL reference to hydra.checking.checkTypeSubst.

hydra.dsl.checking.contains_in_scope_type_vars(arg0: TypedTerm[Graph], arg1: TypedTerm[Type]) → TypedTerm[bool]

DSL reference to hydra.checking.containsInScopeTypeVars.

hydra.dsl.checking.normalize_type_free_vars(arg0: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.checking.normalizeTypeFreeVars.

hydra.dsl.checking.to_f_context(arg0: TypedTerm[Graph]) → TypedTerm[Mapping[Name, Type]]

DSL reference to hydra.checking.toFContext.

hydra.dsl.checking.type_lists_effectively_equal(arg0: TypedTerm[Graph], arg1: TypedTerm[Sequence[Type]], arg2: TypedTerm[Sequence[Type]]) → TypedTerm[bool]

DSL reference to hydra.checking.typeListsEffectivelyEqual.

hydra.dsl.checking.type_of(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Term]) → TypedTerm[object]

DSL reference to hydra.checking.typeOf.

hydra.dsl.checking.type_of_annotated_term(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[AnnotatedTerm]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfAnnotatedTerm.

hydra.dsl.checking.type_of_application(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Application]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfApplication.

hydra.dsl.checking.type_of_case_statement(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[CaseStatement]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfCaseStatement.

hydra.dsl.checking.type_of_either(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[object]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfEither.

hydra.dsl.checking.type_of_injection(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Injection]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfInjection.

hydra.dsl.checking.type_of_lambda(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Lambda]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfLambda.

hydra.dsl.checking.type_of_let(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Let]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfLet.

hydra.dsl.checking.type_of_list(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Sequence[Term]]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfList.

hydra.dsl.checking.type_of_literal(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Literal]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfLiteral.

hydra.dsl.checking.type_of_map(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Mapping[Term, Term]]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfMap.

hydra.dsl.checking.type_of_maybe(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[object]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfMaybe.

hydra.dsl.checking.type_of_pair(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[tuple[Term, Term]]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfPair.

hydra.dsl.checking.type_of_primitive(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfPrimitive.

hydra.dsl.checking.type_of_projection(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Projection]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfProjection.

hydra.dsl.checking.type_of_record(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Record]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfRecord.

hydra.dsl.checking.type_of_set(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Set[Term]]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfSet.

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

DSL reference to hydra.checking.typeOfTerm.

hydra.dsl.checking.type_of_type_application(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[TypeApplicationTerm]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfTypeApplication.

hydra.dsl.checking.type_of_type_lambda(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[TypeLambda]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfTypeLambda.

hydra.dsl.checking.type_of_unit(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfUnit.

hydra.dsl.checking.type_of_unwrap(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfUnwrap.

hydra.dsl.checking.type_of_variable(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfVariable.

hydra.dsl.checking.type_of_wrapped_term(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Graph], arg2: TypedTerm[Sequence[Type]], arg3: TypedTerm[WrappedTerm]) → TypedTerm[object]

DSL reference to hydra.checking.typeOfWrappedTerm.

hydra.dsl.checking.types_all_effectively_equal(arg0: TypedTerm[Graph], arg1: TypedTerm[Sequence[Type]]) → TypedTerm[bool]

DSL reference to hydra.checking.typesAllEffectivelyEqual.

hydra.dsl.checking.types_effectively_equal(arg0: TypedTerm[Graph], arg1: TypedTerm[Type], arg2: TypedTerm[Type]) → TypedTerm[bool]

DSL reference to hydra.checking.typesEffectivelyEqual.