hydra.dsl.packaging module

DSL functions for hydra.packaging.

hydra.dsl.packaging.definition_primitive(x: TypedTerm[PrimitiveDefinition]) → TypedTerm[Definition]

DSL injection for the primitive variant of hydra.packaging.Definition.

hydra.dsl.packaging.definition_reference_primitive(x: TypedTerm[Name]) → TypedTerm[DefinitionReference]

DSL injection for the primitive variant of hydra.packaging.DefinitionReference.

hydra.dsl.packaging.definition_reference_term(x: TypedTerm[Name]) → TypedTerm[DefinitionReference]

DSL injection for the term variant of hydra.packaging.DefinitionReference.

hydra.dsl.packaging.definition_reference_type(x: TypedTerm[Name]) → TypedTerm[DefinitionReference]

DSL injection for the type variant of hydra.packaging.DefinitionReference.

hydra.dsl.packaging.definition_term(x: TypedTerm[TermDefinition]) → TypedTerm[Definition]

DSL injection for the term variant of hydra.packaging.Definition.

hydra.dsl.packaging.definition_type(x: TypedTerm[TypeDefinition]) → TypedTerm[Definition]

DSL injection for the type variant of hydra.packaging.Definition.

hydra.dsl.packaging.entity_metadata(description: TypedTerm[object], comments: TypedTerm[Sequence[str]], see_also: TypedTerm[Sequence[EntityReference]], lifecycle: TypedTerm[object]) → TypedTerm[EntityMetadata]

DSL constructor for hydra.packaging.EntityMetadata.

hydra.dsl.packaging.entity_metadata_comments(x: TypedTerm[EntityMetadata]) → TypedTerm[Sequence[str]]

DSL accessor for the comments field of hydra.packaging.EntityMetadata.

hydra.dsl.packaging.entity_metadata_description(x: TypedTerm[EntityMetadata]) → TypedTerm[object]

DSL accessor for the description field of hydra.packaging.EntityMetadata.

hydra.dsl.packaging.entity_metadata_lifecycle(x: TypedTerm[EntityMetadata]) → TypedTerm[object]

DSL accessor for the lifecycle field of hydra.packaging.EntityMetadata.

hydra.dsl.packaging.entity_metadata_see_also(x: TypedTerm[EntityMetadata]) → TypedTerm[Sequence[EntityReference]]

DSL accessor for the seeAlso field of hydra.packaging.EntityMetadata.

hydra.dsl.packaging.entity_metadata_with_comments(original: TypedTerm[EntityMetadata], new_val: TypedTerm[Sequence[str]]) → TypedTerm[EntityMetadata]

DSL updater for the comments field of hydra.packaging.EntityMetadata.

hydra.dsl.packaging.entity_metadata_with_description(original: TypedTerm[EntityMetadata], new_val: TypedTerm[object]) → TypedTerm[EntityMetadata]

DSL updater for the description field of hydra.packaging.EntityMetadata.

hydra.dsl.packaging.entity_metadata_with_lifecycle(original: TypedTerm[EntityMetadata], new_val: TypedTerm[object]) → TypedTerm[EntityMetadata]

DSL updater for the lifecycle field of hydra.packaging.EntityMetadata.

hydra.dsl.packaging.entity_metadata_with_see_also(original: TypedTerm[EntityMetadata], new_val: TypedTerm[Sequence[EntityReference]]) → TypedTerm[EntityMetadata]

DSL updater for the seeAlso field of hydra.packaging.EntityMetadata.

hydra.dsl.packaging.entity_reference_definition(x: TypedTerm[DefinitionReference]) → TypedTerm[EntityReference]

DSL injection for the definition variant of hydra.packaging.EntityReference.

hydra.dsl.packaging.entity_reference_module(x: TypedTerm[ModuleName]) → TypedTerm[EntityReference]

DSL injection for the module variant of hydra.packaging.EntityReference.

hydra.dsl.packaging.entity_reference_package(x: TypedTerm[PackageName]) → TypedTerm[EntityReference]

DSL injection for the package variant of hydra.packaging.EntityReference.

hydra.dsl.packaging.entity_reference_term_expr(x: TypedTerm[str]) → TypedTerm[EntityReference]

