hydra.dsl.coders module

DSL functions for hydra.coders.

hydra.dsl.coders.adapter(is_lossy: TypedTerm[bool], source: TypedTerm[T1], target: TypedTerm[T2], coder: TypedTerm[Coder[V1, V2, E]]) → TypedTerm[Adapter[T1, T2, V1, V2, E]]

DSL constructor for hydra.coders.Adapter.

hydra.dsl.coders.adapter_coder(x: TypedTerm[Adapter[T1, T2, V1, V2, E]]) → TypedTerm[Coder[V1, V2, E]]

DSL accessor for the coder field of hydra.coders.Adapter.

hydra.dsl.coders.adapter_context(graph: TypedTerm[Graph], language: TypedTerm[Language], adapters: TypedTerm[Mapping[Name, Adapter[Type, Type, Term, Term, Error]]]) → TypedTerm[AdapterContext]

DSL constructor for hydra.coders.AdapterContext.

hydra.dsl.coders.adapter_context_adapters(x: TypedTerm[AdapterContext]) → TypedTerm[Mapping[Name, Adapter[Type, Type, Term, Term, Error]]]

DSL accessor for the adapters field of hydra.coders.AdapterContext.

hydra.dsl.coders.adapter_context_graph(x: TypedTerm[AdapterContext]) → TypedTerm[Graph]

DSL accessor for the graph field of hydra.coders.AdapterContext.

hydra.dsl.coders.adapter_context_language(x: TypedTerm[AdapterContext]) → TypedTerm[Language]

DSL accessor for the language field of hydra.coders.AdapterContext.

hydra.dsl.coders.adapter_context_with_adapters(original: TypedTerm[AdapterContext], new_val: TypedTerm[Mapping[Name, Adapter[Type, Type, Term, Term, Error]]]) → TypedTerm[AdapterContext]

DSL updater for the adapters field of hydra.coders.AdapterContext.

hydra.dsl.coders.adapter_context_with_graph(original: TypedTerm[AdapterContext], new_val: TypedTerm[Graph]) → TypedTerm[AdapterContext]

DSL updater for the graph field of hydra.coders.AdapterContext.

hydra.dsl.coders.adapter_context_with_language(original: TypedTerm[AdapterContext], new_val: TypedTerm[Language]) → TypedTerm[AdapterContext]

DSL updater for the language field of hydra.coders.AdapterContext.

hydra.dsl.coders.adapter_is_lossy(x: TypedTerm[Adapter[T1, T2, V1, V2, E]]) → TypedTerm[bool]

DSL accessor for the isLossy field of hydra.coders.Adapter.

hydra.dsl.coders.adapter_source(x: TypedTerm[Adapter[T1, T2, V1, V2, E]]) → TypedTerm[T1]

DSL accessor for the source field of hydra.coders.Adapter.

hydra.dsl.coders.adapter_target(x: TypedTerm[Adapter[T1, T2, V1, V2, E]]) → TypedTerm[T2]

DSL accessor for the target field of hydra.coders.Adapter.

hydra.dsl.coders.adapter_with_coder(original: TypedTerm[Adapter[T1, T2, V1, V2, E]], new_val: TypedTerm[Coder[V1, V2, E]]) → TypedTerm[Adapter[T1, T2, V1, V2, E]]

DSL updater for the coder field of hydra.coders.Adapter.

hydra.dsl.coders.adapter_with_is_lossy(original: TypedTerm[Adapter[T1, T2, V1, V2, E]], new_val: TypedTerm[bool]) → TypedTerm[Adapter[T1, T2, V1, V2, E]]

DSL updater for the isLossy field of hydra.coders.Adapter.

hydra.dsl.coders.adapter_with_source(original: TypedTerm[Adapter[T1, T2, V1, V2, E]], new_val: TypedTerm[T1]) → TypedTerm[Adapter[T1, T2, V1, V2, E]]

DSL updater for the source field of hydra.coders.Adapter.

hydra.dsl.coders.adapter_with_target(original: TypedTerm[Adapter[T1, T2, V1, V2, E]], new_val: TypedTerm[T2]) → TypedTerm[Adapter[T1, T2, V1, V2, E]]

DSL updater for the target field of hydra.coders.Adapter.

hydra.dsl.coders.bicoder(encode: TypedTerm[Callable[[T1], Adapter[T1, T2, V1, V2, E]]], decode: TypedTerm[Callable[[T2], Adapter[T2, T1, V2, V1, E]]]) → TypedTerm[Bicoder[T1, T2, V1, V2, E]]

DSL constructor for hydra.coders.Bicoder.

