hydra.dsl.graph module

DSL functions for hydra.graph.

hydra.dsl.graph.decode_term_coder(a: TypedTerm[Callable[[Graph, Term], object]]) → TypedTerm[Callable[[Graph, Term], object]]

DSL composition builder for the decoder of hydra.graph.TermCoder.

hydra.dsl.graph.encode_term_coder(a: TypedTerm[Callable[[A], Term]]) → TypedTerm[Callable[[TermCoder[A]], Term]]

DSL composition builder for the encoder of hydra.graph.TermCoder.

hydra.dsl.graph.graph(bound_terms: TypedTerm[Mapping[Name, Term]], bound_types: TypedTerm[Mapping[Name, TypeScheme]], class_constraints: TypedTerm[Mapping[Name, TypeVariableConstraints]], lambda_variables: TypedTerm[Set[Name]], metadata: TypedTerm[Mapping[Name, Term]], primitives: TypedTerm[Mapping[Name, Primitive]], schema_types: TypedTerm[Mapping[Name, TypeScheme]], type_variables: TypedTerm[Set[Name]]) → TypedTerm[Graph]

DSL constructor for hydra.graph.Graph.

hydra.dsl.graph.graph_bound_terms(x: TypedTerm[Graph]) → TypedTerm[Mapping[Name, Term]]

DSL accessor for the boundTerms field of hydra.graph.Graph.

hydra.dsl.graph.graph_bound_types(x: TypedTerm[Graph]) → TypedTerm[Mapping[Name, TypeScheme]]

DSL accessor for the boundTypes field of hydra.graph.Graph.

hydra.dsl.graph.graph_class_constraints(x: TypedTerm[Graph]) → TypedTerm[Mapping[Name, TypeVariableConstraints]]

DSL accessor for the classConstraints field of hydra.graph.Graph.

hydra.dsl.graph.graph_lambda_variables(x: TypedTerm[Graph]) → TypedTerm[Set[Name]]

DSL accessor for the lambdaVariables field of hydra.graph.Graph.

hydra.dsl.graph.graph_metadata(x: TypedTerm[Graph]) → TypedTerm[Mapping[Name, Term]]

DSL accessor for the metadata field of hydra.graph.Graph.

hydra.dsl.graph.graph_primitives(x: TypedTerm[Graph]) → TypedTerm[Mapping[Name, Primitive]]

DSL accessor for the primitives field of hydra.graph.Graph.

hydra.dsl.graph.graph_schema_types(x: TypedTerm[Graph]) → TypedTerm[Mapping[Name, TypeScheme]]

DSL accessor for the schemaTypes field of hydra.graph.Graph.

hydra.dsl.graph.graph_type_variables(x: TypedTerm[Graph]) → TypedTerm[Set[Name]]

DSL accessor for the typeVariables field of hydra.graph.Graph.

hydra.dsl.graph.graph_with_bound_terms(original: TypedTerm[Graph], new_val: TypedTerm[Mapping[Name, Term]]) → TypedTerm[Graph]

DSL updater for the boundTerms field of hydra.graph.Graph.

hydra.dsl.graph.graph_with_bound_types(original: TypedTerm[Graph], new_val: TypedTerm[Mapping[Name, TypeScheme]]) → TypedTerm[Graph]

DSL updater for the boundTypes field of hydra.graph.Graph.

hydra.dsl.graph.graph_with_class_constraints(original: TypedTerm[Graph], new_val: TypedTerm[Mapping[Name, TypeVariableConstraints]]) → TypedTerm[Graph]

DSL updater for the classConstraints field of hydra.graph.Graph.

hydra.dsl.graph.graph_with_lambda_variables(original: TypedTerm[Graph], new_val: TypedTerm[Set[Name]]) → TypedTerm[Graph]

DSL updater for the lambdaVariables field of hydra.graph.Graph.

hydra.dsl.graph.graph_with_metadata(original: TypedTerm[Graph], new_val: TypedTerm[Mapping[Name, Term]]) → TypedTerm[Graph]

DSL updater for the metadata field of hydra.graph.Graph.

hydra.dsl.graph.graph_with_primitives(original: TypedTerm[Graph], new_val: TypedTerm[Mapping[Name, Primitive]]) → TypedTerm[Graph]

DSL updater for the primitives field of hydra.graph.Graph.

hydra.dsl.graph.graph_with_schema_types(original: TypedTerm[Graph], new_val: TypedTerm[Mapping[Name, TypeScheme]]) → TypedTerm[Graph]

DSL updater for the schemaTypes field of hydra.graph.Graph.

