hydra.dsl.core module

DSL functions for hydra.core.

hydra.dsl.core.annotated_term(body: TypedTerm[Term], annotation: TypedTerm[Term]) → TypedTerm[AnnotatedTerm]

DSL constructor for hydra.core.AnnotatedTerm.

hydra.dsl.core.annotated_term_annotation(x: TypedTerm[AnnotatedTerm]) → TypedTerm[Term]

DSL accessor for the annotation field of hydra.core.AnnotatedTerm.

hydra.dsl.core.annotated_term_body(x: TypedTerm[AnnotatedTerm]) → TypedTerm[Term]

DSL accessor for the body field of hydra.core.AnnotatedTerm.

hydra.dsl.core.annotated_term_with_annotation(original: TypedTerm[AnnotatedTerm], new_val: TypedTerm[Term]) → TypedTerm[AnnotatedTerm]

DSL updater for the annotation field of hydra.core.AnnotatedTerm.

hydra.dsl.core.annotated_term_with_body(original: TypedTerm[AnnotatedTerm], new_val: TypedTerm[Term]) → TypedTerm[AnnotatedTerm]

DSL updater for the body field of hydra.core.AnnotatedTerm.

hydra.dsl.core.annotated_type(body: TypedTerm[Type], annotation: TypedTerm[Term]) → TypedTerm[AnnotatedType]

DSL constructor for hydra.core.AnnotatedType.

hydra.dsl.core.annotated_type_annotation(x: TypedTerm[AnnotatedType]) → TypedTerm[Term]

DSL accessor for the annotation field of hydra.core.AnnotatedType.

hydra.dsl.core.annotated_type_body(x: TypedTerm[AnnotatedType]) → TypedTerm[Type]

DSL accessor for the body field of hydra.core.AnnotatedType.

hydra.dsl.core.annotated_type_with_annotation(original: TypedTerm[AnnotatedType], new_val: TypedTerm[Term]) → TypedTerm[AnnotatedType]

DSL updater for the annotation field of hydra.core.AnnotatedType.

hydra.dsl.core.annotated_type_with_body(original: TypedTerm[AnnotatedType], new_val: TypedTerm[Type]) → TypedTerm[AnnotatedType]

DSL updater for the body field of hydra.core.AnnotatedType.

hydra.dsl.core.application(function: TypedTerm[Term], argument: TypedTerm[Term]) → TypedTerm[Application]

DSL constructor for hydra.core.Application.

hydra.dsl.core.application_argument(x: TypedTerm[Application]) → TypedTerm[Term]

DSL accessor for the argument field of hydra.core.Application.

hydra.dsl.core.application_function(x: TypedTerm[Application]) → TypedTerm[Term]

DSL accessor for the function field of hydra.core.Application.

hydra.dsl.core.application_type(function: TypedTerm[Type], argument: TypedTerm[Type]) → TypedTerm[ApplicationType]

DSL constructor for hydra.core.ApplicationType.

hydra.dsl.core.application_type_argument(x: TypedTerm[ApplicationType]) → TypedTerm[Type]

DSL accessor for the argument field of hydra.core.ApplicationType.

hydra.dsl.core.application_type_function(x: TypedTerm[ApplicationType]) → TypedTerm[Type]

DSL accessor for the function field of hydra.core.ApplicationType.

hydra.dsl.core.application_type_with_argument(original: TypedTerm[ApplicationType], new_val: TypedTerm[Type]) → TypedTerm[ApplicationType]

DSL updater for the argument field of hydra.core.ApplicationType.

hydra.dsl.core.application_type_with_function(original: TypedTerm[ApplicationType], new_val: TypedTerm[Type]) → TypedTerm[ApplicationType]

DSL updater for the function field of hydra.core.ApplicationType.

hydra.dsl.core.application_with_argument(original: TypedTerm[Application], new_val: TypedTerm[Term]) → TypedTerm[Application]

DSL updater for the argument field of hydra.core.Application.

hydra.dsl.core.application_with_function(original: TypedTerm[Application], new_val: TypedTerm[Term]) → TypedTerm[Application]

DSL updater for the function field of hydra.core.Application.

hydra.dsl.core.binding(name: TypedTerm[Name], term: TypedTerm[Term], type_scheme: TypedTerm[object]) → TypedTerm[Binding]

DSL constructor for hydra.core.Binding.