hydra.dsl.coders.bicoder_decode(x: TypedTerm[Bicoder[T1, T2, V1, V2, E]]) → TypedTerm[Callable[[T2], Adapter[T2, T1, V2, V1, E]]]

DSL accessor for the decode field of hydra.coders.Bicoder.

hydra.dsl.coders.bicoder_encode(x: TypedTerm[Bicoder[T1, T2, V1, V2, E]]) → TypedTerm[Callable[[T1], Adapter[T1, T2, V1, V2, E]]]

DSL accessor for the encode field of hydra.coders.Bicoder.

hydra.dsl.coders.bicoder_with_decode(original: TypedTerm[Bicoder[T1, T2, V1, V2, E]], new_val: TypedTerm[Callable[[T2], Adapter[T2, T1, V2, V1, E]]]) → TypedTerm[Bicoder[T1, T2, V1, V2, E]]

DSL updater for the decode field of hydra.coders.Bicoder.

hydra.dsl.coders.bicoder_with_encode(original: TypedTerm[Bicoder[T1, T2, V1, V2, E]], new_val: TypedTerm[Callable[[T1], Adapter[T1, T2, V1, V2, E]]]) → TypedTerm[Bicoder[T1, T2, V1, V2, E]]

DSL updater for the encode field of hydra.coders.Bicoder.

hydra.dsl.coders.case_conventions(constant: TypedTerm[CaseConvention], directory: TypedTerm[CaseConvention], enum_value: TypedTerm[CaseConvention], field: TypedTerm[CaseConvention], file: TypedTerm[CaseConvention], module: TypedTerm[CaseConvention], term: TypedTerm[CaseConvention], term_variable: TypedTerm[CaseConvention], type: TypedTerm[CaseConvention], type_variable: TypedTerm[CaseConvention]) → TypedTerm[CaseConventions]

DSL constructor for hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_constant(x: TypedTerm[CaseConventions]) → TypedTerm[CaseConvention]

DSL accessor for the constant field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_directory(x: TypedTerm[CaseConventions]) → TypedTerm[CaseConvention]

DSL accessor for the directory field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_enum_value(x: TypedTerm[CaseConventions]) → TypedTerm[CaseConvention]

DSL accessor for the enumValue field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_field(x: TypedTerm[CaseConventions]) → TypedTerm[CaseConvention]

DSL accessor for the field field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_file(x: TypedTerm[CaseConventions]) → TypedTerm[CaseConvention]

DSL accessor for the file field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_module(x: TypedTerm[CaseConventions]) → TypedTerm[CaseConvention]

DSL accessor for the module field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_term(x: TypedTerm[CaseConventions]) → TypedTerm[CaseConvention]

DSL accessor for the term field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_term_variable(x: TypedTerm[CaseConventions]) → TypedTerm[CaseConvention]

DSL accessor for the termVariable field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_type(x: TypedTerm[CaseConventions]) → TypedTerm[CaseConvention]

DSL accessor for the type field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_type_variable(x: TypedTerm[CaseConventions]) → TypedTerm[CaseConvention]

DSL accessor for the typeVariable field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_with_constant(original: TypedTerm[CaseConventions], new_val: TypedTerm[CaseConvention]) → TypedTerm[CaseConventions]

DSL updater for the constant field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_with_directory(original: TypedTerm[CaseConventions], new_val: TypedTerm[CaseConvention]) → TypedTerm[CaseConventions]

DSL updater for the directory field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_with_enum_value(original: TypedTerm[CaseConventions], new_val: TypedTerm[CaseConvention]) → TypedTerm[CaseConventions]

DSL updater for the enumValue field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_with_field(original: TypedTerm[CaseConventions], new_val: TypedTerm[CaseConvention]) → TypedTerm[CaseConventions]

DSL updater for the field field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_with_file(original: TypedTerm[CaseConventions], new_val: TypedTerm[CaseConvention]) → TypedTerm[CaseConventions]

DSL updater for the file field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_with_module(original: TypedTerm[CaseConventions], new_val: TypedTerm[CaseConvention]) → TypedTerm[CaseConventions]

DSL updater for the module field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_with_term(original: TypedTerm[CaseConventions], new_val: TypedTerm[CaseConvention]) → TypedTerm[CaseConventions]

DSL updater for the term field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_with_term_variable(original: TypedTerm[CaseConventions], new_val: TypedTerm[CaseConvention]) → TypedTerm[CaseConventions]

DSL updater for the termVariable field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_with_type(original: TypedTerm[CaseConventions], new_val: TypedTerm[CaseConvention]) → TypedTerm[CaseConventions]

DSL updater for the type field of hydra.coders.CaseConventions.

hydra.dsl.coders.case_conventions_with_type_variable(original: TypedTerm[CaseConventions], new_val: TypedTerm[CaseConvention]) → TypedTerm[CaseConventions]

