hydra.dsl.validation module

DSL functions for hydra.validation.

hydra.dsl.validation.decode_validation_result(e: TypedTerm[Callable[[Graph, Term], object]]) → TypedTerm[Callable[[Graph, Term], object]]

DSL composition builder for the decoder of hydra.validation.ValidationResult.

hydra.dsl.validation.encode_validation_result(e: TypedTerm[Callable[[E], Term]]) → TypedTerm[Callable[[ValidationResult[E]], Term]]

DSL composition builder for the encoder of hydra.validation.ValidationResult.

hydra.dsl.validation.validation_profile(error_rules: TypedTerm[Set[Name]], warning_rules: TypedTerm[Set[Name]], max_errors: TypedTerm[int], max_warnings: TypedTerm[int]) → TypedTerm[ValidationProfile]

DSL constructor for hydra.validation.ValidationProfile.

hydra.dsl.validation.validation_profile_error_rules(x: TypedTerm[ValidationProfile]) → TypedTerm[Set[Name]]

DSL accessor for the errorRules field of hydra.validation.ValidationProfile.

hydra.dsl.validation.validation_profile_max_errors(x: TypedTerm[ValidationProfile]) → TypedTerm[int]

DSL accessor for the maxErrors field of hydra.validation.ValidationProfile.

hydra.dsl.validation.validation_profile_max_warnings(x: TypedTerm[ValidationProfile]) → TypedTerm[int]

DSL accessor for the maxWarnings field of hydra.validation.ValidationProfile.

hydra.dsl.validation.validation_profile_warning_rules(x: TypedTerm[ValidationProfile]) → TypedTerm[Set[Name]]

DSL accessor for the warningRules field of hydra.validation.ValidationProfile.

hydra.dsl.validation.validation_profile_with_error_rules(original: TypedTerm[ValidationProfile], new_val: TypedTerm[Set[Name]]) → TypedTerm[ValidationProfile]

DSL updater for the errorRules field of hydra.validation.ValidationProfile.

hydra.dsl.validation.validation_profile_with_max_errors(original: TypedTerm[ValidationProfile], new_val: TypedTerm[int]) → TypedTerm[ValidationProfile]

DSL updater for the maxErrors field of hydra.validation.ValidationProfile.

hydra.dsl.validation.validation_profile_with_max_warnings(original: TypedTerm[ValidationProfile], new_val: TypedTerm[int]) → TypedTerm[ValidationProfile]

DSL updater for the maxWarnings field of hydra.validation.ValidationProfile.

hydra.dsl.validation.validation_profile_with_warning_rules(original: TypedTerm[ValidationProfile], new_val: TypedTerm[Set[Name]]) → TypedTerm[ValidationProfile]

DSL updater for the warningRules field of hydra.validation.ValidationProfile.

hydra.dsl.validation.validation_result(errors: TypedTerm[Sequence[E]], warnings: TypedTerm[Sequence[E]]) → TypedTerm[ValidationResult[E]]

DSL constructor for hydra.validation.ValidationResult.

hydra.dsl.validation.validation_result_errors(x: TypedTerm[ValidationResult[E]]) → TypedTerm[Sequence[E]]

DSL accessor for the errors field of hydra.validation.ValidationResult.

hydra.dsl.validation.validation_result_warnings(x: TypedTerm[ValidationResult[E]]) → TypedTerm[Sequence[E]]

DSL accessor for the warnings field of hydra.validation.ValidationResult.

hydra.dsl.validation.validation_result_with_errors(original: TypedTerm[ValidationResult[E]], new_val: TypedTerm[Sequence[E]]) → TypedTerm[ValidationResult[E]]

DSL updater for the errors field of hydra.validation.ValidationResult.

hydra.dsl.validation.validation_result_with_warnings(original: TypedTerm[ValidationResult[E]], new_val: TypedTerm[Sequence[E]]) → TypedTerm[ValidationResult[E]]

DSL updater for the warnings field of hydra.validation.ValidationResult.