DSL injection for the termExpr variant of hydra.packaging.EntityReference.

hydra.dsl.packaging.entity_reference_type_expr(x: TypedTerm[str]) → TypedTerm[EntityReference]

DSL injection for the typeExpr variant of hydra.packaging.EntityReference.

hydra.dsl.packaging.lifecycle_info(available_since: TypedTerm[object], deprecated_since: TypedTerm[object]) → TypedTerm[LifecycleInfo]

DSL constructor for hydra.packaging.LifecycleInfo.

hydra.dsl.packaging.lifecycle_info_available_since(x: TypedTerm[LifecycleInfo]) → TypedTerm[object]

DSL accessor for the availableSince field of hydra.packaging.LifecycleInfo.

hydra.dsl.packaging.lifecycle_info_deprecated_since(x: TypedTerm[LifecycleInfo]) → TypedTerm[object]

DSL accessor for the deprecatedSince field of hydra.packaging.LifecycleInfo.

hydra.dsl.packaging.lifecycle_info_with_available_since(original: TypedTerm[LifecycleInfo], new_val: TypedTerm[object]) → TypedTerm[LifecycleInfo]

DSL updater for the availableSince field of hydra.packaging.LifecycleInfo.

hydra.dsl.packaging.lifecycle_info_with_deprecated_since(original: TypedTerm[LifecycleInfo], new_val: TypedTerm[object]) → TypedTerm[LifecycleInfo]

DSL updater for the deprecatedSince field of hydra.packaging.LifecycleInfo.

hydra.dsl.packaging.module(name: TypedTerm[ModuleName], metadata: TypedTerm[object], dependencies: TypedTerm[Sequence[ModuleDependency]], definitions: TypedTerm[Sequence[Definition]]) → TypedTerm[Module]

DSL constructor for hydra.packaging.Module.

hydra.dsl.packaging.module_definitions(x: TypedTerm[Module]) → TypedTerm[Sequence[Definition]]

DSL accessor for the definitions field of hydra.packaging.Module.

hydra.dsl.packaging.module_dependencies(x: TypedTerm[Module]) → TypedTerm[Sequence[ModuleDependency]]

DSL accessor for the dependencies field of hydra.packaging.Module.

hydra.dsl.packaging.module_dependency(module: TypedTerm[ModuleName], package: TypedTerm[object]) → TypedTerm[ModuleDependency]

DSL constructor for hydra.packaging.ModuleDependency.

hydra.dsl.packaging.module_dependency_module(x: TypedTerm[ModuleDependency]) → TypedTerm[ModuleName]

DSL accessor for the module field of hydra.packaging.ModuleDependency.

hydra.dsl.packaging.module_dependency_package(x: TypedTerm[ModuleDependency]) → TypedTerm[object]

DSL accessor for the package field of hydra.packaging.ModuleDependency.

hydra.dsl.packaging.module_dependency_with_module(original: TypedTerm[ModuleDependency], new_val: TypedTerm[ModuleName]) → TypedTerm[ModuleDependency]

DSL updater for the module field of hydra.packaging.ModuleDependency.

hydra.dsl.packaging.module_dependency_with_package(original: TypedTerm[ModuleDependency], new_val: TypedTerm[object]) → TypedTerm[ModuleDependency]

DSL updater for the package field of hydra.packaging.ModuleDependency.

hydra.dsl.packaging.module_metadata(x: TypedTerm[Module]) → TypedTerm[object]

DSL accessor for the metadata field of hydra.packaging.Module.

hydra.dsl.packaging.module_name(x: TypedTerm[Module]) → TypedTerm[ModuleName]

DSL accessor for the name field of hydra.packaging.Module.

hydra.dsl.packaging.module_name2(x: TypedTerm[str]) → TypedTerm[ModuleName]

DSL constructor for the hydra.packaging.ModuleName wrapper.

hydra.dsl.packaging.module_with_definitions(original: TypedTerm[Module], new_val: TypedTerm[Sequence[Definition]]) → TypedTerm[Module]

DSL updater for the definitions field of hydra.packaging.Module.

hydra.dsl.packaging.module_with_dependencies(original: TypedTerm[Module], new_val: TypedTerm[Sequence[ModuleDependency]]) → TypedTerm[Module]