DSL updater for the typeVariable field of hydra.coders.CaseConventions.

hydra.dsl.coders.coder(encode: TypedTerm[Callable[[V1], object]], decode: TypedTerm[Callable[[V2], object]]) → TypedTerm[Coder[V1, V2, E]]

DSL constructor for hydra.coders.Coder.

hydra.dsl.coders.coder_decode(x: TypedTerm[Coder[V1, V2, E]]) → TypedTerm[Callable[[V2], object]]

DSL accessor for the decode field of hydra.coders.Coder.

hydra.dsl.coders.coder_encode(x: TypedTerm[Coder[V1, V2, E]]) → TypedTerm[Callable[[V1], object]]

DSL accessor for the encode field of hydra.coders.Coder.

hydra.dsl.coders.coder_with_decode(original: TypedTerm[Coder[V1, V2, E]], new_val: TypedTerm[Callable[[V2], object]]) → TypedTerm[Coder[V1, V2, E]]

DSL updater for the decode field of hydra.coders.Coder.

hydra.dsl.coders.coder_with_encode(original: TypedTerm[Coder[V1, V2, E]], new_val: TypedTerm[Callable[[V1], object]]) → TypedTerm[Coder[V1, V2, E]]

DSL updater for the encode field of hydra.coders.Coder.

hydra.dsl.coders.decode_adapter(t1: TypedTerm[Callable[[Graph, Term], object]], t2: TypedTerm[Callable[[Graph, Term], object]], v1: TypedTerm[Callable[[Graph, Term], object]], v2: TypedTerm[Callable[[Graph, Term], object]], e: TypedTerm[Callable[[Graph, Term], object]]) → TypedTerm[Callable[[Graph, Term], object]]

DSL composition builder for the decoder of hydra.coders.Adapter.

hydra.dsl.coders.decode_bicoder(t1: TypedTerm[Callable[[Graph, Term], object]], t2: TypedTerm[Callable[[Graph, Term], object]], v1: TypedTerm[Callable[[Graph, Term], object]], v2: TypedTerm[Callable[[Graph, Term], object]], e: TypedTerm[Callable[[Graph, Term], object]]) → TypedTerm[Callable[[Graph, Term], object]]

DSL composition builder for the decoder of hydra.coders.Bicoder.

hydra.dsl.coders.decode_coder(v1: TypedTerm[Callable[[Graph, Term], object]], v2: TypedTerm[Callable[[Graph, Term], object]], e: TypedTerm[Callable[[Graph, Term], object]]) → TypedTerm[Callable[[Graph, Term], object]]

DSL composition builder for the decoder of hydra.coders.Coder.

hydra.dsl.coders.encode_adapter(t1: TypedTerm[Callable[[T1], Term]], t2: TypedTerm[Callable[[T2], Term]], v1: TypedTerm[Callable[[V1], Term]], v2: TypedTerm[Callable[[V2], Term]], e: TypedTerm[Callable[[E], Term]]) → TypedTerm[Callable[[Adapter[T1, T2, V1, V2, E]], Term]]

DSL composition builder for the encoder of hydra.coders.Adapter.

hydra.dsl.coders.encode_bicoder(t1: TypedTerm[Callable[[T1], Term]], t2: TypedTerm[Callable[[T2], Term]], v1: TypedTerm[Callable[[V1], Term]], v2: TypedTerm[Callable[[V2], Term]], e: TypedTerm[Callable[[E], Term]]) → TypedTerm[Callable[[Bicoder[T1, T2, V1, V2, E]], Term]]

DSL composition builder for the encoder of hydra.coders.Bicoder.

hydra.dsl.coders.encode_coder(v1: TypedTerm[Callable[[V1], Term]], v2: TypedTerm[Callable[[V2], Term]], e: TypedTerm[Callable[[E], Term]]) → TypedTerm[Callable[[Coder[V1, V2, E]], Term]]

DSL composition builder for the encoder of hydra.coders.Coder.

hydra.dsl.coders.language(name: TypedTerm[LanguageName], constraints: TypedTerm[LanguageConstraints], supported_features: TypedTerm[Set[LanguageFeature]], case_conventions: TypedTerm[CaseConventions], default_file_extension: TypedTerm[FileExtension]) → TypedTerm[Language]

DSL constructor for hydra.coders.Language.

hydra.dsl.coders.language_case_conventions(x: TypedTerm[Language]) → TypedTerm[CaseConventions]

DSL accessor for the caseConventions field of hydra.coders.Language.

hydra.dsl.coders.language_constraints(x: TypedTerm[Language]) → TypedTerm[LanguageConstraints]