hydra.dsl.core.binding_name(x: TypedTerm[Binding]) → TypedTerm[Name]

DSL accessor for the name field of hydra.core.Binding.

hydra.dsl.core.binding_term(x: TypedTerm[Binding]) → TypedTerm[Term]

DSL accessor for the term field of hydra.core.Binding.

hydra.dsl.core.binding_type_scheme(x: TypedTerm[Binding]) → TypedTerm[object]

DSL accessor for the typeScheme field of hydra.core.Binding.

hydra.dsl.core.binding_with_name(original: TypedTerm[Binding], new_val: TypedTerm[Name]) → TypedTerm[Binding]

DSL updater for the name field of hydra.core.Binding.

hydra.dsl.core.binding_with_term(original: TypedTerm[Binding], new_val: TypedTerm[Term]) → TypedTerm[Binding]

DSL updater for the term field of hydra.core.Binding.

hydra.dsl.core.binding_with_type_scheme(original: TypedTerm[Binding], new_val: TypedTerm[object]) → TypedTerm[Binding]

DSL updater for the typeScheme field of hydra.core.Binding.

hydra.dsl.core.case_alternative(name: TypedTerm[Name], handler: TypedTerm[Term]) → TypedTerm[CaseAlternative]

DSL constructor for hydra.core.CaseAlternative.

hydra.dsl.core.case_alternative_handler(x: TypedTerm[CaseAlternative]) → TypedTerm[Term]

DSL accessor for the handler field of hydra.core.CaseAlternative.

hydra.dsl.core.case_alternative_name(x: TypedTerm[CaseAlternative]) → TypedTerm[Name]

DSL accessor for the name field of hydra.core.CaseAlternative.

hydra.dsl.core.case_alternative_with_handler(original: TypedTerm[CaseAlternative], new_val: TypedTerm[Term]) → TypedTerm[CaseAlternative]

DSL updater for the handler field of hydra.core.CaseAlternative.

hydra.dsl.core.case_alternative_with_name(original: TypedTerm[CaseAlternative], new_val: TypedTerm[Name]) → TypedTerm[CaseAlternative]

DSL updater for the name field of hydra.core.CaseAlternative.

hydra.dsl.core.case_statement(type_name: TypedTerm[Name], default: TypedTerm[object], cases: TypedTerm[Sequence[CaseAlternative]]) → TypedTerm[CaseStatement]

DSL constructor for hydra.core.CaseStatement.

hydra.dsl.core.case_statement_cases(x: TypedTerm[CaseStatement]) → TypedTerm[Sequence[CaseAlternative]]

DSL accessor for the cases field of hydra.core.CaseStatement.

hydra.dsl.core.case_statement_default(x: TypedTerm[CaseStatement]) → TypedTerm[object]

DSL accessor for the default field of hydra.core.CaseStatement.

