hydra.encode.pg.model module

Term encoders for hydra.pg.model.

hydra.encode.pg.model.adjacent_edge(v: Callable[[V], Term], x: AdjacentEdge[V]) → Term

Encoder for hydra.pg.model.AdjacentEdge.

hydra.encode.pg.model.direction(v1: Direction) → Term

Encoder for hydra.pg.model.Direction.

hydra.encode.pg.model.edge(v: Callable[[V], Term], x: Edge[V]) → Term

Encoder for hydra.pg.model.Edge.

hydra.encode.pg.model.edge_label(x: EdgeLabel) → Term

Encoder for hydra.pg.model.EdgeLabel.

hydra.encode.pg.model.edge_type(t: Callable[[T], Term], x: EdgeType[T]) → Term

Encoder for hydra.pg.model.EdgeType.

hydra.encode.pg.model.element(v: Callable[[V], Term], v1: object) → Term

Encoder for hydra.pg.model.Element.

hydra.encode.pg.model.element_kind(v1: ElementKind) → Term

Encoder for hydra.pg.model.ElementKind.

hydra.encode.pg.model.element_tree(v: Callable[[V], Term], x: ElementTree[V]) → Term

Encoder for hydra.pg.model.ElementTree.

hydra.encode.pg.model.element_type(t: Callable[[T], Term], v1: object) → Term

Encoder for hydra.pg.model.ElementType.

hydra.encode.pg.model.element_type_tree(t: Callable[[T], Term], x: ElementTypeTree[T]) → Term

Encoder for hydra.pg.model.ElementTypeTree.

hydra.encode.pg.model.graph(v: Callable[[V], Term], x: Graph[V]) → Term

Encoder for hydra.pg.model.Graph.

hydra.encode.pg.model.graph_schema(t: Callable[[T], Term], x: GraphSchema[T]) → Term

Encoder for hydra.pg.model.GraphSchema.

hydra.encode.pg.model.label(v1: Label) → Term

Encoder for hydra.pg.model.Label.

hydra.encode.pg.model.lazy_graph(v: Callable[[V], Term], x: LazyGraph[V]) → Term

Encoder for hydra.pg.model.LazyGraph.

hydra.encode.pg.model.property(v: Callable[[V], Term], x: Property[V]) → Term

Encoder for hydra.pg.model.Property.

hydra.encode.pg.model.property_key(x: PropertyKey) → Term

Encoder for hydra.pg.model.PropertyKey.

hydra.encode.pg.model.property_type(t: Callable[[T], Term], x: PropertyType[T]) → Term

Encoder for hydra.pg.model.PropertyType.

hydra.encode.pg.model.vertex(v: Callable[[V], Term], x: Vertex[V]) → Term

Encoder for hydra.pg.model.Vertex.

hydra.encode.pg.model.vertex_label(x: VertexLabel) → Term

Encoder for hydra.pg.model.VertexLabel.

hydra.encode.pg.model.vertex_type(t: Callable[[T], Term], x: VertexType[T]) → Term

Encoder for hydra.pg.model.VertexType.

hydra.encode.pg.model.vertex_with_adjacent_edges(v: Callable[[V], Term], x: VertexWithAdjacentEdges[V]) → Term

Encoder for hydra.pg.model.VertexWithAdjacentEdges.