DSL accessor for the constraints field of hydra.coders.Language.

hydra.dsl.coders.language_constraints2(literal_variants: TypedTerm[Set[LiteralVariant]], float_types: TypedTerm[Set[FloatType]], integer_types: TypedTerm[Set[IntegerType]], term_variants: TypedTerm[Set[TermVariant]], type_variants: TypedTerm[Set[TypeVariant]], types: TypedTerm[Callable[[Type], bool]]) → TypedTerm[LanguageConstraints]

DSL constructor for hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_float_types(x: TypedTerm[LanguageConstraints]) → TypedTerm[Set[FloatType]]

DSL accessor for the floatTypes field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_integer_types(x: TypedTerm[LanguageConstraints]) → TypedTerm[Set[IntegerType]]

DSL accessor for the integerTypes field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_literal_variants(x: TypedTerm[LanguageConstraints]) → TypedTerm[Set[LiteralVariant]]

DSL accessor for the literalVariants field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_term_variants(x: TypedTerm[LanguageConstraints]) → TypedTerm[Set[TermVariant]]

DSL accessor for the termVariants field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_type_variants(x: TypedTerm[LanguageConstraints]) → TypedTerm[Set[TypeVariant]]

DSL accessor for the typeVariants field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_types(x: TypedTerm[LanguageConstraints]) → TypedTerm[Callable[[Type], bool]]

DSL accessor for the types field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_with_float_types(original: TypedTerm[LanguageConstraints], new_val: TypedTerm[Set[FloatType]]) → TypedTerm[LanguageConstraints]

DSL updater for the floatTypes field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_with_integer_types(original: TypedTerm[LanguageConstraints], new_val: TypedTerm[Set[IntegerType]]) → TypedTerm[LanguageConstraints]

DSL updater for the integerTypes field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_with_literal_variants(original: TypedTerm[LanguageConstraints], new_val: TypedTerm[Set[LiteralVariant]]) → TypedTerm[LanguageConstraints]

DSL updater for the literalVariants field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_with_term_variants(original: TypedTerm[LanguageConstraints], new_val: TypedTerm[Set[TermVariant]]) → TypedTerm[LanguageConstraints]

DSL updater for the termVariants field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_with_type_variants(original: TypedTerm[LanguageConstraints], new_val: TypedTerm[Set[TypeVariant]]) → TypedTerm[LanguageConstraints]

DSL updater for the typeVariants field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_constraints_with_types(original: TypedTerm[LanguageConstraints], new_val: TypedTerm[Callable[[Type], bool]]) → TypedTerm[LanguageConstraints]

DSL updater for the types field of hydra.coders.LanguageConstraints.

hydra.dsl.coders.language_default_file_extension(x: TypedTerm[Language]) → TypedTerm[FileExtension]

DSL accessor for the defaultFileExtension field of hydra.coders.Language.

hydra.dsl.coders.language_name(x: TypedTerm[Language]) → TypedTerm[LanguageName]

DSL accessor for the name field of hydra.coders.Language.

hydra.dsl.coders.language_name2(x: TypedTerm[str]) → TypedTerm[LanguageName]

DSL constructor for the hydra.coders.LanguageName wrapper.

hydra.dsl.coders.language_supported_features(x: TypedTerm[Language]) → TypedTerm[Set[LanguageFeature]]

DSL accessor for the supportedFeatures field of hydra.coders.Language.

hydra.dsl.coders.language_with_case_conventions(original: TypedTerm[Language], new_val: TypedTerm[CaseConventions]) → TypedTerm[Language]

DSL updater for the caseConventions field of hydra.coders.Language.

hydra.dsl.coders.language_with_constraints(original: TypedTerm[Language], new_val: TypedTerm[LanguageConstraints]) → TypedTerm[Language]

DSL updater for the constraints field of hydra.coders.Language.

hydra.dsl.coders.language_with_default_file_extension(original: TypedTerm[Language], new_val: TypedTerm[FileExtension]) → TypedTerm[Language]

DSL updater for the defaultFileExtension field of hydra.coders.Language.

hydra.dsl.coders.language_with_name(original: TypedTerm[Language], new_val: TypedTerm[LanguageName]) → TypedTerm[Language]

DSL updater for the name field of hydra.coders.Language.

hydra.dsl.coders.language_with_supported_features(original: TypedTerm[Language], new_val: TypedTerm[Set[LanguageFeature]]) → TypedTerm[Language]

DSL updater for the supportedFeatures field of hydra.coders.Language.

hydra.dsl.coders.un_language_name(x: TypedTerm[LanguageName]) → TypedTerm[str]

DSL accessor for the body of hydra.coders.LanguageName.