hydra.dsl.resolution module

DSL functions for hydra.resolution.

hydra.dsl.resolution.dereference_type(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.resolution.dereferenceType.

hydra.dsl.resolution.f_type_is_polymorphic(arg0: TypedTerm[Type]) → TypedTerm[bool]

DSL reference to hydra.resolution.fTypeIsPolymorphic.

hydra.dsl.resolution.field_map(arg0: TypedTerm[Sequence[Field]]) → TypedTerm[Mapping[Name, Term]]

DSL reference to hydra.resolution.fieldMap.

hydra.dsl.resolution.field_type_map(arg0: TypedTerm[Sequence[FieldType]]) → TypedTerm[Mapping[Name, Type]]

DSL reference to hydra.resolution.fieldTypeMap.

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

DSL reference to hydra.resolution.fieldTypes.

hydra.dsl.resolution.find_field_type(arg0: TypedTerm[T0], arg1: TypedTerm[Name], arg2: TypedTerm[Sequence[FieldType]]) → TypedTerm[object]

DSL reference to hydra.resolution.findFieldType.

hydra.dsl.resolution.fully_strip_and_normalize_type(arg0: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.resolution.fullyStripAndNormalizeType.

hydra.dsl.resolution.fully_strip_type(arg0: TypedTerm[Type]) → TypedTerm[Type]

DSL reference to hydra.resolution.fullyStripType.

hydra.dsl.resolution.instantiate_type(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Type]) → TypedTerm[tuple[Type, InferenceContext]]

DSL reference to hydra.resolution.instantiateType.

hydra.dsl.resolution.instantiate_type_scheme(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[TypeScheme]) → TypedTerm[tuple[TypeScheme, InferenceContext]]

DSL reference to hydra.resolution.instantiateTypeScheme.

hydra.dsl.resolution.map_key_resolves_to_string(arg0: TypedTerm[Mapping[Name, Type]], arg1: TypedTerm[Type]) → TypedTerm[bool]

DSL reference to hydra.resolution.mapKeyResolvesToString.

hydra.dsl.resolution.nominal_application(arg0: TypedTerm[Name], arg1: TypedTerm[Sequence[Type]]) → TypedTerm[Type]

DSL reference to hydra.resolution.nominalApplication.

hydra.dsl.resolution.require_record_type(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.resolution.requireRecordType.

hydra.dsl.resolution.require_row_type(arg0: TypedTerm[T0], arg1: TypedTerm[str], arg2: TypedTerm[Callable[[Type], object]], arg3: TypedTerm[Graph], arg4: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.resolution.requireRowType.

hydra.dsl.resolution.require_schema_type(arg0: TypedTerm[InferenceContext], arg1: TypedTerm[Mapping[Name, TypeScheme]], arg2: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.resolution.requireSchemaType.

hydra.dsl.resolution.require_type(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.resolution.requireType.

hydra.dsl.resolution.require_union_field(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[Name], arg3: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.resolution.requireUnionField.

hydra.dsl.resolution.require_union_type(arg0: TypedTerm[T0], arg1: TypedTerm[Graph], arg2: TypedTerm[Name]) → TypedTerm[object]

DSL reference to hydra.resolution.requireUnionType.

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

DSL reference to hydra.resolution.resolveBaseType.

hydra.dsl.resolution.resolve_type(arg0: TypedTerm[Graph], arg1: TypedTerm[Type]) → TypedTerm[object]

DSL reference to hydra.resolution.resolveType.

hydra.dsl.resolution.type_to_type_scheme(arg0: TypedTerm[Type]) → TypedTerm[TypeScheme]

DSL reference to hydra.resolution.typeToTypeScheme.