hydra.dsl.graph.graph_with_type_variables(original: TypedTerm[Graph], new_val: TypedTerm[Set[Name]]) → TypedTerm[Graph]

DSL updater for the typeVariables field of hydra.graph.Graph.

hydra.dsl.graph.library(name: TypedTerm[ModuleName], prefix: TypedTerm[str], primitives: TypedTerm[Sequence[Primitive]]) → TypedTerm[Library]

DSL constructor for hydra.graph.Library.

hydra.dsl.graph.library_name(x: TypedTerm[Library]) → TypedTerm[ModuleName]

DSL accessor for the name field of hydra.graph.Library.

hydra.dsl.graph.library_prefix(x: TypedTerm[Library]) → TypedTerm[str]

DSL accessor for the prefix field of hydra.graph.Library.

hydra.dsl.graph.library_primitives(x: TypedTerm[Library]) → TypedTerm[Sequence[Primitive]]

DSL accessor for the primitives field of hydra.graph.Library.

hydra.dsl.graph.library_with_name(original: TypedTerm[Library], new_val: TypedTerm[ModuleName]) → TypedTerm[Library]

DSL updater for the name field of hydra.graph.Library.

hydra.dsl.graph.library_with_prefix(original: TypedTerm[Library], new_val: TypedTerm[str]) → TypedTerm[Library]

DSL updater for the prefix field of hydra.graph.Library.

hydra.dsl.graph.library_with_primitives(original: TypedTerm[Library], new_val: TypedTerm[Sequence[Primitive]]) → TypedTerm[Library]

DSL updater for the primitives field of hydra.graph.Library.

hydra.dsl.graph.primitive(definition: TypedTerm[PrimitiveDefinition], implementation: TypedTerm[Callable[[Graph, Sequence[Term]], object]]) → TypedTerm[Primitive]

DSL constructor for hydra.graph.Primitive.

hydra.dsl.graph.primitive_definition(x: TypedTerm[Primitive]) → TypedTerm[PrimitiveDefinition]

DSL accessor for the definition field of hydra.graph.Primitive.

hydra.dsl.graph.primitive_implementation(x: TypedTerm[Primitive]) → TypedTerm[Callable[[Graph, Sequence[Term]], object]]

DSL accessor for the implementation field of hydra.graph.Primitive.

hydra.dsl.graph.primitive_with_definition(original: TypedTerm[Primitive], new_val: TypedTerm[PrimitiveDefinition]) → TypedTerm[Primitive]

DSL updater for the definition field of hydra.graph.Primitive.

hydra.dsl.graph.primitive_with_implementation(original: TypedTerm[Primitive], new_val: TypedTerm[Callable[[Graph, Sequence[Term]], object]]) → TypedTerm[Primitive]

DSL updater for the implementation field of hydra.graph.Primitive.

hydra.dsl.graph.term_coder(type: TypedTerm[Type], encode: TypedTerm[Callable[[InferenceContext, Graph, Term], object]], decode: TypedTerm[Callable[[InferenceContext, A], object]]) → TypedTerm[TermCoder[A]]

DSL constructor for hydra.graph.TermCoder.

hydra.dsl.graph.term_coder_decode(x: TypedTerm[TermCoder[A]]) → TypedTerm[Callable[[InferenceContext, A], object]]

DSL accessor for the decode field of hydra.graph.TermCoder.

hydra.dsl.graph.term_coder_encode(x: TypedTerm[TermCoder[A]]) → TypedTerm[Callable[[InferenceContext, Graph, Term], object]]

DSL accessor for the encode field of hydra.graph.TermCoder.

hydra.dsl.graph.term_coder_type(x: TypedTerm[TermCoder[A]]) → TypedTerm[Type]

DSL accessor for the type field of hydra.graph.TermCoder.

hydra.dsl.graph.term_coder_with_decode(original: TypedTerm[TermCoder[A]], new_val: TypedTerm[Callable[[InferenceContext, A], object]]) → TypedTerm[TermCoder[A]]

DSL updater for the decode field of hydra.graph.TermCoder.

hydra.dsl.graph.term_coder_with_encode(original: TypedTerm[TermCoder[A]], new_val: TypedTerm[Callable[[InferenceContext, Graph, Term], object]]) → TypedTerm[TermCoder[A]]

DSL updater for the encode field of hydra.graph.TermCoder.

hydra.dsl.graph.term_coder_with_type(original: TypedTerm[TermCoder[A]], new_val: TypedTerm[Type]) → TypedTerm[TermCoder[A]]

DSL updater for the type field of hydra.graph.TermCoder.