DSL updater for the dependencies field of hydra.packaging.Module.

hydra.dsl.packaging.module_with_metadata(original: TypedTerm[Module], new_val: TypedTerm[object]) → TypedTerm[Module]

DSL updater for the metadata field of hydra.packaging.Module.

hydra.dsl.packaging.module_with_name(original: TypedTerm[Module], new_val: TypedTerm[ModuleName]) → TypedTerm[Module]

DSL updater for the name field of hydra.packaging.Module.

hydra.dsl.packaging.package(name: TypedTerm[PackageName], metadata: TypedTerm[object], dependencies: TypedTerm[Sequence[PackageDependency]], modules: TypedTerm[Sequence[Module]]) → TypedTerm[Package]

DSL constructor for hydra.packaging.Package.

hydra.dsl.packaging.package_dependencies(x: TypedTerm[Package]) → TypedTerm[Sequence[PackageDependency]]

DSL accessor for the dependencies field of hydra.packaging.Package.

hydra.dsl.packaging.package_dependency(name: TypedTerm[PackageName], version: TypedTerm[VersionSpecifier], scope: TypedTerm[object]) → TypedTerm[PackageDependency]

DSL constructor for hydra.packaging.PackageDependency.

hydra.dsl.packaging.package_dependency_name(x: TypedTerm[PackageDependency]) → TypedTerm[PackageName]

DSL accessor for the name field of hydra.packaging.PackageDependency.

hydra.dsl.packaging.package_dependency_scope(x: TypedTerm[PackageDependency]) → TypedTerm[object]

DSL accessor for the scope field of hydra.packaging.PackageDependency.

hydra.dsl.packaging.package_dependency_version(x: TypedTerm[PackageDependency]) → TypedTerm[VersionSpecifier]

DSL accessor for the version field of hydra.packaging.PackageDependency.

hydra.dsl.packaging.package_dependency_with_name(original: TypedTerm[PackageDependency], new_val: TypedTerm[PackageName]) → TypedTerm[PackageDependency]

DSL updater for the name field of hydra.packaging.PackageDependency.

hydra.dsl.packaging.package_dependency_with_scope(original: TypedTerm[PackageDependency], new_val: TypedTerm[object]) → TypedTerm[PackageDependency]

DSL updater for the scope field of hydra.packaging.PackageDependency.

hydra.dsl.packaging.package_dependency_with_version(original: TypedTerm[PackageDependency], new_val: TypedTerm[VersionSpecifier]) → TypedTerm[PackageDependency]

DSL updater for the version field of hydra.packaging.PackageDependency.

hydra.dsl.packaging.package_metadata(x: TypedTerm[Package]) → TypedTerm[object]

DSL accessor for the metadata field of hydra.packaging.Package.

hydra.dsl.packaging.package_modules(x: TypedTerm[Package]) → TypedTerm[Sequence[Module]]

DSL accessor for the modules field of hydra.packaging.Package.

hydra.dsl.packaging.package_name(x: TypedTerm[Package]) → TypedTerm[PackageName]

DSL accessor for the name field of hydra.packaging.Package.

hydra.dsl.packaging.package_name2(x: TypedTerm[str]) → TypedTerm[PackageName]

DSL constructor for the hydra.packaging.PackageName wrapper.

hydra.dsl.packaging.package_with_dependencies(original: TypedTerm[Package], new_val: TypedTerm[Sequence[PackageDependency]]) → TypedTerm[Package]

DSL updater for the dependencies field of hydra.packaging.Package.

hydra.dsl.packaging.package_with_metadata(original: TypedTerm[Package], new_val: TypedTerm[object]) → TypedTerm[Package]

DSL updater for the metadata field of hydra.packaging.Package.

hydra.dsl.packaging.package_with_modules(original: TypedTerm[Package], new_val: TypedTerm[Sequence[Module]]) → TypedTerm[Package]

DSL updater for the modules field of hydra.packaging.Package.

hydra.dsl.packaging.package_with_name(original: TypedTerm[Package], new_val: TypedTerm[PackageName]) → TypedTerm[Package]