hydra.dsl.core.case_statement_type_name(x: TypedTerm[CaseStatement]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.core.CaseStatement.

hydra.dsl.core.case_statement_with_cases(original: TypedTerm[CaseStatement], new_val: TypedTerm[Sequence[CaseAlternative]]) → TypedTerm[CaseStatement]

DSL updater for the cases field of hydra.core.CaseStatement.

hydra.dsl.core.case_statement_with_default(original: TypedTerm[CaseStatement], new_val: TypedTerm[object]) → TypedTerm[CaseStatement]

DSL updater for the default field of hydra.core.CaseStatement.

hydra.dsl.core.case_statement_with_type_name(original: TypedTerm[CaseStatement], new_val: TypedTerm[Name]) → TypedTerm[CaseStatement]

DSL updater for the typeName field of hydra.core.CaseStatement.

hydra.dsl.core.either_type(left: TypedTerm[Type], right: TypedTerm[Type]) → TypedTerm[EitherType]

DSL constructor for hydra.core.EitherType.

hydra.dsl.core.either_type_left(x: TypedTerm[EitherType]) → TypedTerm[Type]

DSL accessor for the left field of hydra.core.EitherType.

hydra.dsl.core.either_type_right(x: TypedTerm[EitherType]) → TypedTerm[Type]

DSL accessor for the right field of hydra.core.EitherType.

hydra.dsl.core.either_type_with_left(original: TypedTerm[EitherType], new_val: TypedTerm[Type]) → TypedTerm[EitherType]

DSL updater for the left field of hydra.core.EitherType.

hydra.dsl.core.either_type_with_right(original: TypedTerm[EitherType], new_val: TypedTerm[Type]) → TypedTerm[EitherType]

DSL updater for the right field of hydra.core.EitherType.

hydra.dsl.core.field(name: TypedTerm[Name], term: TypedTerm[Term]) → TypedTerm[Field]

DSL constructor for hydra.core.Field.

hydra.dsl.core.field_name(x: TypedTerm[Field]) → TypedTerm[Name]

DSL accessor for the name field of hydra.core.Field.

hydra.dsl.core.field_term(x: TypedTerm[Field]) → TypedTerm[Term]

DSL accessor for the term field of hydra.core.Field.

hydra.dsl.core.field_type(name: TypedTerm[Name], type: TypedTerm[Type]) → TypedTerm[FieldType]

DSL constructor for hydra.core.FieldType.

hydra.dsl.core.field_type_name(x: TypedTerm[FieldType]) → TypedTerm[Name]

DSL accessor for the name field of hydra.core.FieldType.

hydra.dsl.core.field_type_type(x: TypedTerm[FieldType]) → TypedTerm[Type]

DSL accessor for the type field of hydra.core.FieldType.

hydra.dsl.core.field_type_with_name(original: TypedTerm[FieldType], new_val: TypedTerm[Name]) → TypedTerm[FieldType]

DSL updater for the name field of hydra.core.FieldType.

hydra.dsl.core.field_type_with_type(original: TypedTerm[FieldType], new_val: TypedTerm[Type]) → TypedTerm[FieldType]

DSL updater for the type field of hydra.core.FieldType.

hydra.dsl.core.field_with_name(original: TypedTerm[Field], new_val: TypedTerm[Name]) → TypedTerm[Field]

DSL updater for the name field of hydra.core.Field.

hydra.dsl.core.field_with_term(original: TypedTerm[Field], new_val: TypedTerm[Term]) → TypedTerm[Field]

DSL updater for the term field of hydra.core.Field.

hydra.dsl.core.float_value_float32(x: TypedTerm[float]) → TypedTerm[FloatValue]

DSL injection for the float32 variant of hydra.core.FloatValue.

hydra.dsl.core.float_value_float64(x: TypedTerm[float]) → TypedTerm[FloatValue]

DSL injection for the float64 variant of hydra.core.FloatValue.

hydra.dsl.core.forall_type(parameter: TypedTerm[Name], body: TypedTerm[Type]) → TypedTerm[ForallType]

DSL constructor for hydra.core.ForallType.

hydra.dsl.core.forall_type_body(x: TypedTerm[ForallType]) → TypedTerm[Type]

DSL accessor for the body field of hydra.core.ForallType.

hydra.dsl.core.forall_type_parameter(x: TypedTerm[ForallType]) → TypedTerm[Name]

DSL accessor for the parameter field of hydra.core.ForallType.

hydra.dsl.core.forall_type_with_body(original: TypedTerm[ForallType], new_val: TypedTerm[Type]) → TypedTerm[ForallType]

DSL updater for the body field of hydra.core.ForallType.

hydra.dsl.core.forall_type_with_parameter(original: TypedTerm[ForallType], new_val: TypedTerm[Name]) → TypedTerm[ForallType]

DSL updater for the parameter field of hydra.core.ForallType.

hydra.dsl.core.function_type(domain: TypedTerm[Type], codomain: TypedTerm[Type]) → TypedTerm[FunctionType]

DSL constructor for hydra.core.FunctionType.

hydra.dsl.core.function_type_codomain(x: TypedTerm[FunctionType]) → TypedTerm[Type]

DSL accessor for the codomain field of hydra.core.FunctionType.

hydra.dsl.core.function_type_domain(x: TypedTerm[FunctionType]) → TypedTerm[Type]

DSL accessor for the domain field of hydra.core.FunctionType.

hydra.dsl.core.function_type_with_codomain(original: TypedTerm[FunctionType], new_val: TypedTerm[Type]) → TypedTerm[FunctionType]

DSL updater for the codomain field of hydra.core.FunctionType.

hydra.dsl.core.function_type_with_domain(original: TypedTerm[FunctionType], new_val: TypedTerm[Type]) → TypedTerm[FunctionType]

DSL updater for the domain field of hydra.core.FunctionType.

hydra.dsl.core.injection(type_name: TypedTerm[Name], field: TypedTerm[Field]) → TypedTerm[Injection]

DSL constructor for hydra.core.Injection.

hydra.dsl.core.injection_field(x: TypedTerm[Injection]) → TypedTerm[Field]

DSL accessor for the field field of hydra.core.Injection.

hydra.dsl.core.injection_type_name(x: TypedTerm[Injection]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.core.Injection.

hydra.dsl.core.injection_with_field(original: TypedTerm[Injection], new_val: TypedTerm[Field]) → TypedTerm[Injection]

DSL updater for the field field of hydra.core.Injection.

hydra.dsl.core.injection_with_type_name(original: TypedTerm[Injection], new_val: TypedTerm[Name]) → TypedTerm[Injection]

DSL updater for the typeName field of hydra.core.Injection.

hydra.dsl.core.integer_value_bigint(x: TypedTerm[int]) → TypedTerm[IntegerValue]

DSL injection for the bigint variant of hydra.core.IntegerValue.

hydra.dsl.core.integer_value_int16(x: TypedTerm[int]) → TypedTerm[IntegerValue]

DSL injection for the int16 variant of hydra.core.IntegerValue.

hydra.dsl.core.integer_value_int32(x: TypedTerm[int]) → TypedTerm[IntegerValue]

DSL injection for the int32 variant of hydra.core.IntegerValue.

hydra.dsl.core.integer_value_int64(x: TypedTerm[int]) → TypedTerm[IntegerValue]

DSL injection for the int64 variant of hydra.core.IntegerValue.

hydra.dsl.core.integer_value_int8(x: TypedTerm[int]) → TypedTerm[IntegerValue]

DSL injection for the int8 variant of hydra.core.IntegerValue.

hydra.dsl.core.integer_value_uint16(x: TypedTerm[int]) → TypedTerm[IntegerValue]

DSL injection for the uint16 variant of hydra.core.IntegerValue.

hydra.dsl.core.integer_value_uint32(x: TypedTerm[int]) → TypedTerm[IntegerValue]

DSL injection for the uint32 variant of hydra.core.IntegerValue.

hydra.dsl.core.integer_value_uint64(x: TypedTerm[int]) → TypedTerm[IntegerValue]

DSL injection for the uint64 variant of hydra.core.IntegerValue.

hydra.dsl.core.integer_value_uint8(x: TypedTerm[int]) → TypedTerm[IntegerValue]

DSL injection for the uint8 variant of hydra.core.IntegerValue.

hydra.dsl.core.lambda_(parameter: TypedTerm[Name], domain: TypedTerm[object], body: TypedTerm[Term]) → TypedTerm[Lambda]

DSL constructor for hydra.core.Lambda.

hydra.dsl.core.lambda_body(x: TypedTerm[Lambda]) → TypedTerm[Term]

DSL accessor for the body field of hydra.core.Lambda.

hydra.dsl.core.lambda_domain(x: TypedTerm[Lambda]) → TypedTerm[object]

DSL accessor for the domain field of hydra.core.Lambda.

hydra.dsl.core.lambda_parameter(x: TypedTerm[Lambda]) → TypedTerm[Name]

DSL accessor for the parameter field of hydra.core.Lambda.

hydra.dsl.core.lambda_with_body(original: TypedTerm[Lambda], new_val: TypedTerm[Term]) → TypedTerm[Lambda]

DSL updater for the body field of hydra.core.Lambda.

hydra.dsl.core.lambda_with_domain(original: TypedTerm[Lambda], new_val: TypedTerm[object]) → TypedTerm[Lambda]

DSL updater for the domain field of hydra.core.Lambda.

hydra.dsl.core.lambda_with_parameter(original: TypedTerm[Lambda], new_val: TypedTerm[Name]) → TypedTerm[Lambda]

DSL updater for the parameter field of hydra.core.Lambda.

hydra.dsl.core.let(bindings: TypedTerm[Sequence[Binding]], body: TypedTerm[Term]) → TypedTerm[Let]

DSL constructor for hydra.core.Let.

hydra.dsl.core.let_bindings(x: TypedTerm[Let]) → TypedTerm[Sequence[Binding]]

DSL accessor for the bindings field of hydra.core.Let.

hydra.dsl.core.let_body(x: TypedTerm[Let]) → TypedTerm[Term]

DSL accessor for the body field of hydra.core.Let.

hydra.dsl.core.let_with_bindings(original: TypedTerm[Let], new_val: TypedTerm[Sequence[Binding]]) → TypedTerm[Let]

DSL updater for the bindings field of hydra.core.Let.

hydra.dsl.core.let_with_body(original: TypedTerm[Let], new_val: TypedTerm[Term]) → TypedTerm[Let]

DSL updater for the body field of hydra.core.Let.

hydra.dsl.core.literal_binary(x: TypedTerm[bytes]) → TypedTerm[Literal]

DSL injection for the binary variant of hydra.core.Literal.

hydra.dsl.core.literal_boolean(x: TypedTerm[bool]) → TypedTerm[Literal]

DSL injection for the boolean variant of hydra.core.Literal.

hydra.dsl.core.literal_decimal(x: TypedTerm[Decimal]) → TypedTerm[Literal]

DSL injection for the decimal variant of hydra.core.Literal.

hydra.dsl.core.literal_float(x: TypedTerm[FloatValue]) → TypedTerm[Literal]

DSL injection for the float variant of hydra.core.Literal.

hydra.dsl.core.literal_integer(x: TypedTerm[IntegerValue]) → TypedTerm[Literal]

DSL injection for the integer variant of hydra.core.Literal.

hydra.dsl.core.literal_string(x: TypedTerm[str]) → TypedTerm[Literal]

DSL injection for the string variant of hydra.core.Literal.

hydra.dsl.core.literal_type_float(x: TypedTerm[FloatType]) → TypedTerm[LiteralType]

DSL injection for the float variant of hydra.core.LiteralType.

hydra.dsl.core.literal_type_integer(x: TypedTerm[IntegerType]) → TypedTerm[LiteralType]

DSL injection for the integer variant of hydra.core.LiteralType.

hydra.dsl.core.map_type(keys: TypedTerm[Type], values: TypedTerm[Type]) → TypedTerm[MapType]

DSL constructor for hydra.core.MapType.

hydra.dsl.core.map_type_keys(x: TypedTerm[MapType]) → TypedTerm[Type]

DSL accessor for the keys field of hydra.core.MapType.

hydra.dsl.core.map_type_values(x: TypedTerm[MapType]) → TypedTerm[Type]

DSL accessor for the values field of hydra.core.MapType.

hydra.dsl.core.map_type_with_keys(original: TypedTerm[MapType], new_val: TypedTerm[Type]) → TypedTerm[MapType]

DSL updater for the keys field of hydra.core.MapType.

hydra.dsl.core.map_type_with_values(original: TypedTerm[MapType], new_val: TypedTerm[Type]) → TypedTerm[MapType]

DSL updater for the values field of hydra.core.MapType.

hydra.dsl.core.name(x: TypedTerm[str]) → TypedTerm[Name]

DSL constructor for the hydra.core.Name wrapper.

hydra.dsl.core.pair_type(first: TypedTerm[Type], second: TypedTerm[Type]) → TypedTerm[PairType]

DSL constructor for hydra.core.PairType.

hydra.dsl.core.pair_type_first(x: TypedTerm[PairType]) → TypedTerm[Type]

DSL accessor for the first field of hydra.core.PairType.

hydra.dsl.core.pair_type_second(x: TypedTerm[PairType]) → TypedTerm[Type]

DSL accessor for the second field of hydra.core.PairType.

hydra.dsl.core.pair_type_with_first(original: TypedTerm[PairType], new_val: TypedTerm[Type]) → TypedTerm[PairType]

DSL updater for the first field of hydra.core.PairType.

hydra.dsl.core.pair_type_with_second(original: TypedTerm[PairType], new_val: TypedTerm[Type]) → TypedTerm[PairType]

DSL updater for the second field of hydra.core.PairType.

hydra.dsl.core.projection(type_name: TypedTerm[Name], field_name: TypedTerm[Name]) → TypedTerm[Projection]

DSL constructor for hydra.core.Projection.

hydra.dsl.core.projection_field_name(x: TypedTerm[Projection]) → TypedTerm[Name]

DSL accessor for the fieldName field of hydra.core.Projection.

hydra.dsl.core.projection_type_name(x: TypedTerm[Projection]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.core.Projection.

hydra.dsl.core.projection_with_field_name(original: TypedTerm[Projection], new_val: TypedTerm[Name]) → TypedTerm[Projection]

DSL updater for the fieldName field of hydra.core.Projection.

hydra.dsl.core.projection_with_type_name(original: TypedTerm[Projection], new_val: TypedTerm[Name]) → TypedTerm[Projection]

DSL updater for the typeName field of hydra.core.Projection.

hydra.dsl.core.record(type_name: TypedTerm[Name], fields: TypedTerm[Sequence[Field]]) → TypedTerm[Record]

DSL constructor for hydra.core.Record.

hydra.dsl.core.record_fields(x: TypedTerm[Record]) → TypedTerm[Sequence[Field]]

DSL accessor for the fields field of hydra.core.Record.

hydra.dsl.core.record_type_name(x: TypedTerm[Record]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.core.Record.

hydra.dsl.core.record_with_fields(original: TypedTerm[Record], new_val: TypedTerm[Sequence[Field]]) → TypedTerm[Record]

DSL updater for the fields field of hydra.core.Record.

hydra.dsl.core.record_with_type_name(original: TypedTerm[Record], new_val: TypedTerm[Name]) → TypedTerm[Record]

DSL updater for the typeName field of hydra.core.Record.

hydra.dsl.core.term_annotated(x: TypedTerm[AnnotatedTerm]) → TypedTerm[Term]

DSL injection for the annotated variant of hydra.core.Term.

hydra.dsl.core.term_application(x: TypedTerm[Application]) → TypedTerm[Term]

DSL injection for the application variant of hydra.core.Term.

hydra.dsl.core.term_cases(x: TypedTerm[CaseStatement]) → TypedTerm[Term]

DSL injection for the cases variant of hydra.core.Term.

hydra.dsl.core.term_either(x: TypedTerm[object]) → TypedTerm[Term]

DSL injection for the either variant of hydra.core.Term.

hydra.dsl.core.term_inject(x: TypedTerm[Injection]) → TypedTerm[Term]

DSL injection for the inject variant of hydra.core.Term.

hydra.dsl.core.term_lambda(x: TypedTerm[Lambda]) → TypedTerm[Term]

DSL injection for the lambda variant of hydra.core.Term.

hydra.dsl.core.term_let(x: TypedTerm[Let]) → TypedTerm[Term]

DSL injection for the let variant of hydra.core.Term.

hydra.dsl.core.term_list(x: TypedTerm[Sequence[Term]]) → TypedTerm[Term]

DSL injection for the list variant of hydra.core.Term.

hydra.dsl.core.term_literal(x: TypedTerm[Literal]) → TypedTerm[Term]

DSL injection for the literal variant of hydra.core.Term.

hydra.dsl.core.term_map(x: TypedTerm[Mapping[Term, Term]]) → TypedTerm[Term]

DSL injection for the map variant of hydra.core.Term.

hydra.dsl.core.term_optional(x: TypedTerm[object]) → TypedTerm[Term]

DSL injection for the optional variant of hydra.core.Term.

hydra.dsl.core.term_pair(x: TypedTerm[tuple[Term, Term]]) → TypedTerm[Term]

DSL injection for the pair variant of hydra.core.Term.

hydra.dsl.core.term_project(x: TypedTerm[Projection]) → TypedTerm[Term]

DSL injection for the project variant of hydra.core.Term.

hydra.dsl.core.term_record(x: TypedTerm[Record]) → TypedTerm[Term]

DSL injection for the record variant of hydra.core.Term.

hydra.dsl.core.term_set(x: TypedTerm[Set[Term]]) → TypedTerm[Term]

DSL injection for the set variant of hydra.core.Term.

hydra.dsl.core.term_type_application(x: TypedTerm[TypeApplicationTerm]) → TypedTerm[Term]

DSL injection for the typeApplication variant of hydra.core.Term.

hydra.dsl.core.term_type_lambda(x: TypedTerm[TypeLambda]) → TypedTerm[Term]

DSL injection for the typeLambda variant of hydra.core.Term.

hydra.dsl.core.term_unwrap(x: TypedTerm[Name]) → TypedTerm[Term]

DSL injection for the unwrap variant of hydra.core.Term.

hydra.dsl.core.term_variable(x: TypedTerm[Name]) → TypedTerm[Term]

DSL injection for the variable variant of hydra.core.Term.

hydra.dsl.core.term_wrap(x: TypedTerm[WrappedTerm]) → TypedTerm[Term]

DSL injection for the wrap variant of hydra.core.Term.

hydra.dsl.core.type_annotated(x: TypedTerm[AnnotatedType]) → TypedTerm[Type]

DSL injection for the annotated variant of hydra.core.Type.

hydra.dsl.core.type_application(x: TypedTerm[ApplicationType]) → TypedTerm[Type]

DSL injection for the application variant of hydra.core.Type.

hydra.dsl.core.type_application_term(body: TypedTerm[Term], type: TypedTerm[Type]) → TypedTerm[TypeApplicationTerm]

DSL constructor for hydra.core.TypeApplicationTerm.

hydra.dsl.core.type_application_term_body(x: TypedTerm[TypeApplicationTerm]) → TypedTerm[Term]

DSL accessor for the body field of hydra.core.TypeApplicationTerm.

hydra.dsl.core.type_application_term_type(x: TypedTerm[TypeApplicationTerm]) → TypedTerm[Type]

DSL accessor for the type field of hydra.core.TypeApplicationTerm.

hydra.dsl.core.type_application_term_with_body(original: TypedTerm[TypeApplicationTerm], new_val: TypedTerm[Term]) → TypedTerm[TypeApplicationTerm]

DSL updater for the body field of hydra.core.TypeApplicationTerm.

hydra.dsl.core.type_application_term_with_type(original: TypedTerm[TypeApplicationTerm], new_val: TypedTerm[Type]) → TypedTerm[TypeApplicationTerm]

DSL updater for the type field of hydra.core.TypeApplicationTerm.

hydra.dsl.core.type_class_constraint_simple(x: TypedTerm[Name]) → TypedTerm[TypeClassConstraint]

DSL injection for the simple variant of hydra.core.TypeClassConstraint.

hydra.dsl.core.type_effect(x: TypedTerm[Type]) → TypedTerm[Type]

DSL injection for the effect variant of hydra.core.Type.

hydra.dsl.core.type_either(x: TypedTerm[EitherType]) → TypedTerm[Type]

DSL injection for the either variant of hydra.core.Type.

hydra.dsl.core.type_forall(x: TypedTerm[ForallType]) → TypedTerm[Type]

DSL injection for the forall variant of hydra.core.Type.

hydra.dsl.core.type_function(x: TypedTerm[FunctionType]) → TypedTerm[Type]

DSL injection for the function variant of hydra.core.Type.

hydra.dsl.core.type_lambda(parameter: TypedTerm[Name], body: TypedTerm[Term]) → TypedTerm[TypeLambda]

DSL constructor for hydra.core.TypeLambda.

hydra.dsl.core.type_lambda_body(x: TypedTerm[TypeLambda]) → TypedTerm[Term]

DSL accessor for the body field of hydra.core.TypeLambda.

hydra.dsl.core.type_lambda_parameter(x: TypedTerm[TypeLambda]) → TypedTerm[Name]

DSL accessor for the parameter field of hydra.core.TypeLambda.

hydra.dsl.core.type_lambda_with_body(original: TypedTerm[TypeLambda], new_val: TypedTerm[Term]) → TypedTerm[TypeLambda]

DSL updater for the body field of hydra.core.TypeLambda.

hydra.dsl.core.type_lambda_with_parameter(original: TypedTerm[TypeLambda], new_val: TypedTerm[Name]) → TypedTerm[TypeLambda]

DSL updater for the parameter field of hydra.core.TypeLambda.

hydra.dsl.core.type_list(x: TypedTerm[Type]) → TypedTerm[Type]

DSL injection for the list variant of hydra.core.Type.

hydra.dsl.core.type_literal(x: TypedTerm[LiteralType]) → TypedTerm[Type]

DSL injection for the literal variant of hydra.core.Type.

hydra.dsl.core.type_map(x: TypedTerm[MapType]) → TypedTerm[Type]

DSL injection for the map variant of hydra.core.Type.

hydra.dsl.core.type_optional(x: TypedTerm[Type]) → TypedTerm[Type]

DSL injection for the optional variant of hydra.core.Type.

hydra.dsl.core.type_pair(x: TypedTerm[PairType]) → TypedTerm[Type]

DSL injection for the pair variant of hydra.core.Type.

hydra.dsl.core.type_record(x: TypedTerm[Sequence[FieldType]]) → TypedTerm[Type]

DSL injection for the record variant of hydra.core.Type.

hydra.dsl.core.type_scheme(variables: TypedTerm[Sequence[Name]], body: TypedTerm[Type], constraints: TypedTerm[Mapping[Name, TypeVariableConstraints]]) → TypedTerm[TypeScheme]

DSL constructor for hydra.core.TypeScheme.

hydra.dsl.core.type_scheme_body(x: TypedTerm[TypeScheme]) → TypedTerm[Type]

DSL accessor for the body field of hydra.core.TypeScheme.

hydra.dsl.core.type_scheme_constraints(x: TypedTerm[TypeScheme]) → TypedTerm[Mapping[Name, TypeVariableConstraints]]

DSL accessor for the constraints field of hydra.core.TypeScheme.

hydra.dsl.core.type_scheme_variables(x: TypedTerm[TypeScheme]) → TypedTerm[Sequence[Name]]

DSL accessor for the variables field of hydra.core.TypeScheme.

hydra.dsl.core.type_scheme_with_body(original: TypedTerm[TypeScheme], new_val: TypedTerm[Type]) → TypedTerm[TypeScheme]

DSL updater for the body field of hydra.core.TypeScheme.

hydra.dsl.core.type_scheme_with_constraints(original: TypedTerm[TypeScheme], new_val: TypedTerm[Mapping[Name, TypeVariableConstraints]]) → TypedTerm[TypeScheme]

DSL updater for the constraints field of hydra.core.TypeScheme.

hydra.dsl.core.type_scheme_with_variables(original: TypedTerm[TypeScheme], new_val: TypedTerm[Sequence[Name]]) → TypedTerm[TypeScheme]

DSL updater for the variables field of hydra.core.TypeScheme.

hydra.dsl.core.type_set(x: TypedTerm[Type]) → TypedTerm[Type]

DSL injection for the set variant of hydra.core.Type.

hydra.dsl.core.type_union(x: TypedTerm[Sequence[FieldType]]) → TypedTerm[Type]

DSL injection for the union variant of hydra.core.Type.

hydra.dsl.core.type_variable(x: TypedTerm[Name]) → TypedTerm[Type]

DSL injection for the variable variant of hydra.core.Type.

hydra.dsl.core.type_variable_constraints(classes: TypedTerm[Set[TypeClassConstraint]]) → TypedTerm[TypeVariableConstraints]

DSL constructor for hydra.core.TypeVariableConstraints.

hydra.dsl.core.type_variable_constraints_classes(x: TypedTerm[TypeVariableConstraints]) → TypedTerm[Set[TypeClassConstraint]]

DSL accessor for the classes field of hydra.core.TypeVariableConstraints.

hydra.dsl.core.type_variable_constraints_with_classes(original: TypedTerm[TypeVariableConstraints], new_val: TypedTerm[Set[TypeClassConstraint]]) → TypedTerm[TypeVariableConstraints]

DSL updater for the classes field of hydra.core.TypeVariableConstraints.

hydra.dsl.core.type_wrap(x: TypedTerm[Type]) → TypedTerm[Type]

DSL injection for the wrap variant of hydra.core.Type.

hydra.dsl.core.un_name(x: TypedTerm[Name]) → TypedTerm[str]

DSL accessor for the body of hydra.core.Name.

hydra.dsl.core.wrapped_term(type_name: TypedTerm[Name], body: TypedTerm[Term]) → TypedTerm[WrappedTerm]

DSL constructor for hydra.core.WrappedTerm.

hydra.dsl.core.wrapped_term_body(x: TypedTerm[WrappedTerm]) → TypedTerm[Term]

DSL accessor for the body field of hydra.core.WrappedTerm.

hydra.dsl.core.wrapped_term_type_name(x: TypedTerm[WrappedTerm]) → TypedTerm[Name]

DSL accessor for the typeName field of hydra.core.WrappedTerm.

hydra.dsl.core.wrapped_term_with_body(original: TypedTerm[WrappedTerm], new_val: TypedTerm[Term]) → TypedTerm[WrappedTerm]

DSL updater for the body field of hydra.core.WrappedTerm.

hydra.dsl.core.wrapped_term_with_type_name(original: TypedTerm[WrappedTerm], new_val: TypedTerm[Name]) → TypedTerm[WrappedTerm]

DSL updater for the typeName field of hydra.core.WrappedTerm.