DSL updater for the name field of hydra.packaging.Package.

hydra.dsl.packaging.primitive_definition(name: TypedTerm[Name], metadata: TypedTerm[object], signature: TypedTerm[TermSignature], is_pure: TypedTerm[bool], is_total: TypedTerm[bool], default_implementation: TypedTerm[object]) → TypedTerm[PrimitiveDefinition]

DSL constructor for hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_default_implementation(x: TypedTerm[PrimitiveDefinition]) → TypedTerm[object]

DSL accessor for the defaultImplementation field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_is_pure(x: TypedTerm[PrimitiveDefinition]) → TypedTerm[bool]

DSL accessor for the isPure field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_is_total(x: TypedTerm[PrimitiveDefinition]) → TypedTerm[bool]

DSL accessor for the isTotal field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_metadata(x: TypedTerm[PrimitiveDefinition]) → TypedTerm[object]

DSL accessor for the metadata field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_name(x: TypedTerm[PrimitiveDefinition]) → TypedTerm[Name]

DSL accessor for the name field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_signature(x: TypedTerm[PrimitiveDefinition]) → TypedTerm[TermSignature]

DSL accessor for the signature field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_with_default_implementation(original: TypedTerm[PrimitiveDefinition], new_val: TypedTerm[object]) → TypedTerm[PrimitiveDefinition]

DSL updater for the defaultImplementation field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_with_is_pure(original: TypedTerm[PrimitiveDefinition], new_val: TypedTerm[bool]) → TypedTerm[PrimitiveDefinition]

DSL updater for the isPure field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_with_is_total(original: TypedTerm[PrimitiveDefinition], new_val: TypedTerm[bool]) → TypedTerm[PrimitiveDefinition]

DSL updater for the isTotal field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_with_metadata(original: TypedTerm[PrimitiveDefinition], new_val: TypedTerm[object]) → TypedTerm[PrimitiveDefinition]

DSL updater for the metadata field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_with_name(original: TypedTerm[PrimitiveDefinition], new_val: TypedTerm[Name]) → TypedTerm[PrimitiveDefinition]

DSL updater for the name field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.primitive_definition_with_signature(original: TypedTerm[PrimitiveDefinition], new_val: TypedTerm[TermSignature]) → TypedTerm[PrimitiveDefinition]

DSL updater for the signature field of hydra.packaging.PrimitiveDefinition.

hydra.dsl.packaging.term_definition(name: TypedTerm[Name], metadata: TypedTerm[object], signature: TypedTerm[object], body: TypedTerm[Term]) → TypedTerm[TermDefinition]

DSL constructor for hydra.packaging.TermDefinition.

hydra.dsl.packaging.term_definition_body(x: TypedTerm[TermDefinition]) → TypedTerm[Term]

DSL accessor for the body field of hydra.packaging.TermDefinition.

hydra.dsl.packaging.term_definition_metadata(x: TypedTerm[TermDefinition]) → TypedTerm[object]

DSL accessor for the metadata field of hydra.packaging.TermDefinition.

hydra.dsl.packaging.term_definition_name(x: TypedTerm[TermDefinition]) → TypedTerm[Name]

DSL accessor for the name field of hydra.packaging.TermDefinition.

hydra.dsl.packaging.term_definition_signature(x: TypedTerm[TermDefinition]) → TypedTerm[object]

DSL accessor for the signature field of hydra.packaging.TermDefinition.

hydra.dsl.packaging.term_definition_with_body(original: TypedTerm[TermDefinition], new_val: TypedTerm[Term]) → TypedTerm[TermDefinition]

DSL updater for the body field of hydra.packaging.TermDefinition.

hydra.dsl.packaging.term_definition_with_metadata(original: TypedTerm[TermDefinition], new_val: TypedTerm[object]) → TypedTerm[TermDefinition]

DSL updater for the metadata field of hydra.packaging.TermDefinition.

hydra.dsl.packaging.term_definition_with_name(original: TypedTerm[TermDefinition], new_val: TypedTerm[Name]) → TypedTerm[TermDefinition]

DSL updater for the name field of hydra.packaging.TermDefinition.

hydra.dsl.packaging.term_definition_with_signature(original: TypedTerm[TermDefinition], new_val: TypedTerm[object]) → TypedTerm[TermDefinition]

DSL updater for the signature field of hydra.packaging.TermDefinition.

hydra.dsl.packaging.type_definition(name: TypedTerm[Name], metadata: TypedTerm[object], body: TypedTerm[TypeScheme]) → TypedTerm[TypeDefinition]

DSL constructor for hydra.packaging.TypeDefinition.

hydra.dsl.packaging.type_definition_body(x: TypedTerm[TypeDefinition]) → TypedTerm[TypeScheme]

DSL accessor for the body field of hydra.packaging.TypeDefinition.

hydra.dsl.packaging.type_definition_metadata(x: TypedTerm[TypeDefinition]) → TypedTerm[object]

DSL accessor for the metadata field of hydra.packaging.TypeDefinition.

hydra.dsl.packaging.type_definition_name(x: TypedTerm[TypeDefinition]) → TypedTerm[Name]

DSL accessor for the name field of hydra.packaging.TypeDefinition.

hydra.dsl.packaging.type_definition_with_body(original: TypedTerm[TypeDefinition], new_val: TypedTerm[TypeScheme]) → TypedTerm[TypeDefinition]

DSL updater for the body field of hydra.packaging.TypeDefinition.

hydra.dsl.packaging.type_definition_with_metadata(original: TypedTerm[TypeDefinition], new_val: TypedTerm[object]) → TypedTerm[TypeDefinition]

DSL updater for the metadata field of hydra.packaging.TypeDefinition.

hydra.dsl.packaging.type_definition_with_name(original: TypedTerm[TypeDefinition], new_val: TypedTerm[Name]) → TypedTerm[TypeDefinition]

DSL updater for the name field of hydra.packaging.TypeDefinition.

hydra.dsl.packaging.un_module_name(x: TypedTerm[ModuleName]) → TypedTerm[str]

DSL accessor for the body of hydra.packaging.ModuleName.

hydra.dsl.packaging.un_package_name(x: TypedTerm[PackageName]) → TypedTerm[str]

DSL accessor for the body of hydra.packaging.PackageName.

hydra.dsl.packaging.un_version(x: TypedTerm[Version]) → TypedTerm[str]

DSL accessor for the body of hydra.packaging.Version.

hydra.dsl.packaging.version(x: TypedTerm[str]) → TypedTerm[Version]

DSL constructor for the hydra.packaging.Version wrapper.

hydra.dsl.packaging.version_range(lower_inclusive: TypedTerm[object], upper_exclusive: TypedTerm[object]) → TypedTerm[VersionRange]

DSL constructor for hydra.packaging.VersionRange.

hydra.dsl.packaging.version_range_lower_inclusive(x: TypedTerm[VersionRange]) → TypedTerm[object]

DSL accessor for the lowerInclusive field of hydra.packaging.VersionRange.

hydra.dsl.packaging.version_range_upper_exclusive(x: TypedTerm[VersionRange]) → TypedTerm[object]

DSL accessor for the upperExclusive field of hydra.packaging.VersionRange.

hydra.dsl.packaging.version_range_with_lower_inclusive(original: TypedTerm[VersionRange], new_val: TypedTerm[object]) → TypedTerm[VersionRange]

DSL updater for the lowerInclusive field of hydra.packaging.VersionRange.

hydra.dsl.packaging.version_range_with_upper_exclusive(original: TypedTerm[VersionRange], new_val: TypedTerm[object]) → TypedTerm[VersionRange]

DSL updater for the upperExclusive field of hydra.packaging.VersionRange.

hydra.dsl.packaging.version_specifier_at_least(x: TypedTerm[Version]) → TypedTerm[VersionSpecifier]

DSL injection for the atLeast variant of hydra.packaging.VersionSpecifier.

hydra.dsl.packaging.version_specifier_exact(x: TypedTerm[Version]) → TypedTerm[VersionSpecifier]

DSL injection for the exact variant of hydra.packaging.VersionSpecifier.

hydra.dsl.packaging.version_specifier_range(x: TypedTerm[VersionRange]) → TypedTerm[VersionSpecifier]

DSL injection for the range variant of hydra.packaging.VersionSpecifier.